零知識證明正在改變以太坊的游戲規則_以太坊

從區塊鏈層面出發，以太坊生命的初始階段是單一的。這意味著在最初的幾年里，Layer1以太坊主網全權負責執行自己的交易，促進自己的網絡安全，并為自己的數據可用性提供服務。

然而，在過去的幾年里，以太坊一直在迅速轉向模塊化設計。這意味著對以太坊的運行來說，采用外部第三方解決方案對自身進行擴展，是一種理想的方式。

比如近年來，像Arbitrum和zkSync等Layer2項目的興起，它們在以太坊之外執行交易，然后有效地將批量交易“Rollup”到以太坊Layer1，在此過程中提供便宜、合理的價格和便捷的用戶體驗。

ModularEthereum-viaUltraScalableEthereum

從L1到L2

a16z crypto引入Lasso和Jolt工具來增強零知識證明:金色財經報道，風險投資公司 Andreessen Horowitz 的加密貨幣部門 a16z crypto 推出了 Lasso 和 Jolt，這是一對基于簡潔非交互式知識論證（SNARK）的新工具。SNARK 是一種零知識證明，有可能促進第 2 層空間中的可擴展 ZK Rollup，這通常被視為計算密集型。Lasso 是 a16z 兩篇研究論文的主要創新，它采用了“查找參數”機制，有利于更快的零知識證明。它將特定的輸入與相應的輸出相匹配，而不泄露額外的信息。該團隊指出，Lasso 引入了一種簡化的方法來驗證 SNARK，通過對大量結構化表執行查找來避免繁瑣的手動優化電路。[2023/8/11 16:18:58]

今天，以太坊L1本身實現了30筆/秒的交易。但為了更好地處理全球鏈上活動，且不會造成重大網絡擁塞，L2的擴展創新將給以太坊帶來更強大的能力。

零知識證明技術公司Proven完成1580萬美元融資:金色財經報道，Proven是一家提供零知識證明技術以使加密貨幣公司能夠證明償付能力的公司，完成1580萬美元種子輪融資，Framework Ventures領投，Balaji Srinivasan、Roger Chen和Ada Yeo等參投。[2023/3/9 12:52:34]

具體而言，實現這樣的優秀能力有兩種主要類型的解決方案：鏈上擴展和鏈下擴展。鏈上擴展是指直接對區塊鏈進行任何更改，以提高其交易執行能力，即吞吐速度。對以太坊來說，分片就是一個例子。它把以太坊活動的負載分散到數十個主鏈，而不是單一的主網上。

ThefutureofEthereumL2s+shards-viaVitalikButerin

零知識證明初創公司RISC Zero完成1200萬美元種子輪融資:8月9日消息，零知識證明初創公司 RISC Zero 宣布完成 1200 萬美元種子輪融資，Bain Capital Crypto 領投，Geometry 、D1 Ventures 和 Cota Capital 等參投。本輪所融資金將用于構建對開發人員友好的可擴展區塊鏈。今年 3 月，RISC Zero 推出了零知識證明虛擬機，該虛擬機使開發人員能夠構建零知識證明，并使用各種編程語言在任何計算機上執行。（The Block）[2022/8/9 12:13:26]

鏈下擴展是指在鏈下執行交易執行能力，即L2。鏈下擴展不像分片一樣將L1拆分為許多主鏈，而是在外部構建第2層。

以太坊的敘事也正逐漸從L1向L2轉變。

而當談到L2時，當下最受歡迎的解決方案之一是ZKRollup。這是因為在速度上，以太坊和它不在一個層級。ZKRollup可以實現大約2000TPS的速度，而以太坊目前是30TPS。

以太坊生態零知識協議Semaphore發布V2版本:7月7日消息，以太坊生態針對開發者的零知識協議 Semaphore 推出 V2 版本，更新內容包括不再需要擁有 EdDSA 私鑰，從而實現更簡單的電路（circuit）和更高效的零知識證明生成；用于身份承諾和 Merkle 樹的哈希函數從 MiMC 遷移到 Poseidon，將證明時間減半并提高了 Gas 效率；合約模塊化、三個新的 JavaScript 庫等。

Semaphore 最早由以太坊社區成員 Kobi Gurkan、Koh Wei Jie 和 Barry Whitehat 提出，在 2019 年發布 V1 版，可以讓以太坊用戶可以證明他們的群組成員身份，并在不透露原始身份的情況下發送諸如投票或支持的信號。Semaphore 不是面向用戶的應用程序，旨在為以太坊開發人員提供強大而簡單的工具，以使用私有憑據構建 DApp。[2022/7/7 1:57:35]

依靠以太坊安全性的同時，ZKRollup既帶來了高效的運行速度，又提供了低廉的價格，受到當前資本及市場對它的極大關注。其中一些L2項目也在飛速發展，如：

聲音 | ALabs負責人王增新：改進后的零知識證明是解決數據可用性問題的可行方案:今日，在日本東京舉辦的SmartBlock2018國際學術會議上，區塊鏈研究院ALabs負責人王增新做了關于區塊鏈安全隱私及擴展性的學術分享，他認為數據可用性問題是區塊鏈廣泛應用的瓶頸，改進后的零知識證明是解決數據可用性問題的可行方案，即將共識的復雜程度降低到對數級別，提高數據的交換與驗證效率。ALabs將圍繞這個方向進行探索，推動區塊鏈行業應用發展。 SmartBlock2018國際學術峰會由Springer、早稻田大學、哥倫比亞大學、北京理工大學、伯明翰城市大學等頂尖學術院校聯合主辦，會議圍繞前沿科技趨勢進行探討，包括人工智能、大數據、區塊鏈等前沿技術，數百名學術大拿及企業高管出席活動。[2018/12/11]

dYdX：加密貨幣和衍生品交易所，TVL達$375

MLoopring：L2交易，NFTs，TVL達$121

MzkSyncLite：L2交易，NFTs，TVL達$65M

Space：L2交易，NFTs，TVL達$49M

Fourofthelargest10L2stodayareZKrollups-viaL2BEAT

從ZKRollup到zkEVMs

ZKrollup有兩個主要架構：鏈上以太坊智能合約和基于以太坊交易和執行環境的鏈下虛擬機。

zkEVM則是與以太坊虛擬機兼容的ZKrollup，即以太坊L1的執行環境。

IllustrationofPolygonzkEVM’sgeneralapproachtoscaling-viaPolygon

在以太坊開始擴容競賽時，像Arbitrum和Optimism這樣的OptimisticRollup具有巨大的優勢，因為它更容易與EVM兼容甚至完全等效。這種技術“親和力”使應用程序可以輕松地移植其代碼，并使用從L1到L2的自己喜歡的工具，這是很棒的用戶體驗。

相比之下，ZKRollup從定制的虛擬機開始，意味著項目需要進行大量的工作，即“解釋”來自EVM的代碼或使用從頭開始編寫的新代碼。

因此，zkEVM的到來代表了VitalikButerin在2021年預測的重要一步，即“隨著技術的改進，中長期來看，ZKRollup將在所有用例中勝出。由于ZKRollup使用了加密證明，因此與OptimisticRollup相比，它們具有內置的隱私和安全優勢。當您將EVM兼容性添加到組合中時，ZKRollup有可能在未來超越OptimisticRollup”。

Type1、Type2zkEVM的競賽進行時

如果說以太坊“擴容戰”是指OptimisticRollup和ZKRollup之間的競爭，以提供最佳的區塊鏈擴容解決方案。那么發生在ZKRollup內部之間的競爭也才剛剛開始，即看看哪個團隊能夠實現VitalikButerin定義的第一個“Type1”和“Type2”zkEVM。

Buterin’stypesofzkEVM

2022年8月，Buterin提供了一種衡量zkEVM能力的方法，即以Type1到Type4的等級來對其進行評級。Type1zkEVM將與EVM完全等效，甚至可以用于升級以太坊本身，而Type4zkEVM只能與以太坊某些應用程序兼容。

也就是說，由于工作涉及較廣，Type1zkEVM的實現還需要一段時間，但是現在有多個項目正在嘗試Type2zkEVM。

ThemainzkEVMeffortstoday-viaImmutableX

例如，PolygonzkEVM是Type3zkEVM，并且正在成為Type2zkEVM，接近EVM等效。

Scroll是另一個值得關注的項目，目前正在朝著Type2zkEVM發展。

相比之下，zkSyncEra通過自定義功能和zkPorter進行了增強。當然，它的可能性范圍是開放的。

迄今為止，zkEVM的最新進展項目有：

將于3月27日開啟主網測試版的PolygonzkEVM；

已向Buider推出主網的zkSyncEra；

剛剛發布GoerlizkEVM測試網的Scroll；

處于Type3狀態并且正在升級的Starknet的KakarotzkEVM；

Source:Messari

結語

以太坊本身可能會升級到Type1zkEVM，以進一步進行鏈上擴展，這是極有可能的事。與此同時，作為潛在升級的補充，從Type2s到Type4s的外部zkEVM將繼續蓬勃發展，為開發人員和用戶提供以太坊L1無法提供的獨特自定義功能，如用戶體驗增強功能。

總而言之，ZKRollup的最終結果是zkEVM，而這些努力的項目中的第一個正處于推出市場的前沿。2023年也將是普遍加密用戶能夠首次嘗試zkEVM的一年。

Tags：以太坊PolygonTVL以太坊幣是什么幣Polygon幣是什么幣TVL價格TVL幣

AAVE