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

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

Scroll介紹

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

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

AltTab Capital高管：新加坡新出臺的加密新規必須對什么是信托進行定義:金色財經報道，針對新加坡要求加密平臺將客戶資金存放在信托中，AltTab Capital投資者關系主管?Michael Silberberg評論道，雖然將客戶與企業資產分開的意圖是正確的，但必須對什么是信托、什么不是信托有一個經過深思熟慮的定義。在上一個周期中，我們看到托管機構和交易所都解散了。法規中將對合格托管人進行認證流程，并定義加密密鑰管理和運營結構。我們看到了全球范圍內受監管托管人的趨勢，其中許多是在住所擁有機構分類賬和類似Metamas的小公司，其中監管僅意味著作為公司備案。更多的交易對手并不一定意味著更多的安全性。[2023/7/5 22:18:25]

美SEC主席：6月13日是提交修改“交易所”定義評論的最后一天:金色財經報道，美國證券交易委員會主席Gary Gensler在社交媒體發文提醒，當地時間6月13日是對該機構修改兩項議題評論的最后截止日，用戶可以就“擴展和更新監管系統合規性和完整性”、以及“修改交易法規則3b-16下交易所定義”兩個議題提交評論。[2023/6/14 21:34:58]

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

測試網最新進展

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

NBA Top Shot發布2023季后賽專屬數字藏品“Redemptions”:金色財經報道，NBA Top Shot在社交媒體宣布推出2023季后賽專屬數字藏品“Redemptions”，用戶將有機會持有、兌換球員在第一輪、半決賽、分區決賽和NBA總決賽中的Moment NFT，球隊走的越遠，持有的“Redemptions” NFT就越稀缺，據悉該藏品系列預計將在美東時間4月17日發布。[2023/4/12 13:58:18]

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

RippleCEO：與美SEC的法律糾紛或將在2023年達成裁決，可能就在上半年:1月19日消息，Ripple首席執行官Brad Garling house表示，他希望在2023年上半年與美國證券交易委員會（SEC）的法律糾紛中達成解決方案。他樂觀地認為，Ripple與美SEC的法律糾紛將在2023年達成裁決，可能就在今年上半年。（CNBC）[2023/1/19 11:20:12]

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

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

當前加密貨幣24小時交易量增長至263.58億美元:金色財經報道，據CoinGecko數據顯示，當前加密貨幣市值約為8417.16億美元，24小時交易量約為263.58億美元，當前比特幣市值占比為38.3%，以太坊市值占比為17.5%。[2023/1/2 22:20:54]

構建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：ROLLROLCROSCRAITROLLSTROLLERESCROWSCRAPPY

火幣APP