以太幣交易所 以太幣交易所
Ctrl+D 以太幣交易所
ads
首頁 > Gateio > Info

深度解讀Scroll zkEVM方案:如何實現去中心化的愿景?_ROLL

Author:

Time:1900/1/1 0:00:00

原文作者:Young,Scroll研究員;Babywhale,ForesightNews

今年2月底,基于

ZKRollup

的以太坊

Layer2

網絡Scroll正式推出了向所有用戶開放的Alpha測試網,并表示將在未來幾個月內改進zkEVM性能。就在推出新測試網的一周后,Scroll宣布以18億美元估值完成了

PolychainCapital

、紅杉中國等參投的5000萬美元融資。

2022年6月,筆者在《三分鐘讀懂Scroll:ZKRollup擴容新銳選手》中簡單介紹了Scroll的設計框架。Scroll旨在建立「EVM等效」的zkEVM擴容網絡,實現以太坊上應用的無縫遷移。

7月,Scroll推出了需要申請資格的Pre-Alpha測試網,截至Alpha測試網推出時,Pre-Alpha測試網已處理了超1540萬筆交易,共確認了超180萬個區塊,提交了64.1萬批有效性證明,且共有超10萬名用戶參與。而Alpha測試網開放至今,共有約2,145,099個

錢包

地址,處理了約10,102,684筆用戶交易,生成了886,701個區塊,平均區塊時間約為3秒。

工信部等八部門:到2023年底物聯網與區塊鏈等技術深度融合應用取得產業化突破:金色財經報道,工業和信息化部、中央網絡安全和信息化委員會辦公室、科學技術部、生態環境部、住房和城鄉建設部、農業農村部、國家衛生健康委員會、國家能源局等八部門聯合印發《物聯網新型基礎設施建設三年行動計劃(2021-2023年)》,根據行動目標顯示,到2023年底,物聯網與區塊鏈等技術深度融合應用取得產業化突破;根據重點任務顯示,面向“區塊鏈+物聯網”,建立感知終端的信用體系,保障數據確權和價值流通。[2021/9/30 17:16:33]

本文中,筆者將介紹Scroll通過怎樣的機制實現在去中心化的前提下繼承以太坊主網的

安全

性。

Scroll的架構

Scroll架構主要由3部分組成:節點網絡、證明網絡和Rollup合約。

節點網絡

Scroll的節點網絡包含三部分:定序器、協調器和中繼器。

定序器

定序器提供JSON-RPC接口并接受L2交易。每隔幾秒鐘,它就會從L2mempool檢索一批交易,并執行它們以生成新的L2區塊和一個新的狀態根。Scroll的定序器實現是通過fork被廣泛使用的以太坊節點GoEthereum,并以此實現更好的兼容性和承經得起時間考驗的安全性。

開源-聯盟與BITWIN達成深度戰略合作:據官方消息,開源-聯盟宣布與BITWIN達成戰略合作,雙方將在IPFS分布式存儲、Filecoin生態建設等方面展開深度合作,共同推進IPFS分布式文件技術、5G技術、云與邊緣計算技術、Al大數據及區塊鏈技術等創新技術應用落地。

開源-聯盟 f040665 屬于開源礦池節點,開源礦池致力于研發分布式存儲,以為用戶提供分布式存儲解決方案為使命,產品包括分布式存儲服務器、智能應用系統開發、算力云和分布式存儲服務器托管運維等服務,目前擁有成熟的技術研發體系和完整的產業生產供應鏈。[2021/1/7 16:39:20]

協調器

一旦生成新的區塊,協調器就會收到通知,并從定序器接收該區塊的Executiontrace。然后,協調器將Executiontrace分配給一個從去中心化的證明網絡中隨機選擇的證明者生成證明。

中繼器

中繼器用于觀察部署在以太坊和Scroll上的

跨鏈

橋和Rollup合約。它主要有兩個職責,其一是監視Rollup合約,跟蹤L2區塊的狀態,包括其數據可用性和有效性證明。其二是監視部署以太坊和Scroll上的跨鏈橋合約的存款和提取活動,并將消息從一方傳遞到另一方。

聲音 | 人民日報:著力推動區塊鏈等現代科技與社會治理深度融合:2月19日,人民日報刊文《為社會治理提供有力科技支撐(有的放矢)》。文章表示,在新一輪科技革命和產業變革加速演進、新技術新產業新業態層出不窮的當今時代,加強和創新社會治理,必須敏銳把握世情國情變化和科技發展動態,主動識變應變求變,依托建設科技強國、網絡強國、數字中國、智慧社會,做好運用科技支撐社會治理的頂層設計。做好頂層設計,關鍵是在社會治理體制改革中著力推動大數據、人工智能、區塊鏈等現代科技與社會治理深度融合,打造數據驅動、人機協同、跨界融合、共創分享的智能化治理新模式,實現對社會運行的精確感知、對公共資源的高效配置、對異常情形的及時預警、對突發事件的快速處置,提升社會治理的科學化精細化智能化水平。[2020/2/19]

證明網絡

Rollers作為網絡中的證明者,負責為ZKRollup生成有效性證明。Roller可以利用像GPU、FPGA和ASIC等硬件設備來減少驗證時間和驗證成本。

下圖展示了Roller如何為每個區塊生成有效性證明,有以下步驟:

Roller首先將從協調器那里收到的執行Trace,轉換為電路witness。

為每個zkEVM電路生成證明。

聲音 | 哈爾濱市政協委員:應深度開發區塊鏈 為經濟社會發展提供新動能:政協哈爾濱市第十三屆委員會第四次會議上,市政協委員劉仁輝表示,應高度重視、深度開發區塊鏈技術,為哈爾濱市經濟社會發展提供新動能。劉仁輝建議,可基于區塊鏈數據共享機制,在金融創新、政務公開、產權登記、協同治理等領域開展應用。例如,打造基于區塊鏈技術的政務數據共享平臺,由、工商、社保、民政等政府部門充當管理節點,各節點以平權共建為原則,構成龐大的政務聯盟鏈網絡。各部門上傳數據時同步附帶數字簽名,以驗證數據上傳身份真實性,提升數據共享采信。所有數據上傳、查詢和使用都會被記錄,數據的所屬權、使用權清晰界定,便于數據在不同部門間的流通共享。基于區塊鏈的數據治理,可廣泛應用于政府重大工程監管、食品藥品防偽溯源、電子票據、審計、公益服務事業等領域。(東北網)[2020/1/19]

使用證明聚合,將來自多個zkEVM電路的證明合并為一個單一的區塊證明Rollup和跨鏈合約。

值得一提的是,Scroll團隊成員表示Scroll計劃于主網上線前上線證明網絡測試網。證明網絡的去中心化一方面為以太坊合并后無處安放的GPU礦機找到了暫時的用武之地。另一方面,未來主網對證明者的激勵可能可以刺激零知識證明專用芯片的開發,并最終被大量ZK項目廣泛采用,形成繼PowASIC礦機后的又一實體

聲音 | 臨沂市政府:推動大數據與云計算、區塊鏈等技術深度融合:據瑯琊新聞網報道,日前,臨沂市政府印發《關于貫徹落實〈數字山東2019行動方案〉推進數字臨沂建設的實施方案》。方案指出,發揮數據的基礎資源和創新引擎作用,推動大數據與云計算、人工智能、物聯網、區塊鏈、虛擬現實等技術深度融合。[2019/8/15]

產業

鏈。

Rollup和跨鏈橋合約

Scroll通過Rollup和跨鏈橋合約連接到以太坊。這樣確保了L2交易的數據可用性,并允許用戶在L1和L2之間傳遞資產和信息。

Rollup合約

Rollup合約從定序器接收L2狀態根和區塊。它將狀態根存儲在以太坊狀態中,L2區塊數據作為以太坊calldata。這為Scroll區塊提供了數據可用性,并利用以太坊的安全性來確保包括Scroll中繼器在內的索引器能夠重建L2區塊。一旦確定L2區塊有效性的證明被Rollup合約驗證,相應的區塊就被認為在Scroll上已經完成。

跨鏈橋合約

部署在以太坊和Scroll上的跨鏈橋合約允許用戶在L1和L2之間傳遞任意的信息。在這個消息傳遞協議的基礎上,我們還建立了一個無需信任的跨鏈協議,允許用戶在兩個方向上橋接ERC-20資產。從以太坊向Scroll發送消息或資金,用戶需要在跨鏈橋合約上調用sendMessage交易。中繼器將在L1上對該交易進行索引,并將其發送給定序器,將其包含在L2區塊中。從Scroll向以太坊發送消息,在L2跨鏈橋合約的流程和上述過程類似。

Scroll如何實現ZKRollup?

Scroll中的L2區塊被生成后提交給以太坊,并按以下步驟順序最終完成:

定序器的角色是生成區塊。對于第i個區塊來講,定序器生成執行Trace:T,并將其發送給協調器。定序器還將交易數據D作為CallData提交到以太坊的合約中,保證數據可用性以及由此生成的狀態根和對Rollup合約的交易數據的承諾作為狀態。

協調器會隨機選擇一個證明者為每個Blocktrace生成一個有效性證明。為了加快證明生成過程,不同區塊的證明可以由不同的證明者并行生成。

在為第i個塊生成區塊證明P之后,證明者會將其發送回協調器。每隔K個區塊,協調器向另一個證明者分派一個聚合任務,將k個區塊證明聚合為一個聚合證明A。

最后,協調器向Rollup合約中提交聚合證明A,通過對先前提交給Rollup合約的狀態根和交易數據commitment進行驗證,最終可以確定從i+1到i+k的L2Block。

上圖說明了Scroll區塊將在多步驟的過程后在L1上最終完成。每個L2區塊將經過以下三個階段,直到最終確定:

預提交

。預提交示block已由定序器提出并發送給證明者。盡管預提交的區塊還不是ScrollL2鏈的規范部分,但是由于它們尚未發布在以太坊上,因此信任定序器的用戶可以選擇預期對它們采取的行動。

提交

。提交表示該區塊的交易數據已經發布在以太坊的Rollup合約上。這確保了區塊的數據可用性,但不能證明它是以有效的方式執行的。

終結

。終結狀態表示該區塊中的交易已經被正確執行,并且通過了以太坊上的有效性證明驗證。最終完成的區塊被認為是ScrollL2鏈的規范部分。

Scroll與其他ZKRollup方案的區別

總體而言,Scroll與已上線主網的

Polygon

zkEVM、StarkNet以及

zkSync

Era最大的區別在于Scroll更接近原生以太坊實現,對EVM

開發者

來說更加友好。

ScrollvsPolygonzkEVM

二者在實現方面存在一些

技術

差異,。一是Scroll直接fork被廣泛使用的以太坊節點實現Geth生成Layer2的區塊,接近原生以太坊實現。Scroll設計了不同的子電路來證明Geth執行跟蹤中的每個操作碼,并且更容易驗證電路與原生以太坊具有完全相同的行為。而PolygonzkEVM則使用新的匯編語言重寫每個EVM操作碼,然后為其底層狀態機生成證明。

另一個區別是,Scroll對zkEVM電路和聚合電路都使用SNARK。PolygonzkEVM是使用STARK作為他們的zkEVM電路,并使用SNARK作為聚合電路來聚合STARK證明。

ScrollvsStarkNet

與StarkNet相比,Scroll以EVM等效性為目標,希望原生zkEVM解決方案以實現字節碼級兼容性,對以太坊開發者更加友好;而StarkNet是一個對于ZK友好而對開發者不友好的方案。故StarkNet建立開發者和項目生態具有一定的學習成本,也存在不小的挑戰。

ScrollvszkSync

相較于Scroll對EVM字節碼級的兼容性,zkSync是在語言級別兼容EVM的,故對于

智能合約

的開發者而言,需要對部署帶有BlackBlox的編譯器的額外信任,也需要更多的時間來進行安全審計。

Scroll的去中心化夢想

Scroll團隊成員張燁曾發表了一篇名為

《Scroll背后的理念》

的文章。這篇文章詳細描述了Scroll的愿景:除了Scroll項目本身,團隊更加希望為以太坊的zkEVM研究做出貢獻。

文章中提到,相比于「閉門造車」,Scroll從一開始就做出了與社區共同發展的決定,并且也一直在踐行這一點,包括由社區驅動開發zkEVM、開展零知識證明方面的公共教育、維護Python版本的zkEVM規范等。

除了上述方面的社區化運作,Scroll還強調了更多方面的去中心化,包括定序器、證明者等等。總體而言,Scroll更希望成為一個類似于以太坊一樣,雖然有核心開發團隊,但仍然在底層技術和基礎設施層面開放的協議,并最終推動zkEVM生態的蓬勃發展以及主網與zkEVM的兼容,乃至以太坊

Layer1

本身想要達到的最終目標。

Tags:ROLLROLSCRCROTROLLTROLL BNBscrt幣總量MicroBitcoin

Gateio
一文讀懂為大負荷設計的Filecoin索引器可擴展方案_ANT

這篇文章描述了一個簡單的策略,可將大量涌入的索引負荷分散到由索引器節點組成的索引池中。同時,它讓這個索引池具備可擴展性。索引器擴容的最終目標是10^{15}個索引.

1900/1/1 0:00:00
速覽CoinList新項目CyberConnect代幣模型_CYB

4月28日,Web3社交協議CyberConnect宣布推出原生TokenCYBER,并于5月18日于CoinList啟動公開發行.

1900/1/1 0:00:00
青島高新區:區塊鏈高新技術企業補貼三年可拿60萬_區塊鏈

據碳鏈價值報道,青島高新區針對區塊鏈高新技術企業進行補貼,三年可拿60萬,為更好助力區塊鏈企業創新發展,青島高新區相繼出臺配套政策,搭建專業孵化平臺,并通過龍頭企業的帶動作用.

1900/1/1 0:00:00
幣核創始人兼CEO巨建華:下一代交易所肯定是去中心化的_區塊鏈

“下一代的交易所一定是個去中心化的,通過新的完全去中心化模式構建的交易所,可以幫助整個行業重建信任,幫助區塊鏈項目不再擔心虛增導致經濟模型破壞的問題.

1900/1/1 0:00:00
CertiK:研究了40個跑路項目后,這7點值得警示_PUL

退出騙局,我們俗稱的項目跑路。又被形象地稱為“拉地毯”,是Web3.0領域的一種犯罪詐騙手段。RugPull的常見做法是在創建一個看似合法的DeFi項目之后,制造虛假的交易量和用戶數量來提高項目.

1900/1/1 0:00:00
跌的比大盤猛?低迷的NFT市場未來前景如何?_NFT

最近NFT市場的萎靡不振讓人們感到十分焦慮。交易量、活躍地址和交易筆數都大幅下降,而新用戶占比也逐漸下跌。加密KOL比特傻認為,大多數分析師,不過堆砌數據,而沒有真正理解市場.

1900/1/1 0:00:00
ads