Scroll 聯創 Haichen Shen：構建 zkEVM 和 zk Rollup 的挑戰_ROL:CRO

在ETHDenver的Devtopia舞臺上，Scroll的聯合創始人HaichenShen發表了主題為Scroll構建zkEVM和zkRollup的挑戰的演講，并同步了最新Alpha測試網的情況。

Scroll介紹

Scroll是一個EVM等效的zk-Rollup以太坊擴容方案

在演講最開始，Haichen強調了Scroll一直以來的原則，一是以社區驅動的方式同社區開放構建，二是確保安全性和穩定的版本發布，三是強調證明者和排序器去中心化的重要性

Aave社區開啟為GHO引入PSM模塊的溫度檢查投票:7月21日消息，Snapshot投票頁面顯示，Aave社區開啟GHO穩定性模塊提案的溫度檢查投票，以決定是否引入GHO PSM（錨定穩定性模塊）。該模塊是一種合約，可以無縫地以預定比率轉換兩種代幣，這種機制已被許多穩定幣項目證明為有效，如MakerDAO在保持穩定匯率方面。GHO穩定性模塊的設計受到現有模型的影響，用戶可以在GHO和治理接受的穩定幣之間以預定比率進行轉換。然而，GHO穩定性模塊的設計也具有獨特的特性，如價格策略、債務上限、資本分配器、應急清算等。

如果此次投票獲得社區的批準，將會進行GHO穩定性模塊代碼庫的審計，并與社區分享代碼庫，然后治理將能夠在治理過程的下一階段決定GHO穩定性模塊的許多特性的配置。投票截止日期為7月23日，目前投票贊成率達100%。[2023/7/21 11:08:33]

孫宇晨：Tron和BitTorrent正探索整合ZKEVM:4月5日消息，孫宇晨在推特上表示，波場Tron和BitTorrent正在探索將ZK以太坊虛擬機(ZKEVM)整合到其生態系統中的方法。

但這一整合并非明確的計劃，孫宇晨表示，“需要注意的是，任何整合計劃仍處于探索階段，無法保證未來一定會實施。”[2023/4/5 13:46:06]

以下是zkEVM開發的社區貢獻者，其中大多數來自于Scroll團隊和PSE團隊，還有一些其他的社區成員。

測試網最新進展

2月27日，Scroll在Goerli上線了Alpha測試網。Alpha測試網目前已經是EVM等效的，證明已經可以在Goerli測試網上得到驗證。

元宇宙游戲Worldwide Webb宣布完成1000萬美元A輪融資:金色財經報道，由藝術家和游戲設計師 Thomas Webb 創立的元宇宙游戲 Worldwide Webb 今天公布了 1000 萬美元的 A 輪融資，由風險投資公司 Pantera Capital 領投。這是該游戲自 2020 年首次亮相以來的第一輪外部融資。Worldwide Webb 是一種完全在線的、基于瀏覽器的體驗，讓玩家可以插入以太坊錢包并使用來自數百個流行收藏的 NFT 頭像，包括 Bored Ape Yacht Club、CryptoPunks、Doodles、Cool貓、Deadfellaz等等。[2023/2/23 12:25:49]

“大空頭”Michael Burry：我們將看到另一個通貨膨脹高峰:金色財經報道，對沖基金經理、電影《大空頭》原型Michael Burry發布推文表示，美國通貨膨脹達到頂峰，但這不是這個周期的最后一個高峰。他在推文中警告道，我們很可能會看到CPI走低，2023年下半年可能為負值，而且無論從哪個定義來看，美國都將陷入衰退。美聯儲將降息，政府將刺激。我們將有另一個通貨膨脹高峰，這并不難。

美聯儲將于2023年 1 月 4 日發布其聯邦公開市場委員會 (FOMC) 會議紀要，為未來的政策提供指導。[2023/1/3 22:21:13]

而Alpha測試網的發布，意味著Scroll已經達到了路線圖的第三階段。

韓國湯姆士咖啡將在NFT市場中整合Chainlink喂價功能:11月28日，據官方消息，韓國咖啡品牌湯姆士咖啡將在旗下Polygon鏈上NFT市場HEYST中整合Chainlink喂價功能，最初將提供ETH/USD、KRW/USD、KLAY/USD、SOL/USD交易對信息。[2022/11/28 21:08:05]

下一步就是第四階段：zkEVM的主網上線。

對于社區關心的距離主網上線的進度，Haichen公布了目前仍需要完成的任務，首先是要構建完整的zkEVM電路，目前還缺少一些不常見的錯誤約束，也還需要添加一些預編譯合約。隨后會進行zkEVM電路和跨鏈橋合約的審計，然后進行最后的優化。

構建zkEVM和zkRollup的挑戰

演講的后半部分，Haichen分享了Scroll在構建zkEVM和zkRollup過程中遇到的挑戰。主要從三個方面來說，第一是編寫zk電路，第二是編寫zkEVM，第三是構建zk-Rollup。

編寫zk電路

在編寫zk電路中，主要有兩個難點。其一是開發的邏輯，正常程序中根據輸入x，y，函數foo得到輸出z，而在zk電路中，則是根據輸入x，y，foo(x,y)，輸出是否有效的判斷，因此在zk電路中需要考慮到有效和無效的所有情況，確保電路的約束成立。

其二是有限域的操作，有限域是包含有限個元素的域，這些元素通常是素數。在所用的BN-254曲線中為254位的值，因此要表示EVM的256位，則需要拆解成兩部分處理。

編寫zkEVM在編寫zkEVM中，Haichen拆解了zk和EVM兩個部分。EVM中有三個組成部分，Executor,Stack,Memory。

zk部分則需要對EVM的執行過程中進行一一的約束。EVM電路將約束Executor正確執行；RAM電路將約束Stack，Memory的讀寫正確；Bytecode電路將約束EVM讀取的bytecode的正確性；MPT電路將約束存儲的讀寫正確；TX電路將約束交易的有效性；ECDSA電路將約束交易中簽名的正確性；Keccak電路則將約束Keccak哈希函數的正確計算；還有其他的一些約束等等。所有這些約束組合在一起，就組成了zkEVM。

構建zk-Rollup

在構建zk-Rollup方面，去中心化證明者網絡需要對證明者進行激勵。

當后續去中心化排序器后，情況會變得更復雜，需要協調證明者網絡和排序器網絡，目前Scroll正在進行開放研究，歡迎有想法的開發者加入研究探討。

對于想要體驗ScrollAlpha測試網，需要尋求幫助的用戶，以及想要加入Scroll的小伙伴，可以分別掃描下方的Testnet,Discord,Hiring二維碼。

Testnet:https://scroll.io/alpha

Discord:https://discord.com/invite/scroll

Hiring:https://scroll.io/join-us

Tags：ROLROLLSCRCROThe Troller CoinRoller InuWSCRTMicrozillas

Gate交易所