雖然相較以太坊,L2 賽道的 Optimistic、Arbitrum、zkSync…的 gas 費已經相對便宜,但是距離最終目標仍有段不小的差距。下文將簡單分析他們的區別、各自的優缺點,以及目前 zkSync 手續費(Gas)仍偏高的原因。
(前情提要:ZK Rollup 是什麼?生態項目整理、如何成為以太坊L2贏家)
(事件背景:L2深度分析》zkSync Era 是什麼?與Lite性能差異?埋伏空投互動教學)
或許大家已習慣了 ARB 和 OP 每筆 0.7 美元 gas 費貴得離譜的狀況,絲毫沒有 L2 該有的 low cost 樣子。本文分析下 zk-rollup 和 op-rollup 的區別?以及目前 zkSync Gas 費仍較高的原因。
提及 ZK 賽道特色,很多人會脫口而出「零知識證明」、很容易跟隱私保護特性掛鉤。但主流討論的 zk-rollup 實際上是想利用 SNARKs 和 STARKs 證明技術,實現 validation proof(驗證者證明)。
延伸閱讀:ZK Rollup 是什麼?生態項目整理、如何成為以太坊L2贏家
零知識隱私保護特性在 zk-rollup 中存在感較弱,姑且忽略隱私概念,從「驗證者證明」角度思考其背後技術原理。
簡單來說,zk-rollup 所有的交易都在側鏈發生,等同於在鏈下使用 zk 技術演算法將這些交易打包成一批批,並生成 SNARKs 證明提交到主網,主網智能合約會通過 zk 演算法驗證該批次的所有交易是否符合規則,然後再打包上主鏈。
這樣就極大地擴充了主網的交易容量,交易速度,同時相較主鏈降低了 gas 消耗費。
與 op-rollup 差異
op-rollup 的邏輯就更好理解了,大量交易被提交到側鏈進行計算和打包記帳,然後將帳本結果彙總成一個區塊同步到主網智能合約中。
為了防止驗證者作惡,採用了欺詐證明(fraud proof)技術,即如果在 7 天內有驗證者提交可疑交易並被證實,那麼整個區塊將會被回滾,從而保證了交易的安全性和完整性。
zk-rollup 和 op-rollup 本質上就區別在 validation proof 和 fraud proof 兩種驗證方式上。
validation proof 方式來驗證交易,雖然消耗了更多的算力和資源,但可以在區塊週期內保證結果準確性,從而提高交易處理速度。op-rollup 則採用欺詐證明(fraud proof)方式,雖然節省了資源,但需要等待一段時間。
延伸閱讀:Layer2|OP 還是ZK?未來還需注視第二代 Optimistic Rollup
zkSync 交易費為何偏高?
值得一提的是,op-rollup 雖然用時間換取了更便宜的資源和消耗,但其側鏈伺服器存在一定的中心化隱患,例如 sequence排序器等。而 zk-rollup 通過短時資源和算力的消耗換取了更短的安全確認時間,加之帳戶抽象和分散式驗證等技術規避了中心化風險。
所以,zk-rollup gas 費貴情有可原,二者根本沒有可比性。當前 zkSync 的交易費取決於以下三方面:
(1)驗證者生成 SNARK 證明和進行驗證所消耗的資源成本,比如儲存和計算,這部分固定成本較高。
(2)驗證者將 SNARK 證明提交到以太坊主網時的 gas 費。這部分費用會因主網擁堵而相應增加。
(3)使用者支付給驗證者的服務費用,包括交易確認、訊息廣播等;得負擔以上費用。
總的來說,L2 使用者 gas 費 = zk 系統計算和儲存資源費 + 每batch 提交主網 gas 費 + 驗證者節點激勵費 + 其他?
主網 gas 費和節點激勵費不用多說啥。由於電腦資源成本相對固定且人越多越會攤提,意味著隨著 zkSync 的進一步大量採用,gas 費會下降,沒錯,現在 gas 高不是因為太競爭了,而是還不夠競爭!
根據 DuneAnalytics 資料,目前 zkSync 的單日交易量平均 10-40 萬次左右,儘管擼毛獵人還在賣力互動,但相較 zk-rollup 廣大的終極目標,zksync 生態現在還是個 alpha baby 啊。不如停止抱怨高 gas,一起繼續 build 吧。
📍相關報導📍
L2大戰|以太坊現階段價值大幅外溢,這六個「Layer2 項目」或是最大受益者