隨著「zkEVM戰爭」的升溫,公眾討論了許多關于不同zkEVM的優點。但也存在一些錯誤的信息,因此我們想澄清一些關于PolygonzkEVM以及它與其他項目的比較的事實。作為Polygon的一名員工,我有偏見,但我會盡力保持比較公正。我主要關注Polygon的zkEVM和zkSyncEra,因為它們已經投入生產使用,并且我不太了解其他zkEVM項目。zkSync的zkEVM和證明器由100k多行代碼組成。我盡力提供準確的摘要,如果有任何不準確之處,請告訴我,我會進行更正。EVM兼容性
PolygonzkEVM直接執行EVM字節碼。根據Vitalik的分類,它是一種類型3的zkEVM。很快它將成為類型2;目前我們缺少四個預編譯。Scroll也在努力向類型2zkEVM發展。相比之下,zkSyncEra使用不同的字節碼格式,通過提供編譯器來支持Solidity。這使它成為一種類型4的zkEVM:它支持Solidity,但不支持EVM字節碼本身。例如Hardhat這樣的工具不能直接使用,盡管可以使用zkSync的插件。zkSync認為他們的zkVM更加具有未來性,即它可以更好地與Solidity以外的語言配合使用。但是,他們的VM似乎繼承了EVM的許多性能特征,例如其256位字大小。像Miden這樣的zkVM可能更具有未來性,因為它是為通用計算而設計的,而不是專注于Solidity。性能
無息DeFi借貸協議Sturdy Finance開放STRDY代幣空投申領:3月15日消息,無息DeFi借貸協議Sturdy Finance在推特上宣布,STRDY代幣空投申領正式開放,將面向符合條件的用戶發放。注:STRDY目前暫不支持轉賬。
Sturdy Finance官方表示,為了建立一個強大的治理體系,空投申領將面向以下用戶群體:
- 合作伙伴和集成協議;
- 知名Degen;
- Sturdy用戶。
其中合作伙伴方面包括:
- Balancer的Aave Boosted池和Lido的wstETH/WETH池中的Aura質押者;
- 選定的Frax Finance、Synthetix、Lido池的Convex Finance用戶;
- 在USDC、USDT、DAI、CURVE stETH和CURVE sUSD財庫中的yearn用戶。
去年3月消息,Sturdy完成390萬美元種子輪和戰略輪融資。[2023/3/15 13:05:07]
性能一直是Polygon的重點,我們的zkEVM非常高效。在CPU上運行我們的證明器的成本大約為每筆交易0.000084美元。雖然我們沒有找到任何關于zkSync的zkEVM的工作基準,但我們懷疑由于我們非常不同的ZK技術選擇,存在著很大的性能差距。域選擇
Paxos發布關于Silvergate Bank的聲明:平臺已內置銀行冗余:金色財經報道,美元穩定幣BUSD發行方Paxos在社交媒體發布關于Silvergate Bank的聲明,其中表示Paxos幾乎沒有接觸過Silvergate Bank。上周已停止了SEN連接和電匯到 Paxos的Silvergate賬戶,并繼續處理外出提款。作為一家受監管的機構,Paxos 一直專注于保護客戶的資金,平臺內置了銀行冗余(banking redundancy)。[2023/3/9 12:51:07]
經過研究多個替代方案,我們選擇了所謂的Goldilocksfield,一個二階巨大素數域2^64-2^32+1。它的小尺寸和美麗的二進制結構導致了極快的域操作,乘法僅需在現代CPU上花費不到兩個周期。zkSync采用了更傳統的方法,使用基于alt-bn128曲線的SNARK。基礎域的大小約為254位,域乘法在CPU上需要大約80個周期。為了感受到這種巨大差異的影響,我們可以看看Celer的SHA2基準測試。在那里,我們的STARK證明器比基于橢圓曲線的證明器快了5-50倍。alt-bn128的優點在于EVM原生支持它,因此向Ethereum提交證明更簡單。在Polygon,我們將最終的聚合證明用alt-bn128的fflonk證明「包裹」起來。雖然我們的方法需要更多的工作,但我們認為這對于不可思議的性能增益來說是值得的。算術化
Alameda回應砸盤BIT質疑:不是1億枚BIT拋售者,將會給出資金證明:11月8日消息,Alameda Research聯席CEO Caroline Ellison在推特上回應Bybit CEO對其砸盤BIT的質疑,稱“我們現在很忙,但那不是我們,等事情平息后,我們會給你資金證明。”
此前消息,Bybit首席執行官Ben Zhou在社區對BIT暴跌做出回應,稱有人違背承諾拋售所持1億枚BIT,BitDAO社區還發布了新提案,要求Alameda限時將1億BIT代幣轉至鏈上地址,否則將處置金庫中的FTT。[2022/11/8 12:32:04]
區別不止于此。我們的zkEVM基于STARKs構建,但具有現代化的變化。我們有一個主STARK用于CPU,還有其他用于算術、哈希等的STARK。這些表格可以連接,就像我們在RapidUp中描述的那樣。這類似于物理CPU,它們經常有協處理器來加速渲染、Crypto或ML推斷等密集操作。以Keccak為例。由于它在EVM應用中被廣泛使用,我們設計了一個專門的STARK用于它,使用了一些我們在這里記錄的新技巧。設計這樣的定制算術化需要大量的工作,但它帶來了回報,使我們能夠每秒證明數百個Keccak排列。zkSync采用了我稱之為更傳統的方法。他們使用基于PLONK的證明器,盡管它支持自定義門,但他們的zkEVM并沒有多少使用;大多數計算都是使用一個名為SelectorOptimizedWidth4MainGateWithDNext的通用門進行的。它似乎比vanillaPLONK門稍微強大一些,但仍然局限于像mul-adds這樣的簡單操作。值得贊揚的是,zkSync使用了查找參數,這是一種更現代的技術,可以幫助提高像Keccak這樣的效率。但是,沒有自定義算術化,256位數學、Keccak等等的效率都會大打折扣。安全性
昆山市財政局開展數字人民幣工資發放試點工作:金色財經報道,近日,昆山市財政局的200余名在職人員收到了單位發放的首筆數字人民幣工資,昆山市財政局成為全市首個以數字人民幣開展部分工資發放的機關事業單位,昆山市數字人民幣應用范圍進一步拓展至財政業務領域。下一步,昆山市財政局將繼續擴大試點范圍,積極嘗試在市級所有預算單位在編職工的部分工資統發中發放數字人民幣,穩步推進數字人民幣在財政業務領域的應用推廣,助力拓寬數字人民幣應用場景。(移動支付網)[2022/7/6 1:54:52]
Polygon非常重視安全性,我們的zkEVM經過了兩次獨立審計:一次是由Spearbit進行的,另一次是由Hexens進行的。兩份報告都可以在這里公開查看。我們還發布了驗證部署的說明。我們不知道zkSync的zkEVM是否經過任何公開審計。zkSync的網站列出了橋接合約的審計,但沒有zkEVM本身的審計。除了審計外,兩個項目都有各種「安全備胎」,以提供備用的安全層,但這是一個很深的話題,我在這里不會詳細介紹。L1數據
PolygonzkEVM將所有交易數據發布到L1。在Twitter上存在一些關于此的混淆,有關此的Gas費用請參見Edu的文章。目前,平均交易大小約為120字節,因此每筆交易的Gas費用約為120*16=1920Gas。zkSync則發布狀態差異。惡意的序列化器可能會隱瞞交易數據,但zkSync認為擁有當前狀態的trie足以確保安全。這似乎存在爭議,因為通常預期交易數據是可用的,并且某些應用程序依賴于此。查看經過更正的數據后,我們可以發現我們的zkEVM和zkSync的每筆交易Gas費用基本相同。這些數字可能會隨著每個鏈上發生的交易類型的混合而隨時間變化,但截至今日,狀態差異并沒有節省任何Gas費用;兩個系統都向L1發送大約120字節的每筆交易數據。我們計劃在這里進行一些優化,但不使用狀態差異。交易本身可以進行壓縮,降低Gas費用,同時仍能保證交易數據的可用性。敬請期待!原地址
近期,Bitget進行了一項關于人口年齡層變化與不同世代周期,對于加密資產持有率發展進程的研究.
1900/1/1 0:00:00據碳鏈價值報道,青島高新區針對區塊鏈高新技術企業進行補貼,三年可拿60萬,為更好助力區塊鏈企業創新發展,青島高新區相繼出臺配套政策,搭建專業孵化平臺,并通過龍頭企業的帶動作用.
1900/1/1 0:00:00昨天,「OvertheMoon—逐浪Web3」峰會在香港舉辦,本次活動由MetaStone和Odaily星球日報主辦,MixMarvel、AWS協辦.
1900/1/1 0:00:004月21日,Binance官宣了即將上線的第31個Launchpad項目OpenCampus,成為繼Hooked和SpaceID之后第三個登上BinanceLaunchpad的BNBChain生.
1900/1/1 0:00:00一、整體概述 DeFi協議CurveFinance已在以太坊主網上部署其原生穩定幣crvUSD。由于crvUSD尚未集成到Curve的用戶界面中,因此要等到UI部署完成后才能向公眾開放.
1900/1/1 0:00:00零知識證明允許一個團體在向另一個團體證明一條聲明時不需要透露除去「該聲明為真實的」的信息以外的任何額外信息.
1900/1/1 0:00:00