以太坊明星擴容團隊 Matter Labs 創始人 Alex Gluchowski 稱計劃在數月後發佈基於 ZK Rollup 的二層擴容方案 zkSync 的 staking/ 治理代幣,並表示 zkSync 目前專注技術開發與 to C 端的 App 和協議整合。

推薦閱讀:《鏈聞精選好文 | 讀懂以太坊擴容主力「Rollup」

近來,以太坊上的 DeFi 項目火熱,網絡使用需求大增,手續費暴增且居高不下。近 3 天,以太坊的手續費平均單價是 3 個月前的 6 倍,一筆普通的轉賬需要支付超過 2 元的手續費。這樣的操作成本嚴重影響了用戶體驗,普通用戶已經很難承受如此高的手續費摩擦。

以太坊 2.0 的 0 階段預計將在今年年底上線,但要完成提高網絡吞吐量的目標,可能還需要數年的時間。在這漫長的等待期內,以太坊上二層網絡的解決方案再次進入了人們的視野。傳統的二層方案引入了額外的安全假設,因此需要複雜的經濟模型和退出機制,基於零知識證明的二層方案 zkRollup 逐漸吸引了以太坊社區的注意力。

zkSync 就是 Matter Labs 基於 zkRollup 技術的以太坊二層解決方案,目前已經在以太坊主網上進行公測。它無需信任任何第三方,理想狀態下可提高網絡吞吐量數百倍,單筆交易手續費可降低到 1 分錢。它是如何實現的呢,接下來有什麼計劃,是否能改善以太坊的擁堵現狀呢?

本次幣乎直播,我們有幸邀請到 Matter Labs 的 CEO 和聯合創始人 Alex Gluchowski 帶來「zkSync:基於 zkRollup 的以太坊擴容解決方案」的分享。Alex 是以太坊社區的活躍參與者,他不僅是優秀的技術開發者,也對商業有着敏銳的把握能力。

明星擴容團隊 Matter Labs 創始人確認 zkSync 將發佈治理代幣,但目前專注技術開發

Alex:Matter Labs 成立於 1 年半前,最初是一家研究機構,旨在解決去中心化區塊鏈的擴容問題。當時,尤其是加密貓之後,大家紛紛意識到,若不犧牲核心屬性,以太坊是無法擴容到能滿足大規模採用的。

換言之:我們深信,去中心化、無需許可的區塊鏈的最大價值,就在於其對抗強大對手的能力。而 TON 和 Libra 也讓我們也意識到,沒有真正的去中心化,區塊鏈平臺是不會有價值的。

但是要實現公鏈的擴容技術上難度很大,因爲去中心化的核心就是「不要信任,要驗證」的原則。

因此,每個全節點都應能夠驗證每一筆交易。如果將吞吐量提升至百萬級別,普通的硬件(比如筆記本電腦)是無法支撐全節點的,那麼全節點的數量會減少,去中心化就喪失了。

幸運的是,過去 2 年間,我們看到零知識證明領域巨大的發展。這些零知識證明協議最有意思的屬性在於,它們允許用極少的資源對大量的計算進行驗證。

這就意味着我們可以將數千筆交易打包進一個區塊,這個區塊將由全節點驗證,開銷僅爲驗證一筆交易的開銷。

我們利用這一屬性開發了 zkSync—一個無需信任的以太坊擴容協議。

zkSync 是基於 zkRollup 的,而 zkRollup 是一個結合零知識證明和鏈上數據可用性模式的架構。這樣一來,zkSync 就有了不可超越的安全保證:zkSync 上的帳戶安全性極高,達到一層(L1)的安全性。

有關 zkSync 的詳細信息可訪問 zkSync.io

問答

1. 爲什麼說 zkRollup 是現階段最有可能幫助以太坊解決擴容問題的技術?

答:zkRollup 是當前唯一一個結合了數據高可用性和一層(L1)安全性的擴容方案。這篇文章就很好地展示了其與其它擴容方案的對比:

https://medium.com/matter-labs/evaluating-ethereum-l2-scaling-solutions-a-comparison-framework-b6b2f410f955

2.zkRollup 和 Eth 2.0 的分片技術怎麼結合?

答:我們 2 周後會發佈一篇有關於 zkRollup 和以太坊分片關係的文章。

大致來說:Eth 2.0 將直接提高 zkRollup 的 TPS 並降低其開銷,目前,zkRollup 最高可處理 2000TPS。

3.zkSync 是否會有自己的代幣?

答:我們未來會有一個 staking/ 治理代幣,來管理多驗證人的參與。

4. 使用 zkRollup 存在缺乏信任的缺陷,因爲它賴於中心化的參與方,怎麼能避免被操縱的風險?

答:zkSync 本身沒有對驗證人的信任機制,然而,zkSync 裏不同的 ZK-協議有不同機制和取捨。

zkRollup 有兩大 ZK 協議家族:SNARKS 和 STARKS, 其中 SNARKS 是有受信任的配置的。

SNARKS 要求受信任的配置一次性完成。zkSync1.0 中,我們使用的協議是 PLONK。它擁有全局的受信任的配置。去年秋天,有一個很大的儀式,200 多人蔘與,包括我們、V 神和其它的大咖,只要其中有一個參與者是誠實的,那麼這個設置就是安全的。

而 STARKS 是透明的:不需要任何受信任的配置。在 zkSync 2.0 中,我們計劃使用名爲 RedShift 的 STARKS 協議。以下是協議技術白皮書:

https://eprint.iacr.org/2019/1400.pdf

5. 預計何時宣佈代幣的消息?

答:目前,我們專注核心技術,這是最重要的。我們幾個月後會有關於代幣的消息發佈。

6.zkSync 的市場戰略是什麼?如何吸引更多的用戶?

答:就市場戰略而言,我們致力於 zkSync 與 to C 端的 App 和協議整合。

7. 請問 zkSync 有和錢包以及交易所集成的計劃嗎?

答:我們正在做錢包的整合及交易所的對接,這樣可以大幅減少交易費。目前交易費變得非常高(最近達到 100Gwei)。

8.ZkRollup 和 Optimistic Rollup 的區別是什麼?

答:zkRollup 中,每一筆交易的有效性都是在交易發生前驗證的。驗證人無法作惡。

但是 Optimistic Rollup 中,驗證人的行爲不受約束,因此用戶必須要自行監視無效交易,一旦發現無效的交易,就需要向主網提交欺詐證明。這些欺詐證明將回滾無效交易,以及此後發生的所有有效交易。

這實際上意味着幾點:

  1. Optimistic Rollup 的安全性更低,因爲欺詐證明有不被執行的風險。鎖在 Optimistic Rollup 裏的整個價值就會被竊取。
  2. Optimistic Rollup 的擴容性更差,因爲用戶(或其代理人)必須監視並執行每一筆交易。
  3. 從 Optimistic Rollup 中退出的時間更長(至少 1 周,以便用戶有足夠的時間去提交欺詐證明)。
  4. Optimistic Rollup 的架構意味着實施隱私代價非常高昂(比在 ZkRollup 中高 1000 倍)。

更多有關於二者之間的對比,參閱以下文章:

https://medium.com/matter-labs/optimistic-vs-zk-rollup-deep-dive-ea141e71e075

9. ZkRollup 和 Validum 之間的區別是什麼?

答:ZkRollup 與 Validum 在保證交易的正確性方面是類似的,但是二者處理數據可用性的方式不同。

ZkRollup 中,通過以太坊網絡發佈有關每一筆交易的少量數據,而在 Validum 中,數據是通過許多數據公證人來管理的。這樣一來,Validum 中的交易費更低,但是它要求信任數據公證人。

要了解二者更多的區別,請參閱:

https://medium.com/matter-labs/zkrollup-vs-validium-starkex-5614e38bc263

10. 如何成爲 zkSync 的節點?

答:你只需要購買並質押一些 zkSync 代幣即可。

11. zkSync 協議旨在解決二層交易問題,那麼它是否有能力處理智能合約的問題呢?

答:是的。我們正在開發 Zinc-一門智能合約語言,加上零知識證明提供安全性保證的虛擬機。瞭解更多,參閱以下網站:

http://zinc.matterlabs.dev/

12. 和路印的解決方案有什麼區別?

答:路印專注去中心化交易所,而我們專注核心架構。因此我們的技術更先進,我認爲我們未來會和路印合作。

13. 我注意到 zkSync 最近完成了一次合約升級,能簡單介紹下嗎?

答:我們聘請了 ABDK Consulting 對系統進行了全面的審計,包括:協議、密碼學、ZK circuits 程序以及智能合約。以下是審計結果:

http://zksync.io/zksync-1.0-audit.pdf

這輪審計對我們幫助很大 ! ABDK Consulting 是由經驗豐富的密碼學專家運營的,他的代表作包括 Poseidon 哈希。

14. 現在每筆手續費大概多少?需要多長時間?

答:如果 Gas 價格保持在 100Gwei,那麼每筆手續費約爲 0.01 美元。就時間而言,全區塊的證明需要約 20 分鐘。但是這些數字不是絕對的,取決於網絡的負載。

15. 是否有計劃發展中國社區?

答:到目前爲止,我們尚未大力投入發展任何社區,而是將大部分精力放在技術上。社區一直是自然增長,當然我們有計劃未來發展社區,尤其是中國社區對我們而言十分重要。

16.zkSync 能不能支持 Defi?

答:當然。一旦我們實現 Zinc 編寫智能合約,可組合性 Defi 就有可能在平臺上實現。

17. 我們理解 zkSync 的處理能力優於 Optimistic Rollup,但是 zySync 目前是否在生成隨機計算的 ZK 證明方面存在技術上的困難?侷限在哪裏?

答;理論上而言,Optimistic Rollup 支持隨機計算應當更加容易,甚至還可以支持 port 現有的 EVM 字節碼。但是 ZK 證明也可以實現,我們正在研究。

對於開發者而言主要的限制在於:程序必須要以非圖靈完備的方式編寫,也即不能使用可變循環和遞歸。

18. 是否可以用 Zinc 爲他人創建賬號?

答:可以。任何人都可以在 zkSync 上爲任何地址創建賬號-只需要給這個地址發送一些 ETH 或其它代幣。

19. Zksync 何時可以支持 NFT?

答:我們正在研究支持 NFT,目前還不能給出確切的時間,但是未來一定會實現。

20. 是否可以分享 zksync 和錢包整合的一個案例?

答:未來將會公佈許多成功整理的案例。