原文標題:《AcomparisonofzkEVMs》
原文作者:DanielLubarov
原文編譯:Kxp,BlockBeats
隨著「zkEVM戰爭」的升溫,公眾討論了許多關于不同zkEVM的優點。但也存在一些錯誤的信息,因此我們想澄清一些關于PolygonzkEVM以及它與其他項目的比較的事實。
作為Polygon的一名員工,我有偏見,但我會盡力保持比較公正。我主要關注Polygon的zkEVM和zkSyncEra,因為它們已經投入生產使用,并且我不太了解其他zkEVM項目。
zkSync的zkEVM和證明器由100k多行代碼組成。我盡力提供準確的摘要,如果有任何不準確之處,請告訴我,我會進行更正。
FalconX過去7天從Binance提取8951枚MKR,約合1050萬美元:7月28日消息,據Lookonchain數據監測,加密貨幣經紀商FalconX在過去7天從Binance總計提取8951枚MKR,價值約1050萬美元。[2023/7/28 16:04:06]
EVM兼容性
PolygonzkEVM直接執行EVM字節碼。根據Vitalik的分類,它是一種類型3的zkEVM。很快它將成為類型2;目前我們缺少四個預編譯。Scroll也在努力向類型2zkEVM發展。
相比之下,zkSyncEra使用不同的字節碼格式,通過提供編譯器來支持Solidity。這使它成為一種類型4的zkEVM:它支持Solidity,但不支持EVM字節碼本身。例如Hardhat這樣的工具不能直接使用,盡管可以使用zkSync的插件。
香港數字資產交易所HKD.com獲西班牙虛擬資產服務提供商牌照:5月22日消息,香港數字資產交易所HKD.com獲西班牙監管機構頒發的虛擬資產服務提供商牌照。該牌照將允許HKD.com從事加密資產之間以及加密資產與法幣之間的交易,并可以提供加密資產托管服務。
據悉,HKD.com成立于2019年,已獲得香港信托或公司服務提供者牌照(TCSP)、美國金融犯罪執法局(FinCEN)頒發的貨幣服務業務注冊許可(MSB)等。[2023/5/22 15:18:58]
zkSync認為他們的zkVM更加具有未來性,即它可以更好地與Solidity以外的語言配合使用。但是,他們的VM似乎繼承了EVM的許多性能特征,例如其256位字大小。像Miden這樣的zkVM可能更具有未來性,因為它是為通用計算而設計的,而不是專注于Solidity。
懷俄明州銀行專員擔任Fortress Trust Company CEO:金色財經報道,Fortress Blockchain Technologies今天透露,懷俄明州銀行部門的州銀行專員AlbertForkner已經加入Fortress信托公司,擔任首席執行官(CEO)。他領導著為Fortress Web3 B2B基礎設施生態系統供電的監管實體。Fortress提供了一套api驅動的B2B金融、監管和技術解決方案,用于NFT和加密技術創新者。由于Web3的倡議,這些開拓者正在改變世界,他們迫切需要一個可信的基礎來建立他們的業務。Forkner擁有超過20年的銀行監管經驗,并大量參與了特殊目的存款機構(SPDI)銀行章程,這是首個針對數字資產的此類框架。(cryptonews)[2022/6/8 4:09:42]
域選擇
Coinbase:在Coinbase上線資產是免費的,而且一直都是:6月1日消息,Coinbase官方博客表示,在Coinbase上線資產是免費的,而且一直都是。 Coinbase的目標是提供一個中立的市場,客戶可以在其中接觸每一種安全且合規的加密資產。同時,Coinbase也不收取必要的資產營銷費用或要求發行人采用 Coinbase 的其他服務。[2022/6/1 3:54:31]
經過研究多個替代方案,我們選擇了所謂的Goldilocksfield,一個二階巨大素數域2^64-2^321。它的小尺寸和美麗的二進制結構導致了極快的域操作,乘法僅需在現代CPU上花費不到兩個周期。
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費用,同時仍能保證交易數據的可用性。敬請期待!
ForesightNews消息,「Web3的未來發展」主題論壇將4月13日下午在2023香港Web3嘉年華分會場三舉辦.
1900/1/1 0:00:00灰度比特幣信托(GBTC)是世界上最大的比特幣信托,在其姊妹公司GenesisTrading申請破產后,到2022年的結局并不順利.
1900/1/1 0:00:00金色財經報道,比特幣價格3月份上漲23%,原因是多家美國銀行破產,加劇了人們對經濟衰退的擔憂。幾位分析師將這一上漲稱為避險反彈,價格上漲歸因于投資者在銀行倒閉期間尋求避險.
1900/1/1 0:00:00在這個數字化快速快速發展的時代。元宇宙是一個虛擬的數字空間,里面充滿了人工智能、虛擬現實、區塊鏈等領域的技術,可以讓人們在其中體驗到一些現實中無法實現的事情,例如體驗不同的身份、互動社交等.
1900/1/1 0:00:00自2008年推出比特幣以來,加密市場呈指數級增長,每天都有新的市場機會出現鑒于當今市場上的加密貨幣種類繁多,投資者可能難以找到最適合購買的資產.
1900/1/1 0:00:00原文作者:0xjeremy原文編譯:Sissi,Leia 「前言」 上一輪加密貨幣牛市中,各種項目如繁花般綻放,不斷涌現出新的敘事,如DeFiSummer、XtoEarn等等.
1900/1/1 0:00:00