原文作者: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秒。
上海:加快工業元宇宙創新應用,加快區塊鏈等技術在制造業領域的深度拓展:10月9日消息,上海市城市數字化轉型工作領導小組辦公室8日向上海各有關部門、各區政府印發《上海市制造業數字化轉型實施方案》及任務分解表。上海將加快工業元宇宙創新應用,加快5G、AI、AR/VR/MR、區塊鏈、數字孿生等數字技術在制造業領域的深度拓展和融合應用。(中證網)[2022/10/9 12:50:39]
本文中,筆者將介紹Scroll通過怎樣的機制實現在去中心化的前提下繼承以太坊主網的
安全
性。
Scroll的架構
Scroll架構主要由3部分組成:節點網絡、證明網絡和Rollup合約。
節點網絡
Scroll的節點網絡包含三部分:定序器、協調器和中繼器。
定序器
定序器提供JSON-RPC接口并接受L2交易。每隔幾秒鐘,它就會從L2mempool檢索一批交易,并執行它們以生成新的L2區塊和一個新的狀態根。Scroll的定序器實現是通過fork被廣泛使用的以太坊節點GoEthereum,并以此實現更好的兼容性和承經得起時間考驗的安全性。
Armors與Polygon達成深度合作:據官方消息,安全機構Armors與Polygon達成深度安全合作。作為Polygon的重點推薦審計機構,Armors為鏈上的Defi項目提供安全審計服務及全方位安全服務,為共建良好的生態安全發展保駕護航。
Polygon是首個結構化、便于使用的以太坊擴容及基礎設施開發平臺,用于構建連接與以太坊兼容的區塊鏈網絡,支持多鏈以太坊生態系統聚合可擴展的解決方案。
Armors摩斯安全機構成立于2017年,為行業最早的專業區塊鏈安全機構之一。截止目前,Armors已為超過2000家區塊鏈平臺、交易所、錢包、DApp等機構和項目提供安全審計、滲透測試、跨鏈遷移、平臺安全等各方面保障及服務。[2021/8/31 22:49:30]
協調器
一旦生成新的區塊,協調器就會收到通知,并從定序器接收該區塊的Executiontrace。然后,協調器將Executiontrace分配給一個從去中心化的證明網絡中隨機選擇的證明者生成證明。
中繼器
中繼器用于觀察部署在以太坊和Scroll上的
跨鏈
橋和Rollup合約。它主要有兩個職責,其一是監視Rollup合約,跟蹤L2區塊的狀態,包括其數據可用性和有效性證明。其二是監視部署以太坊和Scroll上的跨鏈橋合約的存款和提取活動,并將消息從一方傳遞到另一方。
鏈上ChainUP WaaS聯盟與Vtrading達成深度戰略合作:據官方消息,鏈上ChainUP WaaS聯盟與Vtrading宣布達成深度戰略合作,雙方就區塊鏈技術應用落地、區塊鏈金融服務、資金安全等方面深度合作。
Vtrading作為數字資產AI量化服務平臺,始于2017年12月,針對不同用戶需求提供差異化量化策略服務,提供可視化圖元平臺編輯策略、Hbass系統快速調試回測、PC端策略一鍵發布到APP端策略商城、智能量化托管執行、智能跟單系統、獨立返傭系統、私有定制部署、第三方嵌入式系統等服務,用戶只需要通過API授權就能實現AI自動交易。經300+天實盤驗證,Vtrading量化策略年化收益達50%+。
WaaS聯盟是鏈上ChainUP集團依托3年時間所服務的300多家交易所經驗,將底層資產托管和錢包封裝而成的一套完整的服務,包含資產托管、節點服務、主鏈幣種開發、熱門幣種一鍵接入、共管錢包、借貸理財等多種功能服務,通過開放錢包API與SDK,幫助交易所、項目方、媒體等快速高效接入,實現云端資產安全托管,聯盟內部轉賬0手續費即時到賬。目前,已有超過500家企業加入ChainUP WaaS聯盟。[2020/12/1 22:43:05]
證明網絡
Rollers作為網絡中的證明者,負責為ZKRollup生成有效性證明。Roller可以利用像GPU、FPGA和ASIC等硬件設備來減少驗證時間和驗證成本。
聲音 | 嘉峪關市委常委:著力推動區塊鏈和實體經濟深度融合:2019年12月26日,嘉峪關市舉行區塊鏈技術和應用專題輔導講座。市委常委、常務副市長王毅表示,全市各相關部門要深刻認識推動區塊鏈技術發展和應用的重大意義,進一步加深對區塊鏈相關知識的學習研究,著力推動區塊鏈和實體經濟深度融合,切實解決中小企業貸款融資難、銀行風控難、部門監管難等問題。要利用區塊鏈技術探索數字經濟模式創新,為打造便捷高效、公平競爭、穩定透明的營商環境提供動力。要探索“區塊鏈+”在教育、就業、養老、醫療健康、食品安全、社會救助等民生領域的運用,推動區塊鏈底層技術服務和新型智慧城市建設相結合,提升城市管理的智能化、精準化水平。要探索利用區塊鏈數據共享模式,促進業務協同辦理,深化“最多跑一次”改革,為人民群眾帶來更好的政務服務體驗。[2020/1/1]
下圖展示了Roller如何為每個區塊生成有效性證明,有以下步驟:
Roller首先將從協調器那里收到的執行Trace,轉換為電路witness。
為每個zkEVM電路生成證明。
使用證明聚合,將來自多個zkEVM電路的證明合并為一個單一的區塊證明Rollup和跨鏈合約。
值得一提的是,Scroll團隊成員表示Scroll計劃于主網上線前上線證明網絡測試網。證明網絡的去中心化一方面為以太坊合并后無處安放的GPU礦機找到了暫時的用武之地。另一方面,未來主網對證明者的激勵可能可以刺激零知識證明專用芯片的開發,并最終被大量ZK項目廣泛采用,形成繼PowASIC礦機后的又一實體
歡樂撒幣與TokenBook達成深度戰略合作,將共同推進區塊鏈基礎知識普及:今天上午,區塊鏈知識普及小程序“歡樂撒幣”與TokenBook項目方達成深度戰略合作。“歡樂撒幣”自上線半個月以來,頗受行業參與者歡迎,已經累計了近五萬用戶;TokenBook將在”歡樂撒幣“小程序里持續5天送出共計10萬枚TBCoin給答題通關用戶。雙方希望通過此次合作,向更多行業外用戶普及區塊鏈知識,傳遞區塊鏈精神。[2018/4/14]
產業
鏈。
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
本身想要達到的最終目標。
錢包是Web3用戶最基礎的設施,但無論大家多么謹慎,還是會被一些詐騙網站掌握錢包的私密數據,加密研究員RektFencer采訪了一個詐騙加密資產的人員,并梳理了該他的作案方式.
1900/1/1 0:00:00“上海升級”前瞻 根據以太坊基金會協議支持團隊的博客文章,客戶團隊同意在Goerli測試網進行平穩過渡之后,激活主網上的Shapella升級.
1900/1/1 0:00:004月21日,Binance官宣了即將上線的第31個Launchpad項目OpenCampus,EDU也成為了全球第一個教育行業的通證代幣,致力于帶數億級的教育市場的資源和用戶帶入Web3的市場.
1900/1/1 0:00:009月16日,上海。國際區塊鏈周期間最為引人矚目的活動之一:「STAKING金秋論道:開啟挖礦新時代」在上海世茂濱江酒店外灘宴會廳隆重舉行,并圓滿落下帷幕.
1900/1/1 0:00:00“未來,區塊鏈帶來真正實現超級大的改變和跳躍的,一定是重新構造當前這個世界,從金融到價值,再到協作和交流等方方面面.
1900/1/1 0:00:00作者/胡韜 01 亂象叢生 合約交易,向來是交易所乃至大多數加密貨幣玩家都最為覬覦的市場。一方面,合約產品是一個金融市場走向成熟的標志,在行業具有重大的影響力;另一方面,合約交易的手續費大幅高出.
1900/1/1 0:00:00