編譯：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 的技術團隊的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 公共測試網。
