「zkEVM 戰爭」升溫，一文全面對比Polygon zkEVM與zkSync Era

区块律动BlockBeats

特邀专栏作者

2023-04-06 07:01

本文約1742字，閱讀全文需要約3分鐘

Polygon眼中與zkSync的zkEVM對比

原文編譯：Kxp，BlockBeats

隨著「zkEVM 戰爭」的升溫，公眾討論了許多關於不同zkEVM 的優點。但也存在一些錯誤的信息，因此我們想澄清一些關於Polygon zkEVM 以及它與其他項目的比較的事實。

EVM 兼容性

Polygon zkEVM 直接執行EVM 字節碼。根據Vitalik 的分類，它是一種類型3 的zkEVM。很快它將成為類型2 ；目前我們缺少四個預編譯。 Scroll 也在努力向類型2 zkEVM 發展。

性能

二級標題

域選擇

經過研究多個替代方案，我們選擇了所謂的Goldilocks field，一個二階巨大素數域2 ^ 64 - 2 ^ 32 + 1 。它的小尺寸和美麗的二進制結構導致了極快的域操作，乘法僅需在現代CPU 上花費不到兩個週期。

zkSync 採用了更傳統的方法，使用基於alt-bn 128 曲線的SNARK。基礎域的大小約為254 位，域乘法在CPU 上需要大約80 個週期。

二級標題

算術化

區別不止於此。我們的zkEVM 基於STARKs 構建，但具有現代化的變化。我們有一個主STARK 用於CPU（每個週期有一行），還有其他用於算術、哈希等的STARK。這些表格可以連接，就像我們在RapidUp 中描述的那樣。這類似於物理CPU，它們經常有協處理器來加速渲染、Crypto 或ML 推斷等密集操作。

以Keccak 為例。由於它在EVM 應用中被廣泛使用，我們設計了一個專門的STARK 用於它，使用了一些我們在這裡記錄的新技巧。設計這樣的定制算術化需要大量的工作，但它帶來了回報，使我們能夠每秒證明數百個Keccak 排列。

安全性

Polygon 非常重視安全性，我們的zkEVM 經過了兩次獨立審計：一次是由Spearbit 進行的，另一次是由Hexens 進行的。兩份報告都可以在這裡公開查看。我們還發布了驗證部署的說明。

一級標題