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

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

Scroll介紹

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

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

非營利性穩定幣評級機構Bluechip上線:7月14日消息，獨立非營利性穩定幣評級機構Bluechip宣布上線，將從穩定性、管理、技術實施、權力下放、治理和外部因素6個維度對穩定幣進行評級。[2023/7/14 10:54:54]

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

測試網最新進展

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

Astaria：因發現嚴重問題已處于暫停狀態，確認沒有資金丟失:6月21日消息，NFT借貸平臺Astaria在推特上表示，北京時間6月20日12:42，Astaria意識到BeaconProxy.sol的基本執行存在一個問題，允許攻擊者操縱beacon加載惡意執行，從而讓攻擊者調用自毀功能。所有資金和NFT都是安全的，此時無需采取任何行動，Astaria已處于暫停狀態，無法發起新的貸款。暫停狀態是為了保護協議中的所有資產，我們可以確認沒有資金丟失。剛剛Astaria成功執行了白帽恢復腳本，挽救了所有LP和借款人的所有ERC20和ERC721資產。Astaria自5月25日以來一直處于公開測試階段。恢復腳本使用更新的合約實施和恢復代碼，將所有資金和NFT提取到Astaria多重簽名地址。我們正在為后續步驟起草計劃，并將盡快跟進。[2023/6/21 21:50:54]

《辛普森一家》中的Marge在本季播出的一集中佩戴比特幣標志的耳環:金色財經報道，Bitcoin Magazine發文表示，《辛普森一家》中的Marge在本季播出的一集中佩戴比特幣標志的耳環。[2023/3/20 13:14:38]

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

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

Signum Digital宣布其證券代幣發售和認購平臺獲香港證監會原則上批準:3月17日消息，數字資產咨詢公司Coinstreet Holdings和香港金融集團Somerley Capital Holdings（新百利融資）的合資企業Signum Digital宣布，其證券代幣發售和認購平臺已獲得香港證券及期貨事務監察委員會的原則上批準。

Signum Digital計劃為專業投資者提供一個證券代幣平臺，這些代幣在區塊鏈上交易并與各種資產類別相關聯，例如私募股權、房地產、藝術品和收藏品。在獲得香港證監會的最終批準后，Signum將以“CS-Pro”品牌運營該平臺。據Signum稱，該平臺將是香港首個此類平臺。[2023/3/17 13:10:32]

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

Circle為支持以太坊升級至PoS的平穩過渡已進入短暫維護期:9月15日消息，USDC發行商Circle發文稱：“為了監控以太坊合并確保我們為客戶提供服務的連續性，我們將進行短暫的維護期。”此外，Circle平臺狀態信息網站表示，為支持平穩過渡，以太坊USDC鑄造、贖回、發送操作、EUROC鑄造和贖回已暫時暫停。

此前消息，Circle表示將在以太坊合并完成后僅支持以太坊PoS鏈。[2022/9/15 6:57:43]

構建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：ROLROLLSCRCROBenjiRollsThe Troller Coinscrt幣總量CROS幣

TRX