SYN:不同 zkEVM 之間的比較

隨著“zkEVM戰爭”的升溫，公眾對不同zkEVM的優點進行了大量的討論。也有一些錯誤的信息，所以我們想澄清一些關于PolygonzkEVM的事實以及它與其他產品的比較。

我的觀點存在偏見，因為我本身在Polygon工作，但我會努力保持比較的公平性。我將主要關注Polygon的zkEVM和zkSyncEra，因為它們正在生產中，而且我對其他zkEVM項目了解不多。

zkSync的zkEVM和驗證器構成了超過10萬行的代碼。我盡力給出一個準確的總結，但如果有任何不準確的地方，請告訴我，我將予以糾正。

EVM兼容性

PolygonzkEVM直接執行EVM字節碼。根據Vitalik的分類，它是一個3型zkEVM.它應該很快就會變成2型；目前我們還缺少四個預編譯版本。Scroll也在努力實現2型zkEVM.

加拿大央行文件對CBDC價值提出質疑:金色財經報道，加拿大央行的一份討論文件對央行數字貨幣在解決無現金環境中未滿足的支付需求方面的有用性提出了質疑。加拿大央行過去幾年一直在研究數字加元，以及哪些設計功能適合具有不同支付需求和環境的公民。但在一篇新論文中，銀行工作人員指出，大多數加拿大人在使用各種支付方式方面并沒有遇到差距，而且在無現金環境中這種情況可能會繼續存在。幾乎所有（98%）的加拿大成年人都擁有銀行賬戶，87%的人擁有信用卡，并且互聯網接入率很高。該論文指出，如果商家不再普遍接受現金作為支付方式，一些人仍然可能面臨支付困難。然而，以支付為導向的CBDC要成功解決這個問題，就必須得到大多數不需要它的人的廣泛采用。如果這些人不喜歡數字加元，商人也不太可能接受它。該論文總結道：只有大多數消費者體驗到物質利益并推動其使用，少數支付需求未得到滿足的消費者才能從CBDC中受益。[2023/8/14 16:24:18]

相比之下，zkSyncEra使用不同的字節碼格式，通過他們提供的編譯器支持Solidity，這使得它成為一個4型kEVM：它支持Solidity，但不支持EVM字節碼本身。像Hardhat這樣的工具并不是開箱即用的，盡管它可以與zkSync的插件一起使用。

Stargate單月跨鏈交易額突破10億美元，創歷史新高:4月15日消息，基于 LayerZero 的跨鏈流動性協議 Stargate 在社交媒體上發文表示，其單月跨鏈交易額首次突破 10 億美元。[2023/4/15 14:05:23]

zkSync認為他們的zkVM更適合于未來，也就是說，它可以更好地與Solidity以外的語言一起工作。然而，他們的虛擬機似乎繼承了EVM的許多性能特征，比如它的256位字大小。像Miden?這樣的zkVM可能更具有未來性，因為它是為通用計算設計的，而不是專注于Solidity.

性能

性能一直是Polygon的首要任務，我們的zkEVM非常高效。在CPU上運行我們的驗證器，每筆交易的成本大約是0.000084美元。

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

支付平臺Ipaymy與TripleA合作，使客戶能夠使用加密貨幣支付賬單:3月30日消息，位于新加坡的費用支付平臺Ipaymy宣布與TripleA建立新的合作伙伴關系，借助TripleA的白標加密解決方案，Ipaymy提供了一種簡化的端到端支付體驗，用戶可以通過任何加密錢包支付租金、發票、稅款和員工工資等，收款人可以直接將法定貨幣存入他們的銀行賬戶。

TripleA是一個獲得新加坡金融管理局 (MAS) 許可的加密支付網關。[2023/3/30 13:36:04]

場選擇

在研究了幾個備選方案之后，我們選擇了被稱為Goldilocks的字段，一個階為2^64-2^32+1的素字段。它的小尺寸和美麗的二進制結構導致了極快的場操作，在現代CPU上，乘法運算只需不到兩個周期。

zkSync采取了一種更傳統的方法，采用基于alt-bn128曲線的SNARK.底層字段大約254位，字段乘法在CPU上需要大約80個周期。

BendDAO發布新提案，擬修改部分協議參數以解決流動性危機:8月22日消息，NFT抵押借貸協議BendDAO社區發布新提案BIP#9，旨在通過修改部分參數解決流動性危機。包括將清算閾值調整為70%、將拍賣周期調整為4小時、將利息基礎利率調整為20%、以及當發生壞賬時BendDAO社區可投票決定如何處理。此外，將在用戶界面中增加顯示ETH浮動壞賬的數量以及在主頁上顯示利息總額。未來協議層面改進包括支持BendDAO中的抵押品報價、盡可能多地接觸交易平臺以支持抵押物掛單等。

此前報道，8月19日，BendDAO首次清算拍賣BAYC，編號為#533。據悉，出價需大于NFT地板價95%，如拍品最終未成交，平臺將承擔浮虧或借款人未來償還債務。當前BAYC地板價為69.69ETH，市值18.4億美元，24小時跌幅1.95%。目前BendDAO平臺有20枚BAYC健康因子小于1.1，累計40枚BAYC健康因子小于或等于1.1（當健康因子小于1時，將啟動NFT清算拍賣）。[2022/8/22 12:40:36]

為了了解這可能造成的巨大差異，我們可以看看Celer的SHA2基準。在那里，我們的STARK驗證器比基于橢圓曲線的驗證器快5-50倍。

alt-bn128的優點是EVM原生支持它，所以向Ethereum提交證明更簡單。在Polygon，我們反而用alt-bn128上的fflonk證明來“包裝”我們的最終聚合證明。我們的方法需要更多的工作，但我們認為這是非常值得的，因為它有令人難以置信的性能提升。

算術化

差異還不止于此。我們的zkEVM建立在STARK?的基礎上，但有一個現代的扭曲。我們有一個用于CPU的主STARK，以及用于算術、散列等等的其他STARK.然后這些表可以被連接起來，就像我們在RapidUp?中描述的那樣。這類似于物理CPU，它通常有協處理器來加速密集型操作，如渲染、加密或ML推理。

以Keccak為例。由于它被EVM應用大量使用，我們為它設計了一個專用的STARK，使用了一些新的技巧，我們在這里記錄了這些技巧。設計這樣的自定義算術需要大量的工作，但它得到了回報，使我們能夠在每秒內證明數百個Keccak的排列組合。

zkSync采取的是我稱之為更傳統的方法。他們使用基于PLONK的驗證器，雖然它確實支持自定義門，但他們的zkEVM并沒有過多地使用它們；大多數計算是通過一個名為electorOptimizedWidth4MainGateWithDNext的通用門完成的。它似乎比普通的PLONK門稍微強大一些，但它仍然局限于簡單的操作，如mul-adds.

值得稱贊的是，zkSync確實使用了查找參數，這是一種更現代的技術，可以幫助提高像Keccak這樣的東西的效率。不過，如果沒有自定義的算術，像256位數學、Keccak等等的效率就會大打折扣。

安全

Polygon非常重視安全問題，我們的zkEVM已經通過了兩次獨立的審計：一次是Spearbit，另一次是Hexens.兩份報告都是公開的，在這里。我們還公布了驗證部署的說明。

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

除了審計，這兩個項目都有各種“訓練輪”來提供后備安全層，但這是一個豐富的話題，我不會在這里討論。

L1數據

PolygonzkEVM將所有交易數據發布到L1，在Twitter上有一些關于與此相關的gas成本的混淆；請參見Edu的帖子以獲得正確的數字。目前，平均交易大小約為120字節，因此每個交易的成本約為120*16=1920?gas.

但zkSync發布了狀態差異。惡意的排序器可以扣留交易數據，但zkSync認為，擁有當前狀態的trie就足以保證安全。這似乎有點值得商榷，因為交易數據通常被認為是可用的，而且某些應用程序依賴于此。

看一下修正后的數據，我們的zkEVM和zkSync的每筆交易的gas成本基本上沒有區別。這些數字可能會隨著時間的推移而變化，基于每個鏈上發生的交易的混合，但到今天為止，狀態差異似乎沒有節省任何gas；兩個系統都在向L1發送每個交易的120字節左右。

我們正計劃在這里進行一些優化，但不是用狀態差異。交易本身可以被壓縮，減少gas成本，同時仍然保證交易數據的可用性。更多關于這個問題的信息很快就會出現！

Tags：SYNKSYSYNCZKSKite Synczksync幣合法嗎DSYNCzkswap幣最新消息

Fil