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

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

Scroll介紹

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

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

以太坊客戶端Prysm發布含多項重要修復的v4.0.3版本:4月21日消息，據官方推特，以太坊客戶端Prysm已發布v4.0.3版本，此版本包含多項重要修復，建議所有用戶升級。值得注意的是，此版本包含對外部塊生成器代碼路徑和密鑰管理器中漏洞的修復。[2023/4/21 14:18:18]

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

測試網最新進展

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

Aave 社區發起“推進 V2 在以太坊上遷移至 V3” 的溫度檢查治理討論:4月5日消息，Aave 社區發起關于“推進 V2 在以太坊上遷移至 V3” 的溫度檢查治理討論。討論中提到，遷移的主要目標包括：定義 V3 的資產清單，以及相關的風險參數；在 V3 上進行必要的列表和風險設置以允許流動性遷移；衡量影響并提出新步驟。下一步，基于對此提案的社區討論，社區將按以下方式進行實施：建議以隔離模式在 V3 上線新資產；在 V3 上線穩定幣的提案；建議更新 V3 上當前上線資產的風險參數；更新 V2 的準備金率和利率曲線的提案。[2023/4/5 13:46:05]

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

Checks - VV Edition總成交量超過10K ETH:金色財經報道，根據NFTGo.io數據，Checks - VV Edition 總成交量超過10K ETH，當前地板價為1.63ETH，24小時漲幅75.43%，24小時交易量排列第一。

Checks - VV Edition 由NFT藝術家 jackbutcher 創作，作品形式為一張無限的表達畫布，旨在挑戰互聯網時代的所有權和作者身份概念。[2023/2/3 11:46:00]

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

Optimism（OP）突破2.1美元，24小時漲幅34.51%:8月4日消息，行情顯示，Optimism（OP）突破2.1美元，現報價2.102美元，24小時漲幅34.51%。[2022/8/4 2:57:57]

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

Coinbase轉出5000個比特幣到一個未知的錢包:金色財經報道，Bitcoin Magazine發推稱，5000個比特幣（價值1.01億美元）剛剛從Coinbase轉到一個未知的錢包里。[2022/6/21 4:41:33]

構建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：ROLLROLSCRCROroll幣出獠牙肩幾率roll幣可以roll坐騎嗎DMScriptCROWD

芝麻開門交易所下載