零知識證明(ZKP) 如何改變以太坊的游戲規則？_以太坊:ROL

本文將探討零知識證明的發展應用，探討當前有哪些熱門的項目、為什么這項技術有望成為以太坊擴容方案的重大解決方案。

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

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

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

從L1到L2

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

零知識身份驗證方案Outdid完成250萬美元種子輪融資，Jump Crypto領投:6月30日消息，總部位于英國的零知識證明隱私身份驗證方案提供商Outdid宣布完成250萬美元種子輪融資，Jump Crypto領投，Superscrypt以及Matias Woloski、Martin Varsavski、Gaston Frydlewski等15名天使投資人參投。

Outdid提供了一個隱私身份驗證工具，通過利用零知識證明來驗證政府頒發的原始文件，而無需中介機構進行驗證并出具證明。2023年5月份，隱私區塊鏈Dusk Network宣布向Outdid投資5萬美元。[2023/6/30 22:09:37]

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

DoraHacks平臺開始支持基于零知識證明的隱私二次方資助:據官方消息，DoraHacks開發者激勵平臺HackerLink已經完成整合Dora Factory隱私投票模塊MACI，并開始支持基于零知識證明的二次方投票和二次方資助輪次。

MACI（最小化抗共謀基礎設施）是Dora Factory以太坊工廠的核心模塊之一，通過對投票進行加密以及對結果提供零知識證明，實現隱私投票，將鏈上和鏈下治理的投票過程轉化為非合作博弈，以達到抗共謀的目的。

DoraHacks對MACI代碼中的安全性和效率問題進行了系統性優化。ETH Denver 2022將于2月20日與DoraHacks共同推出第一個中等規模的MACI二次方資助輪次，超過2,000名開發者和10,000名參會者將通過DoraHacks平臺進行零知識二次方投票，這是MACI和鏈上隱私投票的第一次中等規模應用。[2022/1/28 9:19:46]

鏈下擴展是指在鏈下執行交易執行能力，即L2。鏈下擴展不像分片一樣將L1拆分為許多主鏈，而是在外部構建第2層。以太坊的敘事也正逐漸從L1向L2轉變。

Filecoin：Filecoin網絡已成為最大的零知識證明網絡:Filecoin發表博客稱，目前Filecoin已成為最大的零知識證明（zk-SNARK）網絡。據官方數據顯示，目前Filecoin網絡每日會運行6至7百萬次零知識證明，每一個零知識證明中包含了超過1億個約束電路證明。目前Filecoin網絡的可信配置已支持最高128M大小的電路證明，單個證明最大已超過100M，而Zcash最高僅支持2M。此外，目前Filecoin實現了通過SnarkPack將10個零知識證明捆綁至單次證明中，并正在研究零知識證明聚合以實現將數千個零知識證明聚合至單次證明中。硬件支持方面，Filecoin將零知識證明中高度可并行化的部分交由GPU完成，將CPU和內存釋放出來進行較為復雜的計算，進一步提高了零知識證明的效率。[2021/7/14 0:51:01]

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

Vocdoni 認為以太坊和零知識證明等技術可以實現數字投票方案:去中心化治理工具 Vocdoni 撰文認為在經歷了 2020 年美國大選期間的投票混亂之后，是時候該考慮基于以太坊、零知識證明（zkSNARK）和 IPFS 等去中心化技術實現安全且匿名的數字投票解決方案。

Vocdoni 認為這不是一個簡單的挑戰，但是他們設計了一套系統希望能解決投票的問題，將利用以太坊、IPFS 和 Tendermint 等技術。Vocdoni 表示他們的投票協議技術（Vocdoni Open Stack）是完全開源的，已經在歐洲的一些文化組織選舉中被證明是成功的，涉及近 20 萬投票者。[2020/11/9 12:06:07]

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

dYdX：加密貨幣和衍生品交易所，TVL達$375MLoopring：L2交易，NFTs，TVL達$121MzkSyncLite：L2交易，NFTs，TVL達$65MSpace：L2交易，NFTs，TVL達$49M

從ZKRollup到zkEVMs

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

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

在以太坊開始擴容競賽時，像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。

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

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

例如，PolygonzkEVM是Type3zkEVM，并且正在成為Type2zkEVM，接近EVM等效。Scroll是另一個值得關注的項目，目前正在朝著Type2zkEVM發展。

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

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

將于3月27日開啟主網測試版的PolygonzkEVM；已向Buider推出主網的zkSyncEra；剛剛發布GoerlizkEVM測試網的Scroll；處于Type3狀態并且正在升級的Starknet的KakarotzkEVM；

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

總而言之，ZKRollup的最終結果是zkEVM，而這些努力的項目中的第一個正處于推出市場的前沿。2023年也將是普遍加密用戶能夠首次嘗試zkEVM的一年，所以如果你想跟上這些團隊的最新擴展及進步，可以密切關注Polygon、zkSync、Starknet和Scroll。

在加密行業你想抓住下一波牛市機會你得有一個優質圈子，大家就能抱團取暖，保持洞察力。如果只是你一個人，四顧茫然，發現一個人都沒有，想在這個行業里面堅持下來其實是很難的。

想抱團取暖，或者有疑惑的，歡迎加入我們-----公眾號：佩佩梭哈

感謝閱讀，我們下期再見！

Tags：以太坊ROLROLLTYPE以太坊交易所叫什么名字roll幣在哪換TrollCoinTyperium

DOT