原文標題:《AcomparisonofzkEVMs》
原文作者:DanielLubarov?
原文編譯:Kxp,BlockBeats
隨著「zkEVM戰爭」的升溫,公眾討論了許多關于不同zkEVM的優點。但也存在一些錯誤的信息,因此我們想澄清一些關于PolygonzkEVM以及它與其他項目的比較的事實。
作為Polygon的一名員工,我有偏見,但我會盡力保持比較公正。我主要關注Polygon的zkEVM和zkSyncEra,因為它們已經投入生產使用,并且我不太了解其他zkEVM項目。
zkSync的zkEVM和證明器由100?k多行代碼組成。我盡力提供準確的摘要,如果有任何不準確之處,請告訴我,我會進行更正。
EVM兼容性
法國金融監管機構修改加密公司注冊要求,以符合歐盟MiCA規定:8月10日消息,法國金融監管機構AMF宣布,法國修改了加密貨幣公司的注冊要求,以更好地符合歐盟MiCA對該行業的新規定。AMF表示,增強型注冊要求將于2024年1月1日起生效,對于尋求提供任何受監管服務的新參與者來說將是強制性的。這些變化還將允許實施快速通道程序,以對已經在該國運營并獲得批準的公司進行授權。[2023/8/10 16:17:57]
PolygonzkEVM直接執行EVM字節碼。根據Vitalik的分類,它是一種類型3的zkEVM。很快它將成為類型2?;目前我們缺少四個預編譯。Scroll也在努力向類型2zkEVM發展。
相比之下,zkSyncEra使用不同的字節碼格式,通過提供編譯器來支持Solidity。這使它成為一種類型4的zkEVM:它支持Solidity,但不支持EVM字節碼本身。例如Hardhat這樣的工具不能直接使用,盡管可以使用zkSync的插件。
Everyrealm CEO:“元宇宙只能在VR中呈現”是一種誤解:8月9日消息,Everyrealm首席執行官Janine Yorio試圖消除“元宇宙只能在VR中呈現”的誤解。在2022年韓國區塊鏈周上,Yorio表示,史蒂文·斯皮爾伯格的《頭號玩家》讓我們看到了如果我們生活在超宇宙中,生活會是什么樣子。然而,她認為,電影造成了我們關于元宇宙的這種誤解,因為“主角戴著VR頭戴設備”,而根據Yorio的說法,元宇宙的大多數開發目前是“為你的桌面開發的”。
Yorio強調,這背后的原因是消費者的偏好,因為人類喜歡“與科技互動”的方式是“距離你的臉18英寸,而不是3英寸”,并補充說,“擁有電腦的人比擁有VR頭戴設備的人多得多。”Yorio稱,元宇宙只存在于VR中是不現實的,雖然《頭號玩家》向我們展示了這種“沉浸式圖片真實環境”是一個令人興奮的概念,但這不會在“近期的未來”發生,因為這不是人類習慣與技術互動的方式。(Cointelegraph)[2022/8/9 12:12:06]
zkSync認為他們的zkVM更加具有未來性,即它可以更好地與Solidity以外的語言配合使用。但是,他們的VM似乎繼承了EVM的許多性能特征,例如其256位字大小。像Miden這樣的zkVM可能更具有未來性,因為它是為通用計算而設計的,而不是專注于Solidity。
DAI成為市值最大的去中心化穩定幣:金色財經報道,本月,Terra LUNA 和 UST 的影響已經波及 Defi 和整個加密生態系統。此外,Terra 內爆使穩定幣DAI成為市值最大的去中心化穩定幣。DAI是第四大穩定幣,前三名(USDT、USDC、BUSD)是中心化穩定幣產品。DAI由 Makerdao (?MKR?) 項目發行,與 UST 等算法穩定幣不同,DAI 利用超額抵押貸款和還款流程。
截止發稿,DAI 的市值為 62.4 億美元,但穩定幣的市值在過去 30 天內下跌了 27.3%。盡管DAI保持穩定,但 Terra 的內爆給加密社區帶來了沖擊波,進而將 defi 中的 TVL 削減了一半。自 2022 年 5月1日以來,價值超過 26 億美元的 DAI 被從流通中移除。在過去 24 小時內, DAI的全球交易量為 1.5999 億美元。[2022/5/30 3:49:50]
性能
Web3游戲工作室MetaKings完成1500萬美元種子輪融資:5月25日消息,Web3游戲工作室MetaKings完成1500萬美元種子輪融資,Makers Fund、Bitkraft Ventures、Delphi Digital、Animoca Brands、Shima Capital、WW Ventures、Spartan Group和Huobi Ventures等參投,所籌資金將用于游戲開發和該工作室第一款游戲 Blocklords 的營銷活動。
注,Blocklords是一款以中世紀為背景的大型多人在線(MMO)游戲,計劃于明年推出。(CoinDesk)[2022/5/25 3:41:16]
性能一直是Polygon的重點,我們的zkEVM非常高效。在CPU上運行我們的證明器的成本大約為每筆交易0.000084美元。
雖然我們沒有找到任何關于zkSync的zkEVM的工作基準,但我們懷疑由于我們非常不同的ZK技術選擇,存在著很大的性能差距。
域選擇
經過研究多個替代方案,我們選擇了所謂的Goldilocksfield,一個二階巨大素數域?2?^?64-2?^?32+1?。它的小尺寸和美麗的二進制結構導致了極快的域操作,乘法僅需在現代CPU上花費不到兩個周期。
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的通用門進行的。它似乎比vanillaPLONK門稍微強大一些,但仍然局限于像mul-adds這樣的簡單操作。
值得贊揚的是,zkSync使用了查找參數,這是一種更現代的技術,可以幫助提高像Keccak這樣的效率。但是,沒有自定義算術化,?256位數學、Keccak等等的效率都會大打折扣。
安全性
Polygon非常重視安全性,我們的zkEVM經過了兩次獨立審計:一次是由Spearbit進行的,另一次是由Hexens進行的。兩份報告都可以在這里公開查看。我們還發布了驗證部署的說明。
我們不知道zkSync的zkEVM是否經過任何公開審計。zkSync的網站列出了橋接合約的審計,但沒有zkEVM本身的審計。
除了審計外,兩個項目都有各種「安全備胎」,以提供備用的安全層,但這是一個很深的話題,我在這里不會詳細介紹。
L1數據
PolygonzkEVM將所有交易數據發布到L1。在Twitter上存在一些關于此的混淆,有關此的Gas費用請參見Edu的文章。目前,平均交易大小約為120字節,因此每筆交易的Gas費用約為120*?16?=?1920?Gas。
zkSync則發布狀態差異。惡意的序列化器可能會隱瞞交易數據,但zkSync認為擁有當前狀態的trie足以確保安全。這似乎存在爭議,因為通常預期交易數據是可用的,并且某些應用程序依賴于此。
查看經過更正的數據后,我們可以發現我們的zkEVM和zkSync的每筆交易Gas費用基本相同。這些數字可能會隨著每個鏈上發生的交易類型的混合而隨時間變化,但截至今日,狀態差異并沒有節省任何Gas費用;兩個系統都向L1發送大約120字節的每筆交易數據。
我們計劃在這里進行一些優化,但不使用狀態差異。交易本身可以進行壓縮,降低Gas費用,同時仍能保證交易數據的可用性。敬請期待!
原文鏈接
引言:隨著中國國家發展和改革委員會牽頭聯合十部委共同發布的《關于整治虛擬貨幣“挖礦”活動的通知》與中國人民銀行牽頭聯合十部委共同發布的《關于進一步防范和處置虛擬貨幣交易炒作風險的通知》的出臺.
1900/1/1 0:00:00撰文:ChíPhan 編譯:aididiaojp.eth,ForesightNews對于政府而言,為企業家和創新者提供一個安全的沙箱來探索Web3世界.
1900/1/1 0:00:00金色財經報道,Facebook在其幫助中心發布公告稱,將逐步結束對數字收藏品的支持。這些變更將于2023年4月11日起開始生效。用戶第三方電子錢包內容不會受到影響.
1900/1/1 0:00:004月9日消息,MetaSleuth發推稱,SushiSwapRouteProcessor2合約攻擊事件導致0xsifu損失1800枚ETH。第一個攻擊者已歸還90枚ETH.
1900/1/1 0:00:00原文來源:比推BitpushNews一季度行情即將接近尾聲,比特幣和以太坊的走勢越來越趨同,幾乎完全相關.
1900/1/1 0:00:00長期以來,Rollup一直是擴展以太坊的重要計劃。通過在單獨的鏈上執行交易并將壓縮的結果批次發布回以太坊,與L1相比,交易吞吐量明顯更便宜且性能更高.
1900/1/1 0:00:00