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

編譯：Yuanshan@Web3CN.Pro

作者：WilliamM.Peaster

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

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

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

ModularEthereum-via?UltraScalableEthereum

LayerZero Labs 與 Polyhedra Network 合作推出基于零知識證明的輕客戶端:5月31日消息，LayerZero Labs 宣布與 Polyhedra Network 達成戰略合作，共同推出基于零知識證明技術的輕客戶端，使得 LayerZero 的開發者只需要更新一個參數配置就可以使用 Polyhedra Network 開發的零知識證明協議。[2023/6/1 11:51:12]

從L1到L2

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

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

ZeroSync和Blockstream合作將從衛星廣播比特幣零知識證明:金色財經報道，瑞士非營利組織ZeroSync協會和比特幣基礎設施公司Blockstream表示，他們計劃從Blockstream的衛星廣播比特幣零知識證明 (zk-proofs) 。使用zk-proofs來驗證比特幣區塊鏈意味著節點不必下載比特幣鏈的當前500GB數據，因此可以在幾分之一秒而不是幾小時或幾天內同步。Blockstream的衛星網絡通過將區塊鏈廣播到整個地球，包括互聯網覆蓋不可靠的地區，提供對比特幣的免費全球訪問。ZeroSync預計第一次實驗廣播將在今年年底進行。

新成立的ZeroSync協會于周二成立，計劃通過使用零知識證明 (zk-proofs) 來幫助擴展比特幣，零知識證明是一種密碼技術，可以在不泄露信息本身的情況下證明信息的有效性。[2023/4/1 13:39:02]

零知識硬件初創公司Cysic完成600萬美元種子輪融資:金色財經報道，零知識 (ZK) 硬件初創公司 Cysic 完成了 600 萬美元的種子輪融資。該輪融資由 Polychain Capital 領投，其他投資者包括 Hashkey、SNZ Holding、ABCDE 和 Web3.com 基金會。[2023/2/17 12:13:48]

ThefutureofEthereumL2s+shards-via?VitalikButerin

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

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

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

Polygon以4億美元收購零知識初創公司Mir:金色財經報道，以太坊Layer2擴容解決方案Polygon宣布以4億美元收購零知識初創公司Mir，這筆交易是通過2.5億枚MATIC完成的。作為交易的一部分，Mir將更名為Polygon Zero，該項目將基于其ZK-proof技術構建一個ZK-rollup。Polygo聯合創始人Sandeep Nailwal在接受采訪時表示：“我們希望通過提供一系列解決方案，成為Web3平臺的AWS，使開發人員能夠在其上進行構建。”[2021/12/10 7:29:15]

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

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

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

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

動態 | 全新零知識證明論文被IEEE學術會議收錄 或能抵抗量子計算機:由四位研究人員共同發表的論文透明多項式委托及其在零知識證明中的應用被第 41 屆電氣電子工程師學會安全隱私學術會議（IEEE S&P 2020）接受，其作者之一的Yupeng Zhang在推特上公開了該消息，他來自于德克薩斯州農工大學，另外三名作者來自于加州大學伯克利分校，分別是Jiaheng Zhang、Tiancheng Xie和Dawn Song （宋曉冬），宋曉冬教授也是區塊鏈隱私計算平臺Oasis Labs的創始人。據Yupeng Zhang介紹，該論文提出了一個全新且透明的零知識證明機制，可以提供非常快的驗證時間，也不需要可信設置（trusted setup）。論文中介紹到，該零知識證明機制僅使用了輕量級的加密算法比如抗碰撞的哈希函數，所以也可能是量子安全的。[2019/12/26]

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

Fourofthelargest10L2stodayareZKrollups-viaL2BEAT

從ZKRollup到zkEVMs

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

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

IllustrationofPolygonzkEVM’sgeneralapproachtoscaling-via?Polygon

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

例如，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：以太坊ROLROLLTYPE以太坊幣最高價格是多少TROLLBNB幣TROLLER幣Typerium

加密貨幣