作者:PolygonHermez項目負責人DavidSchwartz和開發人員JordiBaylina
我們PolygonHermez團隊目前正在致力于zkEVM的實現,而這一挑戰要求我們為去中心化的L2協議研究和開發一種新的共識機制——proofofefficiency。
這種共識機制利用了v1.0中現有的Proof-of-Donation的經驗,旨在構建第一個去中心化zk-rollup并支持多個協調者的無許可參與,以便在L2中批量生產。
我們仍在考慮幾個選項并針對v2.0(zkEVM)改進此協議,但我們很高興與社區分享我們的想法并收到反饋。
背景
在zk-rollups中,去中心化的挑戰是巨大的,迄今為止很難找到一個好的解決方案。發生這種情況是因為PoS等協議在L2上存在一些問題,并且需要以高性能生成zk有效性證明,以便網絡可以保持其服務水平。將生成一個交易批次的權利分配給任何隨機驗證者并不能保證這一點。
比特幣礦企Riot訂購3.3萬臺MicroBT礦機:金色財經報道,比特幣礦商Riot訂購首批3.3萬臺MicroBT機器,以建立國內供應鏈。購買的MicroBT機器將在匹茲堡的一個新工廠生產,將用于Riot在德克薩斯州納瓦羅縣的科西加納工廠。
預計將于12月開始交付33280臺機器,并將于明年第一季度部署。這些機器將把Riot的哈希率提高到20.1 EH/s。如果Riot選擇購買額外的66560臺MicroBT機器,其容量估計將達到35.4 EH/s。[2023/6/26 22:01:14]
捐贈證明/燃燒證明基于去中心化拍賣模型,以獲得在特定時間范圍內生產批次的權利。在這種情況下,設置了經濟激勵措施,因此驗證者需要非常高效才能具有競爭力,這代表了一個很大的進步。
該模型的一個問題是,在特定時間內,網絡由惡意的單個參與者控制,即使有辦法減輕影響,也很難避免對服務級別的零影響,尤其是在自舉階段。
知情人士:Binance.US與SEC的擬議協議已獲聯邦法官簽署:6月17日消息,前SEC互聯網執法辦公室主任John Reed Stark發推稱,Binance.US與SEC的擬議協議已獲聯邦法官簽署。
此前消息,Binance、Binance.US和美國SEC宣布一項協議,以確保只有Binance.US員工才能訪問客戶資金。擬議協議仍需要監督此案的聯邦法官簽署。[2023/6/18 21:44:19]
另一方面,拍賣協議對于協調者/驗證者來說是非常昂貴和復雜的,同時只有最有效的才會得到獎勵。他們很難實現自動化,而且預測的復雜性很高,因為拍賣需要提前一段時間出價。
先前協議的另一個問題是選擇收斂到“贏家通吃”模型的“最佳”運營方的有效性。這不允許表現稍差的運營方參與競爭。結果是,由于這種情況產生的抗審查限制,控制網絡的運營方變得非常中心化。
新要求
DeFi協議Umee將使用Axelar Bridge作為連接以太坊的官方橋:2月14日消息,跨鏈DeFi協議Umee近期發文宣布,在3月底之前啟動Umee GravityBridge關閉的第一階段。未來將與Axelar合作,Axelar Bridge將成為連接以太坊的官方橋梁,為用戶提供最佳的跨鏈體驗。目前仍可使用Gravity Bridge將Token轉移回Umee,但官方不建議使用Gravity Bridge將任何Token從Umee轉移到以太坊。4月1日,Gravity Bridge Umee至Ethereum轉移資產將被禁用。同時計劃在5月底之前完全關閉Gravity Bridge。[2023/2/14 12:05:29]
這個新協議旨在涵蓋此類L2zk-rollup共識模型所需的關鍵屬性:
生產L2批次的無許可訪問效率是網絡性能的關鍵避免任何一方的控制防止惡意攻擊與網絡中的價值成正比的總驗證工作量
Carry1st完成2700萬美元的新一輪融資,BITKRAFT Ventures領投:1月17日消息,Web3 和社交游戲發行商 Carry1st 完成 2700 萬美元的最新一輪融資,BITKRAFT Ventures 領投,Andreessen Horowitz (a16z)、TTV Capital、Alumni Ventures、Lateral Capital、Kepple Ventures 和 Konvoy參投。總部位于開普敦的手機游戲發行商將利用這筆資金開發、許可和發布新游戲,并擴展其貨幣化即服務產品 Pay1st。
2022年1月報道,Carry1st 完成2000萬美元的A輪融資,a16z 領投,谷歌母公司參投。[2023/1/17 11:17:14]
效率證明(PoE)模型
這個創建批次的協議由一個兩步模型組成,該模型在不同方之間拆分活動。參與的第一方是Sequencer,第二方是Aggregator。
Celsius相關地址向Maker存入2041.48枚WBTC:6月13日消息,據派盾監測,Celsius相關地址向Maker存入2041.48 WBTC(約合4900萬美元),該頭寸在比特幣價格達到18387.88美元時面臨清算風險。[2022/6/13 4:23:34]
排序器
在此模型中,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:NCEGATORGREGGREYearn Finance DotGATOR幣Digital Currency AggregateGREY
“波卡知識圖譜”是我們針對波卡從零到一的入門級文章,我們嘗試從波卡最基礎的部分講起,為大家提供全方位了解波卡的內容,當然這是一項巨大的工程,也充滿了挑戰.
1900/1/1 0:00:00某些科技巨頭爭論將去中心化的“web3”機構與其毫不掩飾的中心化前輩相比有何不同,但一個公司生態系統正在迅速出現,相互聯系,包括來自同一投資者的支持.
1900/1/1 0:00:00近日,加密視頻播客UpOnly邀請到以太坊創始人Vitalik進行對話,主持人為知名加密行業KOLCobie與Ledger.
1900/1/1 0:00:00據LedgerInsights1月25日消息,盧森堡金融監管機構CommissiondeSurveillanceduSecteurFinancier(CSSF)發布了一份關于區塊鏈的白皮書.
1900/1/1 0:00:00據Cointelegraph消息,2月10日,億萬富翁投資者BillAckman呼吁紐約市市長研究與BitLicense有關的加密貨幣監管鉗制.
1900/1/1 0:00:00摘要自10月28日,臉書更名為“Meta”,表示將向元宇宙的前景邁進后,該主題得到了市場的空前關注.
1900/1/1 0:00:00