作者:DavidSchwartz,PolygonHermez項目負責人;與開發人員JordiBaylina
編譯:巴比特
我們PolygonHermez團隊目前正在致力于zkEVM的實現,而這一挑戰要求我們為去中心化的L2協議研究和開發一種新的共識機制——proofofefficiency。
這種共識機制利用了v1.0中現有的Proof-of-Donation的經驗,旨在構建第一個去中心化zk-rollup并支持多個協調者的無許可參與,以便在L2中批量生產。
我們仍在考慮幾個選項并針對v2.0(zkEVM)改進此協議,但我們很高興與社區分享我們的想法并收到反饋。
背景
在zk-rollups中,去中心化的挑戰是巨大的,迄今為止很難找到一個好的解決方案。發生這種情況是因為PoS等協議在L2上存在一些問題,并且需要以高性能生成zk有效性證明,以便網絡可以保持其服務水平。將生成一個交易批次的權利分配給任何隨機驗證者并不能保證這一點。
比特幣開發人員正在開發保險庫功能,可阻止惡意黑客:金色財經報道,比特幣開發人員James O'Beirne正在開發一項比特幣保險庫功能,當黑客試圖竊取他們的比特幣時提醒用戶,然后通過將資金轉移到更安全的錢包來阻止盜竊。該功能類似于一種比特幣智能合約或“契約”,對比特幣的使用方式施加限制,保險庫用戶必須在花費比特幣(BTC)之前在兩個不同的區塊中傳輸兩個單獨的交易,在第一次交易(有時間延遲)后發出警報,允許用戶批準交易或將代幣掃到另一個錢包。O'Beirne在他的提案草案中寫道:“托管比特幣的風險是眾所周知的,該提案引入了一種機制,可以顯著減輕密鑰泄露的最壞情況結果:代幣丟失。”[2023/3/1 12:35:24]
捐贈證明/燃燒證明基于去中心化拍賣模型,以獲得在特定時間范圍內生產批次的權利。在這種情況下,設置了經濟激勵措施,因此驗證者需要非常高效才能具有競爭力,這代表了一個很大的進步。
該模型的一個問題是,在特定時間內,網絡由惡意的單個參與者控制,即使有辦法減輕影響,也很難避免對服務級別的零影響,尤其是在自舉階段。
幣安將于2月1日升級期權系統:通過API支持通用傳輸函數:金色財經報道,據幣安官方公告,期權系統Binance Options將于世界標準時間2023年2月1日02:00升級,包括整體系統性能和穩定性改進,以及通過應用程序接口(API)支持通用傳輸函數。幣安稱本次升級預計需要約8小時,期權交易和期權賬戶注冊將暫停大約兩小時,升級期間期權錢包的存款和取款也將被暫停。[2023/1/22 11:25:54]
另一方面,拍賣協議對于協調者/驗證者來說是非常昂貴和復雜的,同時只有最有效的才會得到獎勵。他們很難實現自動化,而且預測的復雜性很高,因為拍賣需要提前一段時間出價。
先前協議的另一個問題是選擇收斂到“贏家通吃”模型的“最佳”運營方的有效性。這不允許表現稍差的運營方參與競爭。結果是,由于這種情況產生的抗審查限制,控制網絡的運營方變得非常中心化。
新要求
這個新協議旨在涵蓋此類L2zk-rollup共識模型所需的關鍵屬性:
GameStop的NFT市場交易量在兩天內超過Coinbase NFT市場交易量:7月14日消息,美國游戲零售商GameStop新NFT市場公開測試版僅上線兩天交易量已達3167枚ETH(約合350萬美元),雖然與OpenSea相比微不足道,但其已接近Coinbase NFT市場歷史交易量的兩倍,而GameStop尚未開始提供其視為市場計劃核心產品的游戲NFT。
Dune Analytics數據顯示,Coinbase的NFT市場自推出以來交易量總計1704枚ETH,約合180萬美元。(Decrypt)[2022/7/14 2:12:29]
生產L2批次的無許可訪問
效率是網絡性能的關鍵
避免任何一方的控制
防止惡意攻擊
與網絡中的價值成正比的總驗證工作量
效率證明(PoE)模型
這個創建批次的協議由一個兩步模型組成,該模型在不同方之間拆分活動。參與的第一方是Sequencer,第二方是Aggregator。
鮑威爾:肯定存在經濟衰退的可能性,但這不是美聯儲的意圖:6月22日消息,美聯儲主席鮑威爾表示,肯定存在經濟衰退的可能性,但這不是美聯儲的意圖。(金十)[2022/6/22 1:24:53]
排序器
在此模型中,Sequencers是從用戶那里收集L2交易的各方,因此他們通過發送包含所有選定L2TX數據的L1TX來選擇和預處理網絡中的新L2批次。任何人都可以成為Sequencers,這是一個無需許可的角色,由通往網絡的網關組成。
有趣的是,這些提議的批次將記錄在zk-rollup模型的L1事務中。
當基于他們擁有的激勵決定這樣做時,就會發生此批處理提案:
一種潛力是其資金池中交易的經濟價值。
或他們需要滿足用戶的服務級別。
為了向網絡提議一個新批次,Sequencers將需要支付L1網絡的gas費以生成包含所有批次交易數據的TX,并且該協議定義了需要存入的$MATIC代幣的額外費用。這樣,Sequencers就有動力提出具有有效交易的有效批次。
大西洋理事會:數字人民幣處于全球更領先的地位:6月12日消息,根據大西洋理事會的CBDC跟蹤數據,一些經濟體還發行了錨定石油、鉆石和黃金等戰略資源的加密數字貨幣,另一些正在或計劃要在區塊鏈上運行的具有本幣主權信用的數字貨幣。大西洋理事會的報告還稱,中國的數字人民幣試點計劃將于2023年擴大,數字人民幣處于全球更領先的地位,中國相關機構一直在積極測試和贈送其數字人民幣,這標志著人民幣將引領全球央行創新數字貨幣形式,旨在創造一種新形式的貨幣,以滿足消費者對在線交易現金的需求,截至2021年底,數字人民幣交易額近875.7億元。[2022/6/12 4:19:35]
批處理費用將根據網絡負載而變化,這將根據協議智能合約自動調用的參數計算。
這些批次,以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網絡問題的本機保護:例如來自惡意行為者的攻擊或選定驗證者的技術問題。
激勵模型:以最大化網絡最終性的性能
鏈捕手消息,鏈游資產公司BreederDAO完成1000萬美元A輪融資,a16z、DelphiDigital領投.
1900/1/1 0:00:00鏈捕手消息,元宇宙公司Everyrealm宣布完成6000萬美元A輪融資,由a16z領投,Coinbase、NGCVentures、DragonflyCapital、Hashed、Lightsp.
1900/1/1 0:00:00原文作者:RyanMalden,Messari原文標題:《LongLiveVitaDAO》 編譯:李澤祎,鏈捕手 區塊鏈賦能了新一代應用程序和金融原語的誕生.
1900/1/1 0:00:00原文作者:SaneelSreeni、LeoZhang原文翻譯:Blockunicorn“誰控制了香料,誰就控制了宇宙.
1900/1/1 0:00:00作者:區塊律動BlockBeats原文標題:《募資4700萬美元解救阿桑奇,自由之歌還是加密騙局?》春節以來,一個為解救JulianAssange而創立的AssangeDAO正迅速躥紅.
1900/1/1 0:00:00來源:紐約時報 編譯:鏈捕手 作者:PaulKrugman。他自2000年起擔任紐約時報Opinion專欄作家,同時也是紐約市立大學研究生中心的特聘教授.
1900/1/1 0:00:00