iT邦幫忙

2023 iThome 鐵人賽

DAY 30
1
Web 3

淺談ZK Rollup系列 第 30

Day 30 - ZK Rollup EP04: 結論

  • 分享至 

  • xImage
  •  

昨天做完了所有關於ZK Rollup的實作,填補完原本無法連結鏈上跟鏈下無法交流的漏洞,如果還沒看的,可以點這邊觀看,而昨天算是完成一個小型的ZK Rollup,那麼今天就來看一下結果如何吧!

實驗結果

我自己使用該模式跑了幾次模擬,因為在Rollup的時候,公開資料都是那幾個,所以基本上執行Rollup的程式都是固定的,因此不論鏈下的帳號樹跟交易樹大小怎麼樣的變化,執行一次Rollup成本都是固定的,我在自己架設的私有鏈中,跑一次Rollup成本都是321437個gas,而我們都知道在鏈上中執行一次基本的交易手續費為21000個gas,所以基本上只要我交易樹高比4還高的話,執行這版本的ZK Rollup都有省下手續費的空間,但是如果有照著做的人可能會發現一個問題,在產生證明的過程感覺電腦變卡很多,原因是因為在算證明的時候,會花費許多計算資源,不僅如此,光是要把證明鑰匙讀進來就要耗費一番功夫,我在有偷懶的情況下,將帳號樹樹高設成2,交易樹樹高設成4的情況下,他的Constraint System大小就超過2.5GB了,同時他的證明鑰匙大小也有差不多1GB,而在跑證明的過程就花了一個小時,這邊也驗證了之前說的,ZK Rollup的缺點就在於耗費大量的算力去計算他的證明,像我今天只使用一個小型的模型就要花費將近一小時的時間去算證明,而在真正的ZK Rollup專案中,他的帳號樹樹高起碼都20起跳的,所以可以肯定他們在計算證明上肯定耗費不少時間。

未來展望

我認為以太坊上發展Layer 2將會是必然的趨勢,往後一般的交易可能將會轉往鏈下,而鏈上的行為大多都在進行存證,但就以目前結果來說,ZK Rollup其實還有一段路需要去突破,但我相信科技將會日新月異,計算的硬體效能在將來肯定會持續飛速成長,除此之外,也可能會發現其他的非交互式零知識證明在計算證明方面可以不用花費如此大的算力,或者是科學家們找到其他種Rollup方式,可以擊敗目前檯面上所有的Rollup,如果以上假設的種種只要發生其中一項,基本上就可以確定將來鏈下交易將會頻繁發生。

以上就是我對ZK Rollup的介紹了,感謝大家觀看到這邊,本系列文章有點像是敲門磚的作用,讓大家簡單的理解到底ZK Rollup在做什麼,如果想要進行深入的,也歡迎繼續往這個領域繼續探究,這個領域還有許多許多的事物值得你去深究,期望你們能在這上面獲得幫助。


上一篇
Day 29 - ZK Rollup EP03: ZK Rollup出金、入金實作
系列文
淺談ZK Rollup30
圖片
  直播研討會
圖片
{{ item.channelVendor }} {{ item.webinarstarted }} |
{{ formatDate(item.duration) }}
直播中
0
雷N
iT邦研究生 1 級 ‧ 2023-10-16 00:16:25

恭喜完賽 掰餔

耶!✿✿ヽ(゚▽゚)ノ✿ 完結撒花!

0
雷N
iT邦研究生 1 級 ‧ 2023-10-16 00:16:56

不對 要不要週四還週五上來DC, 淺談一場約30-40分鐘的區塊鏈

蛤!😱 什麼DC?

2
sponge1220
iT邦新手 4 級 ‧ 2023-10-16 14:02:55

恭喜完賽!
看下來 ZK Rollup 需要很大量的算力來證明,這會不會阻礙商業化的發展?
原因是這樣會有成本上的障礙需要克服,而轉嫁了手續費給使用者造成了使用上的門檻。

這一段不知道你怎麼看?或是覺得他的機制好到可以讓使用者多付出來使用 ZK Rollup

雖然他需要花費大量算力來計算證明,但ZK Rollup依舊有他迷人的地方,像是首先他可以限制負責打包交易的人,一定要照著規則走,不能亂來,而對使用者來說提供了一定的安全性,再來是他可以不用有等待挑戰的時間,一旦證明在鏈上被驗證,就代表著該包交易已經被存證。
然後其實現在也有一些黑科技可以讓他證明算出來的時間減少,之前有說過zk-SNARKs是從可驗證計算過來的,也就是將可驗證計算加入零知識特性,而現在ZK Rollup也沒有使用到這個零知識特性,所以可以回歸原始,使用原本可驗證計算方式來產生證明,可以加速產證明的時間,當然還有其他種,像是zk-SNARKs的證明系統就不只一種,有些就是專門來證明某些問題的,也可以使某些問題證明時間變快,所以其實這個問題也是有解的,但目前看下來感覺好像沒有說解到很漂亮,這也是為什麼ZK Rollup的市佔率現在還沒有很高的原因。
只能說他有優點也有缺點,就看使用者買不買單了!

感謝回應! 解釋得很清楚!

我要留言

立即登入留言