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

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

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

目錄

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

觀點：加密貨幣已經準備好反彈:金色財經報道，比特幣基金管理公司Pantera Capital創始人Dan Morehead表示，比特幣、以太坊、XRP和更廣泛的加密貨幣已經準備好反彈。[2023/7/19 11:04:26]

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

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

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

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的時間不同；

GFMA：呼吁監管機構支持分布式賬本技術來幫助抵押品管理、資產代幣化和主權債券市場:金色財經報道，在TradFi發布的一份報告中，全球金融市場協會（GFMA）呼吁監管機構支持分布式賬本技術來幫助抵押品管理、資產代幣化和主權債券市場。

GFMA首席執行官Adam Farkas表示，分布式賬本技術有希望推動增長和創新，在已經存在監管監督和彈性措施的地方，這種潛力不應該被忽視或禁止，他呼吁建立一個協調的國際框架，讓基于分布式賬本技術的市場連接起來。[2023/5/17 15:07:21]

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

波場聯合儲備入1000萬美元USDD和TRX作為儲備:官方消息，波場聯合儲備（TRON DAO Reserve）表示，為了保護整個區塊鏈行業和加密市場，已買入1000萬美元USDD和TRX作為儲備。[2022/6/25 1:30:56]

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

2.PolygonzkEVM執行流程

以太坊市值跌破1200億美元關口:金色財經報道，據CMC最新數據顯示，以太坊市值已跌破1200億美元關口，本文撰寫時為115,745,175,389美元。當前ETH價格已跌至963.33美元，流通供應量為121,223,422 ETH。[2022/6/19 4:38:08]

接下里我們以一個簡單的交易被確認流程來看看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：ROLLROLPOLOLYRollerSwapTROLL幣polkadotjspluspolydoge幣會不會萬倍幣

萊特幣最新價格