原文標題:《AcomparisonofzkEVMs》
原文作者:DanielLubarov
原文編譯:Kxp,BlockBeats
隨著「zkEVM戰爭」的升溫,公眾討論了許多關于不同zkEVM的優點。但也存在一些錯誤的信息,因此我們想澄清一些關于PolygonzkEVM以及它與其他項目的比較的事實。
作為Polygon的一名員工,我有偏見,但我會盡力保持比較公正。我主要關注Polygon的zkEVM和zkSyncEra,因為它們已經投入生產使用,并且我不太了解其他zkEVM項目。
zkSync的zkEVM和證明器由100k多行代碼組成。我盡力提供準確的摘要,如果有任何不準確之處,請告訴我,我會進行更正。
黑客在多個Worldcoin Orb運營商的設備上安裝了竊取密碼的惡意軟件:金色財經報道,黑客在多個Worldcoin Orb運營商的設備上安裝了竊取密碼的惡意軟件,使他們能夠完全訪問Worldcoin運營商的儀表板。Worldcoin發言人Jannick Preiwisch表示,“一項內部調查得出結論,沒有敏感或個人用戶數據被訪問或泄露。Orb操作員永遠無法訪問任何敏感數據,并且任何生物識別數據捕獲在靜態和傳輸中都是加密的。”
Preiwisch補充說,“我們認真對待有關我們系統安全性和完整性的任何和所有索賠,并在收到對此類問題的詢問后立即進行調查,出于“高度謹慎”,該公司已重置Worldcoin運營商的所有登錄信息,并加快了Worldcoin運營商應用程序2FA的推出。”[2023/5/13 15:00:27]
EVM兼容性
Clairvoyant Labs于1小時前從OKX提幣170萬枚BLUR至鏈上:4月22日消息,據鏈上數據分析師余燼監測,被標記為Clairvoyant Labs的 smart money 地址于 1 小時前從 OKX 提幣 170 萬枚 BLUR 至鏈上。[2023/4/22 14:20:12]
PolygonzkEVM直接執行EVM字節碼。根據Vitalik的分類,它是一種類型3的zkEVM。很快它將成為類型2;目前我們缺少四個預編譯。Scroll也在努力向類型2zkEVM發展。
相比之下,zkSyncEra使用不同的字節碼格式,通過提供編譯器來支持Solidity。這使它成為一種類型4的zkEVM:它支持Solidity,但不支持EVM字節碼本身。例如Hardhat這樣的工具不能直接使用,盡管可以使用zkSync的插件。
BAYC系列NFT地板價跌至70 ETH以下:金色財經報道,據OpenSea數據顯示,Bored Ape Yacht Club(BAYC)系列NFT地板價跌至70 ETH以下,截至發稿時,OpenSea顯示BAYC地板價為68.89 ETH。[2022/8/21 12:38:15]
zkSync認為他們的zkVM更加具有未來性,即它可以更好地與Solidity以外的語言配合使用。但是,他們的VM似乎繼承了EVM的許多性能特征,例如其256位字大小。像Miden這樣的zkVM可能更具有未來性,因為它是為通用計算而設計的,而不是專注于Solidity。
域選擇
經過研究多個替代方案,我們選擇了所謂的Goldilocksfield,一個二階巨大素數域2^64-2^321。它的小尺寸和美麗的二進制結構導致了極快的域操作,乘法僅需在現代CPU上花費不到兩個周期。
Titanium Blockchain CEO對2100萬美元的加密欺詐指控認罪:金色財經報道,根據美國司法部(DOJ)發布的新聞稿,Titanium Blockchain Infrastructure Services(TBIS)的首席執行官Michael Stollery承認通過欺詐性的首次代幣發行(ICO)從美國和海外投資者那里籌集了2100萬美元。Stollery和他的公司最初于2018年5月被指控犯有證券欺詐罪。根據法庭文件,Stollery沒有按照要求在SEC注冊ICO,承認在其網站上偽造代幣白皮書以及盈利前景,并在TBIS的網站上植入了虛假的客戶推薦,并謊稱他與美聯儲和數十家知名公司有業務關系。Stollery還承認,他沒有將客戶的錢用于投資,而是將至少一部分資金用于個人信用卡還款和夏威夷度假屋的賬單。Stollery因證券欺詐罪名面臨最高20年監禁,定于11月18日宣判。[2022/7/26 2:37:18]
zkSync采用了更傳統的方法,使用基于alt-bn128曲線的SNARK。基礎域的大小約為254位,域乘法在CPU上需要大約80個周期。
為了感受到這種巨大差異的影響,我們可以看看Celer的SHA2基準測試。在那里,我們的STARK證明器比基于橢圓曲線的證明器快了5-50倍。
alt-bn128的優點在于EVM原生支持它,因此向Ethereum提交證明更簡單。在Polygon,我們將最終的聚合證明用alt-bn128的fflonk證明「包裹」起來。雖然我們的方法需要更多的工作,但我們認為這對于不可思議的性能增益來說是值得的。
算術化
區別不止于此。我們的zkEVM基于STARKs構建,但具有現代化的變化。我們有一個主STARK用于CPU,還有其他用于算術、哈希等的STARK。這些表格可以連接,就像我們在RapidUp中描述的那樣。這類似于物理CPU,它們經常有協處理器來加速渲染、Crypto或ML推斷等密集操作。
以Keccak為例。由于它在EVM應用中被廣泛使用,我們設計了一個專門的STARK用于它,使用了一些我們在這里記錄的新技巧。設計這樣的定制算術化需要大量的工作,但它帶來了回報,使我們能夠每秒證明數百個Keccak排列。
zkSync采用了我稱之為更傳統的方法。他們使用基于PLONK的證明器,盡管它支持自定義門,但他們的zkEVM并沒有多少使用;大多數計算都是使用一個名為SelectorOptimizedWidth4MainGateWithDNext的通用門進行的。它似乎比vanillaPLONK門稍微強大一些,但仍然局限于像mul-adds這樣的簡單操作。
值得贊揚的是,zkSync使用了查找參數,這是一種更現代的技術,可以幫助提高像Keccak這樣的效率。但是,沒有自定義算術化,256位數學、Keccak等等的效率都會大打折扣。
L1數據
PolygonzkEVM將所有交易數據發布到L1。在Twitter上存在一些關于此的混淆,有關此的Gas費用請參見Edu的文章。目前,平均交易大小約為120字節,因此每筆交易的Gas費用約為120*16=1920Gas。
zkSync則發布狀態差異。惡意的序列化器可能會隱瞞交易數據,但zkSync認為擁有當前狀態的trie足以確保安全。這似乎存在爭議,因為通常預期交易數據是可用的,并且某些應用程序依賴于此。
查看經過更正的數據后,我們可以發現我們的zkEVM和zkSync的每筆交易Gas費用基本相同。這些數字可能會隨著每個鏈上發生的交易類型的混合而隨時間變化,但截至今日,狀態差異并沒有節省任何Gas費用;兩個系統都向L1發送大約120字節的每筆交易數據。
我們計劃在這里進行一些優化,但不使用狀態差異。交易本身可以進行壓縮,降低Gas費用,同時仍能保證交易數據的可用性。敬請期待!
原文作者:NewOrder原文編譯:深潮TechFlowCosmos應用鏈是傳統應用鏈的重大改進,將徹底改變去中心化應用程序的構建、部署和使用方式.
1900/1/1 0:00:00FlameLaunch是一個基于Filecoin生態系統的去中心化發布平臺,它通過整合互聯網社交圖譜和鏈上資產數據,提供篩選、評級和適應等多項功能.
1900/1/1 0:00:00今天公布了美方面ADP就業數據,俗稱小非農,公布的實際值大幅低于前期的數據,市場預期不會跌破20萬,公布值跌破了,從數據來看,對美元計價資產是偏利空的影響,但是從另外一個角度來看.
1900/1/1 0:00:00原文作者:HenryAng,MustafaYilham,AllenZhao&JermaineWong,BixinVenturesWeb3的未來將會是一個多鏈世界.
1900/1/1 0:00:004月6日消息,根據DappRadar和區塊鏈游戲聯盟的最新報告,Web3游戲項目在2023年第一季度吸引了7.39億美元的投資。這些資金中有將近60%是在2023年3月籌集的.
1900/1/1 0:00:00看來本輪的新人對$Doge的印象還是不深!這可是Web3meme始祖!我就來寫寫狗狗幣的來龍去脈及如何超低成本入場狗狗幣.
1900/1/1 0:00:00