深入了解Polygon zkEVM：整體架構與交易執行流程_NCE

PolygonzkEVM系列文章的第一篇，簡要的闡述了polygonzkEVM的的整體架構和交易執行流程，并且分析了polygonzkEVM是如何實現計算擴容的同時繼承以太坊的安全性的。

同時還會在接下來兩篇文章會詳細介紹PolygonzkEVM的zkEVMBridge和zkEVM的設計細節，以及polygonzkEVM接下來的去中心化sequencer的路線圖。

目錄

Rollup是為了給以太坊實現計算擴容不同Rollup路線之間的區別PolygonzkEVM的具體執行流程&整體架構從模塊化區塊鏈的角度解析PolygonzkEVMPolygonzkEVM如何繼承L1的安全性PolygonzkEVM激勵機制1.Rollup為了給以太坊實現計算擴容

愛交易宣布將業務主體遷至香港:據官方消息，7月25日，香港數碼港Web3 Big Demo Day活動如期舉行，愛交易作為戰略合作方在會上宣布將業務主體遷至香港，開啟全球化征程。

官方表示，自正式上線運營以來，數以萬計的交易員在愛交易平臺上分享了自己的策略，越來越多的用戶借助愛交易成為了更好的交易員。愛交易將業務主體遷至香港，無疑是看重香港在 WEB3 方向上發展的潛力，此舉有利于更好地開展業務。

另外，愛交易還在會上開放 V1.0 測試通道，邀請交易愛好者體驗。據官方消息，愛交易 V1.0 在腳本創作體驗、圖表流暢性、服務穩定性等方面均有提升。[2023/7/25 15:57:23]

首先，我們需要明確rollup的大概工作原理:

數據：0x36aE開頭巨鯨地址于1小時前將25,669枚ILV轉入Binance:7月4日消息，據Lookonchain數據顯示，0x36aE開頭巨鯨地址于1小時前將三天前解鎖的25,669枚ILV轉入Binance，價值約合120萬美元，據鏈上數據記錄顯示，該地址每次接收到解鎖的ILV都會將代幣轉移至交易平臺出售。[2023/7/4 22:17:03]

rollup的出現的是為了給Ethereum實現計算擴容，具體的實現方法是將交易的執行外包給Rollup,然后將交易和交易執行后的狀態(state)存儲在Ethereum的合約內。

由于技術路線的不同演變出了兩種類型的Rollup:

美股三大指數集體收漲，標普500指數漲1.74%:金色財經報道，美股三大指數集體收漲，道指漲1.05%，納指漲2.59%，標普500指數漲1.74%，大型科技股普漲。[2022/12/30 22:15:32]

OptimisticRollup:樂觀的認為發送到Ethereum的Rollup交易(Rolluptransaction)和對應的Rollup狀態(RollupState)都是正確的，任何人都可以通過提供欺詐證明(fraudproof)對還處于挑戰期的RollupState進行挑戰(challenge)Zero-knowledgeRollup:會為發送到Ethereum的Rollup交易(RollupTransaction)和對應的Rollup狀態(Rollupstate)提供一個有效性證明(validityproof)(由以太坊上的合約驗證，來證明Rollup的執行對應交易后的狀態時正確的)(參考以太坊官方定義)https://ethereum.org/en/developers/docs/scaling/#rollupsZero-knowledgeRollup和OptimisticRollup最大的區別就是由于驗證狀態有效性的不同方式導致達成finality的時間不同；

Ternoa完成730萬歐元種子輪融資，Omnes Capital等參投:9月15日消息，基于NFT的去中心化數據傳輸區塊鏈Ternoa開發公司Capsule Corp Labs完成730萬歐元種子輪融資，Omnes Capital、REVAM和Digital Finance Group等參投。[2022/9/15 6:58:59]

OptimisticRollup樂觀的認為提交到Ethereum上的交易和狀態都是正確的，所以存在7天的挑戰期，期間任何人發現在Ethereum上的交易對應狀態不正確都可以通過提交正確的狀態進行挑戰。

Zero-knowledgeRollup(zk-Rollup)達成finality的時間，則取決于：交易對應的有效性證明(validityproof)提交到以太坊并且驗證通過所花費的時間。目前可能在1個小時左右的finality居多。(因為需要考慮到Gas成本問題)

2.PolygonzkEVM執行流程

接下里我們以一個簡單的交易被確認流程來看看PolygonzkEVM是怎么工作的，從而對整體協議有一個具體的理解；

整個過程可以主要分為三個步驟:

Sequencer將多個用戶交易打包成Batch提交到L1的合約上。Prover為每筆交易生成有效性證明(validityproof)，并將多個交易的有效性證明聚合成一個有效性證明。Aggregator提交聚合了多個交易的有效性證明(validityproof)到L1的合約中。

1)Sequencer將用戶交易打包成Batch提交到L1合約上

用戶將交易發送給Sequencer,Sequencer會在本地按照收到交易的快慢順序進行處理(FRFS)，當Sequencer在本地將交易執行成功后，如果用戶相信Sequencer是誠實的，那么他可以認為這個時候的交易已經達成了finality。這里需要注意，目前大多數Sequencer內部的Mempool(交易池)都是私有的，所以暫時可以獲取的MEV是比較少的Sequencer會將多筆交易打包進一個Batch里(目前是一個Batch里只包含一個交易)，然后在收集到多個Batches之后,通過L1上的PolygonZKEvm.sol的sequenceBatch()函數將多個Batch一起送到L1的交易calldata上。

Tags：ROLLROLNCEGONTrollCoinSwaprolSonne FinanceDragonMusk

火幣APP下載