來源:Scrollh中文社區
近日,Scroll的聯合創始人張燁受邀參加了斯坦佛的區塊鏈研討會,分享了Scroll的架構設計和挑戰。在演講的前半部分,介紹了Scroll的整體架構,并重點介紹其一些特殊的設計選擇。
在后半部分,描述如何了從頭開始構建zkEVM,并使用具體示例來演示該過程。最后,簡要討論了Scroll在密碼學和協議設計領域面臨的各種研究挑戰。
背景和初衷
Scroll是以太坊的Layer2擴容解決方案。為了最大限度地兼容以太坊,Scroll正在構建一個字節碼層面兼容的“zkEVM”,它可以證明EVM計算的有效性。Scroll設計的初衷就是為了開發者友好和最大化的可組合性。而構建zkEVM的挑戰在于構建難度和生成零知識證明的成本極高。幸好近些年的一些技術突破使其慢慢變得可行,例如多項式承諾可以證明任意階數,查找表可以實現存儲讀取約束,硬件加速可以加速證明生成,遞歸證明可以將證明進一步壓縮,降低費用成本。
Aave V3 MVP版本部署至Scroll主網”的提案已通過溫度檢查投票:6月19日消息,Snapshot投票頁面顯示,AAVE社區以99.97%的支持率通過了“在Scroll主網部署Aave V3最小可行產品(MVP)版本”提案的溫度檢查投票。根據該提案,Scroll主網將于今年8月初上線,并計劃將Aave V3作為其主網上首批DeFi DApp之一。最初部署的版本將支持WETH、USDC和wstETH三種抵押資產和USDC一種可借入資產。
該提案將進入ARFC階段進行進一步討論、風險參數評估網絡分析以及最終定稿提案。如果ARFC階段投票成功,則將提案作為AIP提交以進行投票和鏈上治理批準。[2023/6/19 21:46:57]
具體細節亦可參考Scroll博客系列#1:以太坊原生zkEVMRollup介紹
Unbanked完成新一輪融資,KingsCrowd Capital參投:金色財經報道,區塊鏈金融科技解決方案Unbanked宣布完成新一輪融資,具體金額暫未披露,數據驅動型風險投資基金KingsCrowd Capital參投。
據悉,Unbanked主要為加密貨幣借記卡提供金融科技基礎設施、白標加密銀行卡發行和程序管理服務,其客戶包括Litecoin Foundation、StormX、Nexo和Stacks。
此前報道,今年二月,Unbanked宣布與支付巨頭萬事達卡公司達成合作。[2023/2/22 12:21:25]
Scroll架構
Scroll節點是應用和用戶與Scroll交互的主要途徑。它由三個模塊組成,排序器(Sequencer)、協調器(Coordinator)和中繼器(Relayer)。
SCRT Labs宣布推出NFT平臺Legendao:金色財經報道,據官方消息,SCRT Labs宣布推出play-to-mint NFT平臺Legendao,旨在為用戶提供游戲化體驗,并使他們能夠獲得獨特的Secret NFT。頂級藝術家、品牌和創作者將能夠通過該平臺推出自己的NFT項目。 用戶可以創建自己的頭像、獲得經驗并購買“戰利品箱”,其中包含來自創作者的新 NFT 和數字物品以及$LGND代幣,它將作為Legendao宇宙中所有活動和購買的貨幣。
SCRT Labs 創始人兼首席執行官 Guy Zyskind表示,“SCRT Labs 很高興為NFT鑄造體驗帶來游戲化,” “有了 Legendao,任何人和每個人 —— 從整個 Cosmos生態系統到頂級藝術家、品牌,甚至是第一次NFT創作者 —— 都可以進入這個領域并使用Secret NFT技術構建一些特別的東西。”[2022/2/23 10:09:27]
排序器提供JSON-RPC接口并接收L2交易。每隔幾秒鐘,它就會從L2的內存池中取回一批交易并執行它們,以生成新的L2塊和新的狀態根。Scroll的排序器實現基于Go-Ethereum(Geth),是最主流的以太坊節點實現之一。通過分叉Geth,我們可以實現最佳的兼容性并繼承已經經過時間考驗的安全性。
傳統資產管理平臺TradingScreen整合比特幣等加密資產:6月24日消息,傳統資產管理平臺TradingScreen宣布整合比特幣及其他加密資產。TradingScreen表示其用戶已開始嘗試加密技術,并希望訪問加密交易所。(TrustNodes)[2020/6/24]
一旦生成了一個新的塊,協調器就會收到通知,并從排序器接收這個塊的執行蹤跡。然后它將執行蹤跡分派給從Roller池中隨機選擇的Roller以生成證明。
中繼器監視同時部署在以太坊和Scroll上的Rollup和Bridge合約。它有兩個主要職責。首先,它監控Rollup合約以跟蹤L2塊的狀態,包括它們的數據可用性和有效性證明。其次,它監視同時部署在以太坊和Scroll上的Bridge合約的存款和取款事件,并將消息從一層中繼到另一層。
聲音 | 新加坡SCRY無域基金會:謹慎二級市場復刻DDD現象:12月11日,新加坡SCRY無域基金會對二級市場混亂,存在復刻DDD現象,發出嚴正聲明:Scry新加坡官方認可的二級市場交易所為Gate.io。請各位悉知,謹慎。[2019/12/11]
每個L2區塊將經過如下三個階段,直到最終確認。
Pre-committed表示一個區塊已經被一個排序器提議并發送給Rollers。雖然Precommitted區塊還不是ScrollL2上的正式部分,因為它們還沒有發布在以太坊基礎層上,不過信任排序器的用戶可以按預期進行下一步操作。目前預估Pre-commited階段只需1-2秒。
Committed表示該區塊的交易數據已經發布在以太坊的Rollup合約上。這確保了區塊數據可用,但不能證明它是正確執行的。目前預估Committed階段需要數分鐘。
Finalized表示通過驗證以太坊鏈上的有效性證明,已經驗證此區塊中的交易正確性。經過最終確認的區塊被認為是ScrollL2鏈上的正式部分。目前預估Finalized階段需要10分鐘以上
Pre-Alpha測試網階段由于證明者的算力不足,因此整體流程的時間要大于所預估的時間。
具體細節亦可參考Scroll博客系列#6:Scroll的架構概覽
zkEVM的本質
zkEVM的本質是對EVM虛擬機計算生成的執行蹤跡生成證明。Scroll的zkEVM中設計中,第一層包括直接證明EVM的邏輯,包括EVM電路,RAM電路,Storage電路及其他電路,例如驗證ECDSA簽名的Signature電路;第二層進行證明第一層證明的聚合證明。出于動態的執行蹤跡的考慮,證明系統的前端部分Scroll采用了目前最新的Plonkish協議,對比標準的Plonk用Permutation關聯前后的約束,Plonkish使用了更低階的Customgate,可以靈活得設定每一步的約束。在硬件加速方面,Scroll擁有獨有的PipeZK加速方案。對于第一層的EVM電路,加速后的GPU可以提升9倍速度,在30秒內完成證明。對于第二層的聚合電路,加速后的GPU可以提升15倍速度,在約2分半內完成證明。由于Pre-Alpha測試網目前只有10個左右的證明者,實際速度可能會略慢于實驗數據。具體細節亦可參考ScrollDevcon6系列#1:zk-Rollups的證明系統選擇
有趣的研究方向
當前,Scroll的研究團隊在協議層和密碼學方向也在進行著有趣的研究探索。
研究的第一個方向,是證明者和排序器的去中心化。Scroll所提出的第一個方案是排序器和證明者的任務交給一個節點,同時處理交易和生成證明,代價是可能會加重節點負擔,產生一定程度的中心化。第二個方案,排序器節點按共識出塊,證明者節點可以自由提交證明,代價是系統將依賴最快的驗證人,其他算力不足的證明者將沒有激勵進一步提交證明,退出系統,證明系統將被最快的驗證者所綁架。針對第二個方案,Scroll所提出的解決方案是設置時間窗口,在規定時間內提交證明的即可獲得證明獎勵。
研究的第二個方向,是L3存在的意義。L3最早由StarkNet所提出,但存在爭議的點在于,如果數據可用性放在L1上,并不能節省太多的成本,如果數據可用性不放在L1上,大可以在L2實現類似的功能。L3更可能適用于應用的自定義需求,例如獨有的排序器,自定義的執行環境,或是更低價的存取款費用,亦或是L3之間所需的可組合性。關于L3的更多探討,可參考Vitalik:什么樣的Layer3是有意義的?
研究的第三個方向,是L2層之間的流動性分配。例如Uniswap可能需要在不同的L2層上都分別部署流動性池。如何將不同的L2層之間的流動性池打通,對于用戶體驗上來說將會是極大的提升。
研究的第四個方向,是zkEVM的資源定價問題。計算的成本主要由驗證和證明交易組成,存儲的成本主要是歷史交易和calldata的數據存儲。最理想的狀態是維持現在以太坊主網的資源定價方案,但是由于Keccak等zk不友好的運算所帶來的成本增加,仍然需要對zkEVM的資源定價方案做相應的調整。
其他的研究方向包括,零知識證明中電路的隨機性,算數化。Scroll的證明系統分為兩層,因此證明者的硬件加速算法也圍繞兩層設計展開。Scroll目前在第一層和第二層證明系統都選擇了Halo2協議,但也在積極探索不同證明系統間的可組合性。
當然目前zk系統仍在開發中,也未經過審計和實踐檢驗,因此在可預見的長期時間內,無法保證這些代碼無懈可擊,代碼層面仍需要大量的審計工作。具體可參考ScrollRollupDay#1:Vitalik介紹用多重證明強化Rollup安全性
原文作者:加密KOL?SmallCapScientist原文編譯:0x214,BlockBeats在過去的24小時里,我一直在對?wBTC?進行研究。我建議暫時避開任何「wrapped資產」.
1900/1/1 0:00:00作者:谷昱,西昻翔 剛剛過去的11月是今年加密市場最為動蕩的時期。受FTX事件影響,諸多主流風投機構都遭遇巨大損失,這給本已震蕩下行的加密行業蒙上了陰影.
1900/1/1 0:00:00DYDX關于“關閉現有安全質押模塊(SSM)”提案DIP17已獲得通過,此前dYdX安全質押模塊允許用戶質押DYDX,在協議出現流動性短缺事件的情況下提供保險能力,該模塊將被關閉.
1900/1/1 0:00:00流支付協議ZebecProtocol已經遷移至BNBChain上,并得到了PancakeSwap官方的支持.
1900/1/1 0:00:00鏈接 Web3被譽為互聯網的未來,在2021年開始獲得世界關注。區塊鏈、加密貨幣、去中心化金融、NFT、DAO等等一切幾乎被Web3所涵蓋,這也導致Web3成為人們對于未來生活的暢想.
1900/1/1 0:00:00美股上市金融科技公司MercurityFintechHolding宣布已與HuangtongInternational簽署資產購買協議,以598萬美元價格收購后者Web3去中心化存儲基礎設施.
1900/1/1 0:00:00