NBS:「zkEVM 戰爭」升溫 一文全面對比Polygon zkEVM與zkSync Era_BSP

原文標題：《A comparison of zkEVMs》

原文作者：Daniel Lubarov 

原文編譯：Kxp，BlockBeats

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

作為 Polygon 的一名員工，我有偏見，但我會盡力保持比較公正。我主要關注 Polygon 的 zkEVM 和 zkSync Era，因為它們已經投入生產使用，并且我不太了解其他 zkEVM 項目。

zkSync 的 zkEVM 和證明器由 100 k 多行代碼組成。我盡力提供準確的摘要，如果有任何不準確之處，請告訴我，我會進行更正。

華爾街日報：幣安裁員超過1000名員工:金色財經報道，一位知情人士透露，近幾周幣安已有逾1000人被解雇。仍在繼續的裁員可能會導致幣安失去逾三分之一的員工。據幣安前雇員說，本周有更多的員工被解雇，客戶服務人員受到嚴重影響。此次裁員是全球性的，其中包括印度的30多名客服員工。幣安發言人證實有員工被解雇，但拒絕透露裁員人數。[2023/7/15 10:56:00]

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

相比之下，zkSync Era 使用不同的字節碼格式，通過提供編譯器來支持 Solidity。這使它成為一種類型 4 的 zkEVM：它支持 Solidity，但不支持 EVM 字節碼本身。例如 Hardhat 這樣的工具不能直接使用，盡管可以使用 zkSync 的插件。

Web3安全公司Olympix融資430萬美元，Boldstart Ventures領投:金色財經報道，人工智能支持的Web3安全公司Olympix宣布完成了430萬美元的種子輪融資，本輪融資由Boldstart Ventures領投。其他參與者包括Robot Ventures和Shrug Capital等。

Olympix成立于2022年6月，為剛剛開始構建項目的開發者提供安全工具，以最大限度地降低智能合約漏洞的風險，這些漏洞可能需要花費時間和金錢來修復。Olympix利用人工智能掃描開發人員輸入的代碼，提出安全建議，只需點擊一下即可解決。[2023/7/12 10:49:08]

zkSync 認為他們的 zkVM 更加具有未來性，即它可以更好地與 Solidity 以外的語言配合使用。但是，他們的 VM 似乎繼承了 EVM 的許多性能特征，例如其 256 位字大小。像 Miden 這樣的 zkVM 可能更具有未來性，因為它是為通用計算而設計的，而不是專注于 Solidity。

LFG地址再次出售15萬枚AVAX，目前Terraform Labs仍持有84.7萬枚AVAX:金色財經報道，據推特用戶余燼監測，4小時前，Luna Foundation Guard(LFG)地址繼續向出售地址轉移15萬枚AVAX(220萬美元)并出售。此前5月30日轉至出售地址的20萬枚AVAX(289萬美元)已經全部售出。自5月30日以來，Terraform Labs已累計售出23.8萬枚AVAX并換成342萬枚穩定幣，出售均價為14.38美元。目前Terraform Labs還持有84.7萬枚AVAX(1245萬美元)。[2023/6/4 21:14:49]

性能一直是 Polygon 的重點，我們的 zkEVM 非常高效。在 CPU 上運行我們的證明器的成本大約為每筆交易 0.000084 美元。

雖然我們沒有找到任何關于 zkSync 的 zkEVM 的工作基準，但我們懷疑由于我們非常不同的 ZK 技術選擇，存在著很大的性能差距。

Coinbase以太坊L2“Base”發布2023去中心化路線圖:金色財經報道，Coinbase以太坊L2“Base”發布2023去中心化路線圖，包括：

1、為OP Stack啟動至少一個故障證明器，利用一組驗證器來識別和解決故障，繼而保護Base和Optimism主網。

2、實現Base和Optimism主網智能合約的去中心化升級，預計將推出一個安全委員會，其中去中心化法定人數不受任何單一實體控制。

3、啟動Superchain初始版本，可以對Base、Optimism主網和任何OP Stack Rollup的交易進行排序，確保任何人參與Base生態系統的權利

Base表示將在2024年把Base和Optimism主網推進到Stage 2 rollups，使Base的去中心化程度和安全性可與以太坊媲美。此外，Base稱不會使用其他代幣，而是將繼續使用ETH作為原生gas代幣。[2023/2/24 12:26:08]

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

MTC項目Discord服務器遭到攻擊:金色財經消息，據CertiK監測，MTC項目Discord服務器遭到攻擊。在服務器修復之前，請勿點擊任何鏈接。[2023/1/29 11:35:00]

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

為了感受到這種巨大差異的影響，我們可以看看 Celer 的 SHA 2 基準測試。在那里，我們的 STARK 證明器比基于橢圓曲線的證明器快了 5-50 倍。

alt-bn 128 的優點在于 EVM 原生支持它，因此向 Ethereum 提交證明更簡單。在 Polygon，我們將最終的聚合證明用 alt-bn 128 的 fflonk 證明「包裹」起來。雖然我們的方法需要更多的工作，但我們認為這對于不可思議的性能增益來說是值得的。

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

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

zkSync 采用了我稱之為更傳統的方法。他們使用基于 PLONK 的證明器，盡管它支持自定義門，但他們的 zkEVM 并沒有多少使用；大多數計算都是使用一個名為 SelectorOptimizedWidth 4 MainGateWithDNext 的通用門進行的。它似乎比 vanilla PLONK 門稍微強大一些，但仍然局限于像 mul-adds 這樣的簡單操作。

值得贊揚的是，zkSync 使用了查找參數（像我們一樣），這是一種更現代的技術，可以幫助提高像 Keccak 這樣的效率。但是，沒有自定義算術化， 256 位數學、Keccak 等等的效率都會大打折扣。

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

我們不知道 zkSync 的 zkEVM 是否經過任何公開審計。zkSync 的網站列出了橋接合約的審計，但沒有 zkEVM 本身的審計。

除了審計外，兩個項目都有各種「安全備胎」，以提供備用的安全層，但這是一個很深的話題，我在這里不會詳細介紹。

Polygon zkEVM 將所有交易數據發布到 L1。在 Twitter 上存在一些關于此的混淆，有關此的 Gas 費用請參見 Edu 的文章。目前，平均交易大小約為 120 字節，因此每筆交易的 Gas 費用約為 120* 16 = 1920 Gas。

zkSync 則發布狀態差異。惡意的序列化器可能會隱瞞交易數據，但 zkSync 認為擁有當前狀態的 trie 足以確保安全。這似乎存在爭議，因為通常預期交易數據是可用的，并且某些應用程序依賴于此。

查看經過更正的數據后，我們可以發現我們的 zkEVM 和 zkSync 的每筆交易 Gas 費用基本相同。這些數字可能會隨著每個鏈上發生的交易類型的混合而隨時間變化，但截至今日，狀態差異并沒有節省任何 Gas 費用；兩個系統都向 L1 發送大約 120 字節的每筆交易數據。

我們計劃在這里進行一些優化，但不使用狀態差異。交易本身可以進行壓縮，降低 Gas 費用，同時仍能保證交易數據的可用性。敬請期待！

原文鏈接

Odaily星球日報

媒體專欄

閱讀更多

金色財經 善歐巴

金色早8點

白話區塊鏈

Arcane Labs

歐科云鏈

MarsBit

深潮TechFlow

BTCStudy

鏈得得

Tags：BSPNBSSYNCSYNBSPT價格NBS幣SYNCBRAINSYNX

pepe最新價格