買以太坊 買以太坊
Ctrl+D 買以太坊
ads

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

Author:

Time:1900/1/1 0:00:00

作者:DavidSchwartz,PolygonHermez項目負責人;與開發人員JordiBaylina

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

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

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

背景

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

六月份平均每天有近200萬個錢包與dApp進行交互,比5月份增加1.4%:金色財經報道,根據DappRadar的一份新報告,盡管針對知名中心化交易所采取了監管行動,但6月份Web3活動仍在增加。報告發現,6月份平均每天有近200萬個錢包與dApp進行交互,比5月份增加了1.4%。雖然web3游戲以36%的用戶數穩居第一,但DeFi在增長14%后,以35%的用戶數緊隨其后,十大最受歡迎的dApp中有六個代表DeFi領域。[2023/7/7 22:23:55]

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

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

火必與新火科技旗下MPC自托管平臺達成OpenLoop清結算網絡合作:4月14日消息,新火科技控股有限公司(1611.HK)旗下MPC自托管平臺宣布正式與加密資產交易平臺火必Huobi達成Openloop清結算網絡合作,通過此次合作,將有效幫助用戶實現資金安全托管與交易行為分離,使得用戶自有資金可以在不離開自托管賬戶的情況下完成交易,提升用戶資產安全。

據悉,雙方此次合作將進一步加速推動數字資產安全領域的發展。[2023/4/14 14:04:56]

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

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

若灰度被清算,ETC等9個加密貨幣或遭重創:金色財經報道,由于 DCG 陷入債務危機,旗下加密資管公司灰度可能會清算部分加密貨幣信托基金,繼而影響相關 Token,主要包括:Basic Attention Token (BAT)、比特幣現金(BCH)、Chainlink ( LINK )、Decentraland ( MANA )、Ethereum Classic (ETC)、Litecoin ( LTC )、Solana ( SOL)、恒星幣(XLM)和Zcash(ZEC),此外還有一些鮮為人知的加密信托基金,例如 Filecoin ( FIL )、Horizen (ZEN) 和 Livepeer (LPT)。

數據顯示,灰度持有的以太坊經典(ETC)價值占到其總市值的 8.5%,一旦清算將會給 ETC 帶來“災難性影響”。Horizen ZEN 也處于危險區域,目前灰度的持有量占到其總上限的 4.6%。Zcash 也可能因 2.5% 的市值被鎖定在灰度信托中而受到影響。(beincrypto)[2023/1/3 22:22:57]

新要求

數據:2,039枚BTC 從Kraken轉移到未知錢包:金色財經報道,WhaleAlert監測數據顯示,2,039枚BTC(價值約39,993,453美元)從Kraken轉移到未知錢包。[2022/10/4 18:39:07]

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

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

效率證明(PoE)模型

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

排序器

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

Gitcoin已開放第14輪捐贈活動,共有超300萬美元匹配資金:6月9日消息,Gitcoin 現已開放第 14 輪捐贈活動,共有超 300 萬美元匹配資金。同時,Gitcoin 宣布一個托管在 Ceramic Network 的身份驗證應用程序 Gitcoin Passport,允許 Gitcoin Grants 和其他應用評估其個性或社會屬性。[2022/6/9 4:13:37]

有趣的是,這些提議的批次將記錄在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:ATORTORGATREGCindicatorSTOREgat幣行情幣百科REGENT價格

比特幣價格今日行情
NFT:火星周刊| Hello Kitty即將推出NFT;無聊猿團隊Yuga Labs正與a16z就融資進行談判_POLY

整理|Rachel 火星編輯時刻 《3分鐘告訴你:在加密市場2022年你應該關注什么?》如果你只有幾分鐘的空閑時間,投資者、運營商和創始人應該了解今年最令人興奮的加密趨勢.

1900/1/1 0:00:00
RON:Axie背后的專用側鏈Ronin:千般努力,得愿以償_ONI

原標題|Ronin:大殺四方的浪人武士對于數以千計正在做鏈游和準備進軍鏈游的工作室,AxieInfinity是個謎團.

1900/1/1 0:00:00
Celsius:加密公司Celsius、Voyager、Gemini面臨美國SEC審查_Elysium

據知情人士透露,美國證券交易委員會正在對加密貨幣公司CelsiusNetwork、VoyagerDigitalLtd.和GeminiTrustCo.進行審查.

1900/1/1 0:00:00
數字人:數字人民幣解決中小企收付難點_MINT

隨著數字經濟的發展,中小企業的經營環境面臨著巨大的變化。用科技金融手段,如數字人民幣等,在供給側為中小企業提供普惠金融服務,具有重要意義。中小企業是我國經濟大循環的毛細血管,數量龐大.

1900/1/1 0:00:00
區塊鏈:元宇宙將改變現場音樂體驗,但它會是去中心化的嗎?_元宇宙幣是什么幣

隨著新冠病全球大流行兩周年開始向我們襲來,我們并不清楚我們的社會生活何時會恢復正常,或者新常態將是什么。這對夜總會、音樂表演場地等企業和音樂人的影響是無法估量的.

1900/1/1 0:00:00
STOP:金融游戲化:市場不再受基本面驅動,而是受模因驅動_MetaGameSpace

原標題:《金融游戲化》 原作者:JosephPolitano翻譯:Blockunicorn2014年12月,Robinhood在AppStore上推出,其使命是「為所有人實現金融民主化」.

1900/1/1 0:00:00
ads