近日Polygon官方宣布，將於7月21日推出zkEVM，為開發者和用戶提供“EVM等效”解決方案、高效能zkp和與以太坊主網級別的安全性。
a41 Ventures研究員100y.eth發推深入解釋了Polygon Hermez。
1、Polygon現在正在構建ZKVerse，包括：
Hermez：具有去中心化運算符的zkEVM；Polygon Miden：基於STARK的zkR；Polygon Zero：最快遞歸證明生成zkR；Polygon Nightfall ：允許隱私的ORU。
2、什麼是Rollup？ Rollups是Eth擴容解決方案，可以在鏈下執行交易，並在鏈上（以太坊）發布“狀態根”和“Tx數據”。
3、狀態根，是一種信息，包括所有網絡參與者的餘額。那麼，如果惡意操作者（L2區塊生產者）向以太坊網絡發布無效狀態根怎麼辦？我的資金是SAFU還是SIFU？
4、欺詐和有效性證明。不必擔心，因為資金是安全的，這要歸功於欺詐和有效性證明！ ORU（Optimsitic rollup）使用欺詐證明，zkR（zk-Rollup）使用有效性證明來驗證Rollup中的狀態和交易。
5、ZK證明(ZKP) 。有效性證明使用ZKP來證明來自L2的所有交易都是有效的。 ZKP是一種方法，當證明者避免傳達其他信息時，一方可以向另一方證明給定陳述是真實的。
6、問題1 (EVM) 。首先，EVM不是為支持ZKP而設計的，這意味著在zkR上實現EVM非常困難。這就是為什麼所有聲稱使用ZKP的項目都是特定於應用程序的（例如dYdX、Sorare 等）。我們需要通用的zkEVM zkR網絡。
7、問題2（中心化）。令人驚訝的是，大多數Rollup都是中心化的。他們使用單個運營者。資金仍然是安全的，因為交易是由以太坊驗證的。但是，底層是單個運營者可以審查你的交易並進一步提取MEV。
8、這就是Polygon Hermez要解決的問題。 Polygon Hermez 2.0使用PoE共識算法來緩解中心化問題，並實現字節碼級zkEVM，提供EVM兼容性。
9、Polygon Hermez 1.0是第一個使用Proof of Donation (PoD) 的去中心化Rollup。然而，事實證明它效率低下，這就是Hermez 2.0引入Proof of Efficiency (PoE) 的原因。
10、與Eth 2.0中的PBS系統類似，PoE中有兩個角色。 ‘Sequencers’ 將用戶的交易聚合打包處理，並將其發佈到以太坊。 “聚合者”驗證定序器打包提交的交易，並生成其有效性證明。
11、由於定序器需要支付鏈上gas費+MATIC費，因此可以防止垃圾郵件攻擊。他們從用戶那裡賺取MATIC費用。生成有效性證明的最快聚合器將從定序器中獲得MATIC費用，這使整個過程變得高效。
12、zkEVM有3種類型，與Starkware使用語言級別的zkEVM 不同，Polygon Hermez 2.0實現了字節碼級別的zkEVM。
