比特幣交易所 比特幣交易所
Ctrl+D 比特幣交易所
ads
首頁 > 非小號 > Info

簡述 Scroll zkEVM 方案:如何實現去中心化的愿景?_CRO

Author:

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

今年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秒。

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

Beefy發布提案建議將BIFI代幣脫離Multichain并重新部署至以太坊,目前已獲99.67%支持:7月14日消息,多鏈收益優化器Beefy社區近日發布一項非正式的ARFC提案,旨在評估是否迅速將BIFI代幣從Multichain遷出。提案中,核心團隊建議將BIFI重新部署在以太坊上,并設立一個全球統一的治理池,同時通過DAO管理的新橋接解決方案來實現對質押的mooBIFI代幣的橋接。

此舉是由于Beefy的橋接提供商Multichain在過去兩個月中遭遇了一系列影響其協議支持的所有資產的嚴重故障。在最近的一次事件中,約18,690枚BIFI代幣在未經Beefy預先知情或同意的情況下,從 Multichain 的路由器轉移到了另一個由 Multichain 控制的錢包,導致橋接的BIFI代幣(即不在BNB鏈上的代幣)缺少支持。

目前的投票結果顯示,支持遷移的投票占比99.67%,反對遷移的投票占比0.15%,棄權的投票占比0.17%。[2023/7/14 10:55:42]

Scroll的架構

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

Ripple推出面向企業的加密貨幣流動性平臺Ripple Liquidity Hub:4月14日消息,據官方博客,Ripple宣布正式推出面向企業的加密貨幣流動性平臺“Ripple Liquidity Hub”,旨在為企業提供簡易、無縫的方式來管理其加密貨幣流動性需求。根據該博客,Ripple Liquidity Hub平臺24/7/365全天候可用,利用智能訂單路由在多個流動性場所(包括做市商、交易所和場外交易柜臺)以優化的價格采購各種數字資產。最初支持美元、BTC、ETH、ETC、BCH和LTC,但未提及XRP。而其在2021年宣布該計劃時,曾宣布支持XRP。[2023/4/14 14:04:21]

節點網絡

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

定序器?

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

Sardine宣布推出一款加密新產品Insights:金色財經報道,即時支付解決方案的領先供應商Sardine宣布推出一款新產品,該產品可根據實體與加密貨幣、數字資產以及傳統銀行產品和服務的交易歷史,提供實時、全面的風險視圖。

該服務名為Insights,旨在彌合金融機構、金融科技公司和加密公司之間的數據差距,以加強風險管理并增加對金融服務所有領域的訪問。[2022/10/21 16:33:12]

協調器

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

中繼器

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

證明網絡

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

阿聯酋要求代理人報告使用虛擬貨幣支付的房地產交易:金色財經報道,阿拉伯聯合酋長國 (UAE) 政府表示,它正在為使用虛擬貨幣作為支付方式的房地產交易引入新的報告要求。

根據WAM 發布的一份報告,改變報告要求的決定是在阿聯酋經濟部、司法部和金融情報局 (FIU) 舉行的幾次會議和討論之后做出的。討論的重點是房地產經紀人、經紀人和律師事務所應如何向金融情報機構提交房地產購買或銷售報告。

作為新的報告要求的一部分,房地產經紀人必須向金融情報局報告“單筆或多筆現金支付等于或高于 55,000 AED (約合14,974 美元)的所有現金交易。就數字貨幣而言,當支付包括使用虛擬資產時,代理人和經紀人必須向金融情報機構報告。(news.bitcoin)[2022/8/13 12:22:35]

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

Roller首先將從協調器那里收到的執行Trace,轉換為電路witness。為每個zkEVM電路生成證明。使用證明聚合,將來自多個zkEVM電路的證明合并為一個單一的區塊證明Rollup和跨鏈合約。

??.eth以100 ETH價格成交,創該系列美元交易額歷史第6高記錄:金色財經報道,最新交易數據顯示,??.eth以100 ETH的價格成交,約合160,950.00

美元,創下以太坊域名服務美元交易額歷史第6高記錄(按 ETH計價并列歷史第5高交易記錄)。本文撰寫時,ENS交易總額達到1.0204美元,市值約為6821萬美元。[2022/7/25 2:35:29]

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

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與已上線主網的PolygonzkEVM、StarkNet以及zkSyncEra最大的區別在于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:ROLROLLSCRCROTrollCoinAITROLLSXSCRHot Cross

非小號
長推:從數據分析角度,了解哪些項目可沖進市值前十?_加密貨幣

什么樣項目,融什么類型的資金?能沖進全球加密市值前十呢?目前來看,加密市值前十基本上都不是明星資本加持的明星項目。Crypto投資現狀:雖然存活率只有9%,但也有96萬倍的財富密碼.

1900/1/1 0:00:00
Vela Exchange :衍生品賽道的一匹黑馬_HAN

注:本文主要介紹去中心化衍生品交易所VelaExchange,不作任何投資建議。整個加密市場的衍生品交易量長期高于現貨交易量,但在去中心化交易所中,衍生品市場規模還遠遠小于現貨市場,過去180天.

1900/1/1 0:00:00
必擼的潛力大毛錢包項目:Matemask完整教程指南!_ASK

注:本文來自@defi_mindset推特,MarsBit整理如下:@MetaMask小狐貍錢包是ConsenSys公司旗下的加密錢包產品,目前應該是web3應用里用戶覆蓋最廣,最知名的產品.

1900/1/1 0:00:00
夾子被夾子夾了,解析MEV機器人如何淪為黑客提款機_MEV

今天下午,加密用戶?3155.eth?發文稱,一些頂級?MEV?機器人正成為黑客的攻擊目標,其「三明治攻擊」中的交易模塊被替換,目前已造成超過2000萬美元的損失.

1900/1/1 0:00:00
香港財政司司長陳茂波:發展Web3需守正創新和穩慎前行兩者并重_NFT

這幾天正值復活節假期的長周末,大家也許都安排了不同活動與親友相聚,或在忙碌的生活中稍稍放松「充電」.

1900/1/1 0:00:00
從減半周期分析:為什么現在是買入比特幣的最佳時刻_SEM

沒有人抄底,因為下跌感覺就像一場災難。一年來,滾雪球般的恐懼壓倒了加密人士。可以看到紅色趨勢持續了12個月,動物的本能驅使加密人士開始相信,下跌會永遠持續下去.

1900/1/1 0:00:00
ads