Polygon 的技術負責人解釋了對 zkEVM 的期望

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

什麼是零知識證明?

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

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

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

  1. Type-1 zkEVMs:完全等同於以太坊
  2. Type-2 zkEVMs:EVM(非以太坊)等價
  3. Type-3 zkEVM:脫離 EVM
  4. Type-4 zkEVM:EVM 的近親
Vitalik 的 zkEVM 類型比較
(來源:以太坊博客)

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

在YouTube中 視頻 2 月 XNUMX 日發布,Baylina 解釋了推出背後的技術組件,“我們正在構建的系統是抗審查的。 這不是一個完美的解決方案,但在一定程度上是因為該系統不是通用的。”

“我們創建了組件本身。 它是一種新的處理器、新的組件、新的硬件編寫方式。”

技術細節

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

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

StackAddress 表示為與 Stack 一起使用的由 EVMWord 組成的動態數組。

MemoryAddress也是一個usize,取值範圍在0到1023之間,而Memory是一個u8的數組。

github 上提供了 zkEVM 推出的完整技術堆棧。

zkEVM 霸權之爭

以有效產品進入市場的競賽正在進行中。

幾個項目正在競相推出第一個功能齊全且與 EVM 等效的 zkEVM,其中一些頂級競爭者是 Polygon zkEVM、zkSync、StarkNET 和 Scroll。

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

Polygon 在 zkEVM 上押注 250 億美元

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

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

發表於: 多邊形, 科技

來源:https://cryptoslate.com/polygons-technical-lead-explains-what-to-expect-from-zkevm/