我還沒有深入研究Hermez的zkevm解決方案,有趣的是,比較Scroll和PolygonHermez的zkevm是一個很好的視角,可以幫助大家更好地理解zkVM和zkEVM。基本上,Scroll的zkEVM解決方案通過「重新實現」整個EVM來實現EVM等價,EVM的所有操作都是在zkevm-circuits中定義的,這需要很多步驟(約束)來證明。Hermez的zkEVM解決方案是不同的,他們不是重新實現一個EVM,而是實現一個特定的zkVM,并將EVM操作對應到他們自己的zkVM。所以,證明EVM的操作等同于證明Hermez的zkVM中的對應操作,并且zkVM有非常大的自由度,它們可以避免EVM中的zk-unfriendly部分。用不同的方法來定義Hermez是zkEVM還是zkVM:-只要你能證明所有來自EVM的操作都是正確的,滿意——Hermez是zkEVM;-必須重新實施完整的EVM,不滿意——Hermez是zkVM因此,Scroll和PSE的zkEVM非常復雜(奇跡般地實現了zk-unfriendly部分)。我們的zkEVM有34469行代碼,但是Hermez的zkEVM只有不到3000行代碼,點擊了解
馬斯克與木頭姐將在The Word Bitcoin會議上對比特幣進行現場討論:Bitcoin Magazine(比特幣雜志)發推表示,The Word Bitcoin會議的組織者已經確認,該活動將有一個現場討論,參與者包括特斯拉創始人Elon Musk、推特及Square創始人Jack Dorsey以及ARK基金創始人CathiedWood。
注,將于7月21日舉辦的The ? Word 是一項圍繞比特幣的計劃,旨在揭開比特幣主流敘事中的神秘性和污名化,解釋機構為何且要如何接受比特幣,同時提高大眾對比特幣的認識。[2021/7/20 1:04:09]
歷史上的今天丨CFTC指控Volantis負責人對比特幣客戶做出虛假陳述:2019年9月29日,國家外匯管理局局長在《中國金融》發布了題為《我國外匯管理改革事業70年》的文章。文章回顧了我國外匯管理改革事業,其中包括不斷提升貿易便利化水平。堅持經常項目可兌換原則,依法保障真實合規的經常項目國際支付與轉移。在貨物貿易、服務貿易、保險機構、外幣現鈔、個人外匯業務等領域推出多項便利化措施,推進區塊鏈技術在外匯管理領域應用。
2019年9月29日,美國商品期貨交易委員會(CFTC)指控賓夕法尼亞州的Jon Barry Thompson有意或不顧后果地向購買了價值700多萬美元的比特幣客戶作出虛假陳述。在向美國紐約南區地方法院提起的申訴中,CFTC聲稱,與Thompson的虛假陳述相反,他和他所關聯的公司都沒有擁有或控制將要交付給客戶的比特幣。據此前報道,Thompson是加密貨幣托管公司Volantis的負責人,此前已遭美國司法部指控欺詐多個客戶,其欺詐計劃涉及700多萬美元。[2020/9/29]
最初權衡Scroll/PSE的zkEVM是很難實現的,但后期處理EVM更新很容易,Hermez的zkEVM最初很容易實現,但后續更新很困難,并且,PSE方案更適合Layer1,后續升級也容易,并且因為Scroll直接和PSE合作,后續升級Scroll的zkEVM也很容易。一個值得展望的未來是:我們將證明生成時間優化到12秒,這時候zkEVM可以直接用在Layer1的生產環境中,運行一個節點的限制也會降低。如果zkEVM可以直接用于Layer1,那么主網會有自己的prover,如果證明生成時間可以優化到12s,我認為會考慮一個有助于加速的prover網絡。Scroll將來會有自己的Prover網絡,其路線圖如下:-Pre-alpha測試網升級-Alpha測試網-去中心化roller網絡-啟動主網所以如果Scroll的roller網絡運行良好,將會對Layer1產生直接影響,以太坊主網很可能會學習Scroll的經驗,嘗試用roller-network的方式來加速自己的zkEVM。Rollup是layer1的一個創新的測試領域,不僅涉及新穎的應用程序,還涉及這些底層基礎設施。目前有多個zkEVM實現由不同的rollup團隊領導,從長遠來看,這對rollup和Layer1都有好處,對于rollup,我們可以使用其他zkEVM實現來檢查我們自己的zkEVM是否遺漏了約束條件或存在bug等。一個zkEVM生成證明,其他zkEVM驗證其過程。
聲音 | CME Group:機構投資者對比特幣的興趣正在上升:據news.bitcoin消息,根據芝加哥商業交易所(CME Group) 2月19日發給客戶的一封內部投資者電子郵件顯示,比特幣期貨交易量大幅上升,上周二基于比特幣的期貨交易量達到創紀錄的18338份。該公司表示,交易量增加可能是由于機構興趣逐漸上升。[2019/2/22]
聲音 | BlockStream首席戰略官:IBM的量子計算機不對比特幣構成威脅:據Bitcoinist報道,IBM最近推出世界上第一臺商用量子計算機Q System One。BlockStream首席戰略官Samson Mow在推特上稱,信用卡不具有量子抗性。并轉發BlockStream官推上消息:即便與1972年代的計算機相比,Q System One也”超級弱“(實用性差)。此外,目前在比特幣的發展路線圖中存在很多抗量子解決方案。[2019/1/14]
如果multi-zkEVM能夠形成合作機制,Layer1沒有理由不直接學習這種方式,當然,沒有那么多layer2團隊會實施共識層zkEVM。不管怎樣,未來我們仍然會看到關于zkEVM的非常活躍的討論,會有更多的設計、更多的創新、更多的bug,最后是layer1上的EVM->zkEVM的升級。我們還將看到layer1上學到的rollup創新,幫助以太坊本身變得更好。最后,Hermez有一個很棒的團隊,在zkEVM和zkp領域有突出貢獻,我認為不同的L2團隊應該更多地溝通/協作,因為我們都在同一條戰線上,我們都是以太坊的盟友,我們來這里是為了擴展以太坊,讓區塊鏈準備好迎接下一個階段和下一個十億用戶。原地址
原文來源:AdaverseAsia9月22日,Cardano主網Vasil硬分叉升級成功激活,此次升級對Cardano的自定義智能合約語言Plutus進行了重大改進.
1900/1/1 0:00:00NFT市場在今年3月份后交易量持續走低,NFTGo.io數據顯示,在過去24小時內,以太坊上的NFT總交易量約為1068萬美元.
1900/1/1 0:00:00MakerDAO向其“EndgamePlan”又近了一步,MakerDAO已經通過了一項治理提案,開始向其“終極計劃”過渡,將推進其歷史上最大規模的重組.
1900/1/1 0:00:00頭條 外媒:香港計劃使零售加密交易合法化Odaily星球日報訊據彭博社援引知情人士報道,香港計劃于明年3月實施的加密貨幣平臺強制許可計劃將允許零售交易,細節和時間表尚未最終確定.
1900/1/1 0:00:00Odaily星球日報譯者|余順遂 摘要: TheRideshareProtocol開發商DEC已完成900萬美元融資,旨在支持Uber去中心化版本的產品.
1900/1/1 0:00:00市場觀點 1 、宏觀流動性 貨幣 流動性趨緊。美國經濟增長保持彈性,勞動力市場依然強勁背景下,美聯儲如期第四次加息75基點.
1900/1/1 0:00:00