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

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

Scroll介紹

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

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

數據：StarkNet橋接存儲總價值突破2000枚ETH，月增長超100%:金色財經報道，據Dune Analytics最新數據顯示，以太坊Layer2擴容解決方案StarkNet跨鏈橋接存儲總價值已突破2000枚ETH，本文撰寫時為2,006ETH（按照當前ETH價格計算超310萬美元），月增長超100%，參與橋接交易的用戶量達到39,605個。在其他L2跨鏈橋方面，當前Arbitrum跨鏈橋接存儲總價值為1,920,767ETH、Optimism為418,095ETH、zkSync為173,081ETH。[2022/10/27 11:46:35]

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

Kyle Roche離開Roche Freedman后，啟動了自己的加密貨幣集體訴訟業務:金色財經報道，加密貨幣集體訴訟律師Kyle Roche在與他創辦的律師事務所分道揚鑣后，成立了自己的律師事務所。根據Celsius破產案中向法院發出的變更通知書，Roche在離開他的加密貨幣集體訴訟公司Roche Freedman（現在改名為Freedman Normand Friedland LLP）后，現在有了自己的業務。他將繼續代表該破產案的客戶。

此前消息，因涉嫌與AvaLabs合作發起惡性競爭，Roche從他的舊公司離職。（The Block）[2022/10/21 16:33:58]

測試網最新進展

以太坊L2網絡總鎖倉量跌至46.5億美元:金色財經報道，L2BEAT數據顯示，以太坊Layer2上總鎖倉量為46.5億美元。近7日跌1.77%，其中鎖倉量最高的為擴容方案Arbitrum，約23.6億美元，占比50.72%。其次是Optimism，鎖倉量14.1億美元，占比30.32%。dYdX占據第三，鎖倉量3.8億美元，占比8.19%。[2022/10/12 10:32:07]

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

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

距以太坊合并剩余不足1000個區塊，合并進度99.99%:金色財經報道，據OKLink多鏈瀏覽器“The Merge 倒計時”頁面顯示，距以太坊合并還剩不足1000個區塊，合并進度已達99.99%。當前區塊高度為15536369，按當前的區塊難度和實時算力計算，預計合并將在未來4小時內發生。

歐科云鏈官方表示，待以太坊合并完成后 OKLink 將第一時間提供以太坊共識層首個PoS區塊信息，后續還將支持上線 ETHW 瀏覽器，滿足用戶瀏覽相關鏈上數據動態的需求。[2022/9/15 6:57:16]

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

比特幣市值占比自今年1月以來首次跌破40%:9月1日消息，根據CoinMarketCap的數據，比特幣市值占比自2018年以來第二次跌破40%，并處于8個月低點。目前比特幣市值為3857億美元，占全球加密貨幣總市值的39.3%，

此外，以太坊已成為推動比特幣主導地位接近歷史低點的主要力量，在從2019年第四季度低于8%的低點攀升后，目前ETH市值占比為19.4%。[2022/9/1 13:02:00]

對于社區關心的距離主網上線的進度，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：ROLROLLCROSCRTROLLBNBroll幣在哪換HOTCROSS價格Escroco

NEAR