編譯:Cindy,SophonLabs

以太坊生態系統將見證今年最熱門的區塊鏈趨勢之一,許多公司都渴望利用Polygon 即將推出的zkEVM rollup。

什麼是零知識證明?

零知識(ZK)技術是一種重塑區塊鏈行業的密碼解決方案。它們在可編程級別執行語言和低級字節碼,由與以太坊主網相同的規則支持。

它是一種虛擬機,利用零知識證明來驗證數據,而不會洩露有關數據內容或屬性的任何信息。它是一種複制以太坊主網交易執行環境的抗審查協議。

以太坊創始人Vitalik Buterin將zkEVM 分為四種主要類型。

  • Type-1 zkEVMs:完全等同於以太坊
  • Type-2 zkEVMs:EVM(非以太坊)等價
  • Type-3 zkEVM:脫離EVM
  • Type-4 zkEVM:EVM 的近親

Polygon技術負責人:zkEVM是什麼?

“該項目是一個完整的工程項目,”負責構建Polygon zkEVM 的技術團隊的Jordi Baylina 說。 “我們的想法是,利用這些電子設備,我們以某種方式構建了一個處理器。最重要的是,可以編寫一個程序來處理事務。它是一個完整的組件堆棧,不同的團隊在這些堆棧的每一層中工作。”

在3 月2 日發布的YouTube視頻中,Baylina 解釋了推出背後的技術組件,“我們正在構建的系統是抗審查的。這不是一個完美的解決方案,但在一定程度上是因為該系統不是通用的。我們創建了組件本身。它是一種新的處理器、新的組件、新的硬件編寫方式。”

技術細節

通過zkEVM rollup,一次ERC-20 傳輸將定義獨特的數據基礎設施,例如ProgramCounter、GlobalCounter、EVMWord、GasInfo 和GasCost,其中包括並包含堆棧、內存和操作碼等元素。 pc和gc封裝為usize,而EVMWord封裝了一個長度為32的u8數組。

為了簡化與內存相關的操作,開發人員巧妙地利用Rust 宏來提取索引和範圍特徵等關鍵內存信息並標準化實現。另一方面,Storage用一個HashMap來表示,它的key值都是EVMWord StackAddress 表示為與Stack 一起使用的由EVMWord 組成的動態數組。

MemoryAddress也是一個usize,取值範圍在0到1023之間,而Memory是一個u8的數組。 github 上提供了zkEVM 推出的完整技術堆棧。

zkEVM 霸權之爭

目前的zkEVM賽道很多硬核技術的產品正在進入市場的競賽,有幾個項目正在競相推出第一個功能齊全且等效於EVM 的zkEVM,其中一些頂級競爭者是Polygon zkEVM、zkSync、StarkNET 和Scroll。

Polygon zkEVM 是開源的,旨在將交易成本降低高達90%,而zkSync 2.0 在以太坊測試網上運行,允許開發人員編寫Solidity 智能合約。 StarkNET 使用ZK-STARKs,它更安全但有局限性,Scroll 正在構建一個優先考慮安全性和透明度的高可組合性解決方案。

Polygon 在zkEVM 上押注2.5 億美元

Polygon 於2021 年以2.5 億美元收購了Hermez Network,隨後於2022 年年中推出了以太坊Layer-2 ZK-rollup 解決方案Polygon Hermez。 2022 年7 月,Polygon 宣布將Polygon Hermez 更名為Polygon zkEVM,它採用Type-2 zkEVM 方法與EVM 等效,但不與以太坊等效。

開發人員需要調整代碼和EVM 工具以適應ZK-rollup。 Polygon 的目標是達到每秒2000 筆交易,並將交易成本降低高達90%,從而使其成本低於以太坊主網。 Polygon 於10 月10 日推出了其zkEVM 公共測試網。