GAT:一文了解Polygon團隊為zkEVM開發的新共識機制PoE_Aggregated Finance

作者：DavidSchwartz，PolygonHermez項目負責人；與開發人員JordiBaylina

我們PolygonHermez團隊目前正在致力于zkEVM的實現，而這一挑戰要求我們為去中心化的L2協議研究和開發一種新的共識機制——proofofefficiency。

這種共識機制利用了v1.0中現有的Proof-of-Donation的經驗，旨在構建第一個去中心化zk-rollup并支持多個協調者的無許可參與，以便在L2中批量生產。

我們仍在考慮幾個選項并針對v2.0(zkEVM)改進此協議，但我們很高興與社區分享我們的想法并收到反饋。

背景

在zk-rollups中，去中心化的挑戰是巨大的，迄今為止很難找到一個好的解決方案。發生這種情況是因為PoS等協議在L2上存在一些問題，并且需要以高性能生成zk有效性證明，以便網絡可以保持其服務水平。將生成一個交易批次的權利分配給任何隨機驗證者并不能保證這一點。

受Curve Finance攻擊事件影響，UNI永續期貨交易溢價接近20%:金色財經報道，Curve Finance價值數百萬美元的利用讓交易者轉向Uniswap的UNI代幣。據加密服務提供商Matrixport跟蹤的數據，在該漏洞發生后，與UNI相關的永續期貨的融資利率已飆升至年化 19%。Matrixport研究與策略主管Markus Thielen表示，UNI 代幣（永續合約）的交易溢價近 20%，因為交易員預計 Uniswap 在 CRV 漏洞利用后將獲得更多市場份額。[2023/7/31 16:08:38]

捐贈證明/燃燒證明基于去中心化拍賣模型，以獲得在特定時間范圍內生產批次的權利。在這種情況下，設置了經濟激勵措施，因此驗證者需要非常高效才能具有競爭力，這代表了一個很大的進步。

該模型的一個問題是，在特定時間內，網絡由惡意的單個參與者控制，即使有辦法減輕影響，也很難避免對服務級別的零影響，尤其是在自舉階段。

?FTX聘請取證團隊調查失蹤的數十億美元:金色財經報道，12月8日消息，FTX的新管理層已經從咨詢公司艾睿鉑(Alix Partners)聘請了一個調查取證團隊，幫助追蹤這家破產的加密貨幣交易所失蹤的數十億美元。消息人士表示，艾睿鉑的團隊由美國證券交易委員會(SEC)執法部門的前首席會計師Matt Jacques領導。FTX的一名律師上個月在破產法庭上說，該公司大量的資產不是丟失就是被盜。[2022/12/8 21:30:31]

另一方面，拍賣協議對于協調者/驗證者來說是非常昂貴和復雜的，同時只有最有效的才會得到獎勵。他們很難實現自動化，而且預測的復雜性很高，因為拍賣需要提前一段時間出價。

先前協議的另一個問題是選擇收斂到“贏家通吃”模型的“最佳”運營方的有效性。這不允許表現稍差的運營方參與競爭。結果是，由于這種情況產生的抗審查限制，控制網絡的運營方變得非常中心化。

Zcash開發團隊發布新提案ZPF 擬修改ZEC發行規則:8月5日消息，據官方博客，加密隱私貨幣Zcash協議開發團隊Electric Coin Company（ECC）提議引入Zcash Posterity Fund以修改Zcash發行規則，Zcash Posterity Fund是一個新的Zcash發行系統，將在提高網絡長期財務可持續性的同時保持2100萬ZEC供應上限和近似的發行率，主要改動包括由一個平滑下降的支付曲線取代減半epoch，并且該機制的費用將在一段時間內以區塊獎勵的方式進行分配。

ECC正在收集社區反饋并對這個提案進行市場調查。如果該提案得到廣泛支持，將假設Zcash Posterity Fund限制發行的設計，來定制股權證明研究，并將開始將這個高級的提案細化為一個具體的Zcash改進提案，還可能會提出更改交易費用以提高彈性、用戶體驗和隱私的后續提案。 ?[2022/8/5 12:04:12]

新要求

Coinbase將上線STG和LOKA:8月4日消息，Coinbase將在以太坊網絡（ERC-20 Token）上增加對Stargate Finance（STG）和League of Kingdoms Area（LOKA）的支持。

目前支持交易的地區已開啟STG和LOKA站內轉賬，交易將于2022年8月5日0點或之后開始。一旦資產的供應充足，STG-USD、STG-USDT、LOKA-USD 和LOKA-USDT交易對將分階段啟動。對 STG 和 LOKA 的支持可能在一些受支持的司法管轄區受到限制。[2022/8/4 12:01:27]

這個新協議旨在涵蓋此類L2zk-rollup共識模型所需的關鍵屬性：

生產L2批次的無許可訪問效率是網絡性能的關鍵避免任何一方的控制防止惡意攻擊與網絡中的價值成正比的總驗證工作量

效率證明(PoE)模型

印度儲備銀行：加密貨幣既不是貨幣也不是金融資產:6月30日消息，印度儲備銀行（RBI）在6月30日發布的2022年6月金融穩定報告中承認加密貨幣已經獲得了普及，但強調數字資產不能被歸類為貨幣或金融資產，同時強調加密貨幣沒有內在價值，會帶來風險。此外，RBI認為加密貨幣市場與股票的相關性是另一個重大風險。因此，RBI堅持認為，加密貨幣的增長需要各國的緊急監管。根據該銀行的說法，打算監管加密貨幣的政策制定者應該關注圍繞網絡風險和氣候相關金融風險的挑戰。

該報告補充了之前RBI對數字貨幣的懷疑態度，堅持認為數字貨幣對國家的金融部門構成了威脅。據RBI官員警告說，由于大多數加密貨幣以美元計價，可能導致國家經濟的美元化。為了阻止私人加密貨幣的滲透，RBI指出其正在探索推出中央銀行數字貨幣（CBDC）的可能性。隨著不同國家對CBDC的研究，RBI建議每個國家在設計數字貨幣時應制定其風險緩解措施。（Finbold）[2022/6/30 1:42:32]

這個創建批次的協議由一個兩步模型組成，該模型在不同方之間拆分活動。參與的第一方是Sequencer，第二方是Aggregator。

排序器

在此模型中，Sequencers是從用戶那里收集L2交易的各方，因此他們通過發送包含所有選定L2TX數據的L1TX來選擇和預處理網絡中的新L2批次。任何人都可以成為Sequencers，這是一個無需許可的角色，由通往網絡的網關組成。

有趣的是，這些提議的批次將記錄在zk-rollup模型的L1事務中。

當基于他們擁有的激勵決定這樣做時，就會發生此批處理提案：

一種潛力是其資金池中交易的經濟價值。或他們需要滿足用戶的服務級別。為了向網絡提議一個新批次，Sequencers將需要支付L1網絡的gas費以生成包含所有批次交易數據的TX，并且該協議定義了需要存入的$MATIC代幣的額外費用。這樣，Sequencers就有動力提出具有有效交易的有效批次。

批處理費用將根據網絡負載而變化，這將根據協議智能合約自動調用的參數計算。

這些批次，以L1交易的格式，帶有CALLDATA中的信息，將用作L2網絡的數據可用性，并且任何新的無許可節點都將能夠同步狀態，也可以從該信息中重建。

一旦被挖掘，這些數據可用性L1交易定義了將被執行的L2TX和特定的順序。這會創建一個確定性的新狀態，可以由網絡節點將其計算為虛擬的未來狀態。

當然，當新狀態的有效性證明在L1中生成和挖掘時，這個新狀態將被解決。這對應于協議的第二部分。

聚合器

當然，zk-rollups的主要優勢之一是有效性證明提供的交易的快速確定性。該協議試圖提高這些證明的有效性。

Aggregators是在效率證明共識協議中以無許可方式參與的各方。

在這種機制中，創建L2新狀態的有效性證明的權利只需成為第一個Aggregators即可獲得。

它的工作方式如下：L1中的Sequencers提出的批次按照它們在L1中的出現位置進行排序，并包含交易數據。PoE智能合約將接受更新到新的有效狀態的第一個有效性證明，包括一個或多個提議的批次。

Aggregators需要定義他們的目標以觸發證明生成并根據他們自己的策略進行競賽。

例如，如果有包含少量TX的批次，一些Aggregators可能會發現在有更多價值之前生成證明并生成包含N個提議批次的狀態變化的證明并不有趣。其他Aggregators可能有不同的策略。

對于比賽遲到的Aggregators，如果發送的證明沒有提出新狀態，智能合約將使用Revert執行，并使用整個狀態數據庫的merkle樹哈希進行檢查。因此，不能成為第一個是以生成證明為代價的，但大部分的gas費用都被收回了。

當然，只有當Aggregators正確處理了提議的批次時，證明才會存在，這意味著它們有一個順序并且所有這些都需要處理。這是一種類似于PolygonHermezv1.0中實現的“Forcetx”的機制，在這種情況下有助于避免審查。

這種機制避免了對單方的控制和許多潛在的攻擊，因為任何Sequencer都可以提出一個批次，但這是有成本的。Aggregators也可以選擇以無許可的方式參與，但如果他們不這樣做，那么早晚會有對經濟價值感興趣的人去做。在我們的例子中，PolygonHermez網絡將啟動一個引導Aggregators，以支持在引導階段有一個特定頻率的新有效性證明。

費用將按以下方式分配：

來自L2TX的費用將由創建有效性證明的同一aggregator處理和分配。所有的TX費用將發送到每批對應的Sequencer。Sequencers為創建批次而存入的費用將發送到aggregator，該aggregator將該批次包含在有效性證明中。

結論

PoE共識機制旨在解決zk-rollups的L2中去中心化和無許可驗證者的一些挑戰。

它定義了一個兩步模型，它支持：

無許可Sequencer作為協議的參與者受益，也是網絡可擴展性的來源。與Volition模式完美兼容的數據可用性模型，可以為用戶啟用不同的服務層。從數據可用性和基于有效性證明的“最終”狀態計算“虛擬”狀態。這種架構可以通過基于不同標準設置有效性證明頻率來為去中心化zk-rollup節省大量成本，但不是確認交易的唯一解決方案。無需許可的聚合器作為代理執行加密證明生成的專門任務的空間，預計對于zkEVM協議來說成本很高。它為他們提供了一個非常簡單直接的模型來管理他們的激勵和回報。針對L2網絡問題的本機保護：例如來自惡意行為者的攻擊或選定驗證者的技術問題。激勵模型：以最大化網絡最終性的性能

Tags：GATGREGATORNCEGateway ProtocolAggregated FinanceGatorSwapCuriosity Finance

火必APP