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

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

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

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

ModularEthereum-viaUltraScalableEthereum

從L1到L2

Type 1零知識以太坊虛擬機Taiko Labs A輪前融資獲1200萬美元:金色財經報道， Type 1 零知識以太坊虛擬機Taiko Labs A 輪前融資獲1200 萬美元，由 Generative Ventures 領投 。以太坊聯合創始人 Vitalik Buterin表示，Type 1 ZK-EVM 是我們最終需要使以太網 L1 層本身更具可擴展性的東西。 它們也是 rollups 的理想選擇，因為它們允許 rollups 重用大量基礎設施。[2023/6/12 21:30:36]

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

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

加密衛星公司Cryptosat和DoraHacks在國際空間站完成零知識證明實驗:1月12日消息，加密衛星開發商 Cryptosat 和全球黑客馬拉松組織者 DoraHacks 合作，在國際空間站 (ISS) 上進行了第一個在太空中發射零知識 (ZK) 證明系統的成功實驗。DoraHacks 和 Cryptosat 表示，在國際空間站上進行的實驗證明了基于衛星的計算環境能夠執行使用 ZK 證明協議所需的部分可信設置過程。 Cryptosat 稱，ZK 證明實驗的成功是證明空間計算環境有效性的重要一步，Cryptosat 正在尋求將一組立方體衛星送入軌道并建立其衛星群。[2023/1/13 11:09:04]

ThefutureofEthereumL2s+shards-viaVitalikButerin

徐明星：以太坊2.0和零知識證明技術將使以太坊成為真正的區塊鏈操作系統:金色財經報道，OKX創始人徐明星發推特表示，2023年將非常有趣，以太坊2.0和零知識證明技術將使以太坊成為真正的區塊鏈操作系統。[2022/12/28 22:11:35]

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

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

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

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

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

以太坊基金會、AMD、Polkadot 發起 700 萬美元競賽以促進零知識擴展:金色財經報道，ZPrize于4月19日宣布，多個加密貨幣項目聯合起來，為使用零知識（ZK）證明的創新團隊提供700萬美元的獎金。該競賽由21個Web3組織支持，包括Polygon、Polkadot、Mina和Ethereum基金會。AMD-Xilinx還將為參賽團隊提供高功率的計算設備。ZPrize在一份聲明中說，參賽團隊將嘗試設計 \"新的算法和技術，以實現最好的零知識系統無法比擬的性能指標。\"獲獎者必須將其提交的材料開源，以便其他開發者能夠將任何突破性的東西整合到他們的工作中。[2022/4/20 14:34:54]

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

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

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

動態 | 0x 協議推出基于零知識證明技術的 StarkDEX 測試版，每秒可處理逾 550 筆交易:去中心化交易協議 0x 宣布推出去中心化交易基礎設施 StarkDEX，并提供了 Alpha 測試版供模擬交易。StarkDEX 由 0x 與零知識證明技術開發公司 StarkWare 合作開發，目的是使用 STARKs 技術突破非監管交易的無形限制，使加密貨幣交易所為用戶提供大規模而無對手風險的交易。0x 表示目前 StarkDEX 每區塊最多可批量處理 8000 筆交易，每秒可處理逾 550 筆交易，手續費成本則降低 200 倍。[2019/6/4]

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幣

TUSD