比特幣行情 比特幣行情
Ctrl+D 比特幣行情
ads

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

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有效性證明,以便網絡可以保持其服務水平。將生成一個交易批次的權利分配給任何隨機驗證者并不能保證這一點。

BTC突破26500美元:金色財經報道,行情顯示,BTC突破26500美元,現報26501.0美元,日內漲幅達到0.05%,行情波動較大,請做好風險控制。[2023/6/19 21:47:40]

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

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

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

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

日本金融監管機構命令FTX Japan在6月9日之前保留在日本境內的資產:金色財經報道,日本關東地方財政局對FTX Japan提起行政訴訟,稱FTX Japan資產與境外無關,需繼續采取一切可能的措施防止此類信息泄露,要求FTX Japan從2023年3月10日至2023年6月9日保留在日本境內的資產。[2023/3/9 12:52:00]

新要求

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

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

效率證明(PoE)模型

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

Checkout.com策略師:預計以太坊合并將重振對加密生態系統的信心:金色財經報道,支付巨頭Checkout.com的加密策略負責人Jess Houlgrave在接受采訪時認為,盡管平臺上的交易量有所下降,但合并可能會重新喚起人們對加密貨幣市場的信心。Houlgrave還表示,大多數主要“第一層”區塊鏈上的加密錢包地址數量都在增加。盡管市場交易量減少,但該平臺報告錢包地址增加并創建了更多錢包。這些錢包可能由當前的加密貨幣持有者或剛剛進入市場的新持有者所有。這實際上并不一定是由新交易者上線驅動的,新零售交易者認為加密是一種貨幣和投資資產,實際上是人們開始使用現實世界的加密應用,包括匯款、購買 NFT、和其他數字資產。[2022/9/7 13:14:31]

排序器

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

UpLift DAO與安全審計公司CertiK達成合作:6月1日消息,加密項目孵化服務去中心化自治組織 UpLift 宣布與安全審計公司 CertiK 達成合作伙伴關系,旨在構建一個安全可靠的 Launchpad 服務,CertiK 將對在 UpLift 上啟動的項目的智能合約和區塊鏈代碼進行滲透測試、手動代碼審查和全面的安全評估。截止目前,UpLift DAO 共籌集了 1,211,158.57 BUSD,用于 DeFi、GameFi 和 NFT 領域的項目擴展。(cryptopolitan)[2022/6/1 3:54:38]

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

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

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

Hop Protocol正在制定新的空投標準:5月24日消息,在Optimism從空投名單中刪除1.7萬個女巫地址后,跨鏈橋Hop Protocol也發推稱,正在制定新的空投標準。

5月初,Hop Protocol宣布成立Hop DAO并將發行代幣HOP,HOP總量10億枚,8%將空投給早期用戶,其中,3.35%將分配給Hop跨鏈橋用戶(最少兩次跨鏈交易及至少1000美元的交易量);2%分配給流動性提供者;2%分配給Bonders;0.1%分配給Hop Protocol前500名Discord用戶和前79名Twitter用戶;0.05%分配給外部貢獻者;0.5%分配給過去已部署賬戶的Authereum用戶。Hop Protocol團隊表示,在符合空投條件的43058個地址中,已有10253個地址確認為女巫攻擊地址并已刪除,團隊仍將繼續獎勵報告女巫攻擊地址的用戶。[2022/5/24 3:38:02]

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

這些批次,以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:ATORTORCERGREPepe Predatorstorj幣值得投資嗎Concern Poverty ChainGRE幣

幣安app官網下載
NFT:從音樂、四維、隱私、交互等角度重新定義NFT

來源:?ForesightResearch 一、概要 現狀: NFT是所有權證明,是你購買作品的收據,不是作品本身.萬物皆鏈接,NFT就是其中一種鏈接.目前NFT主要以藝術品的形式出現.

1900/1/1 0:00:00
NFT:Element多鏈市場2月18日資產上新:Tasty Bones、Karafuru、Tales of Ragnarok Avatar

Element多鏈市場現已上線TastyBones、Karafuru、TalesofRagnarokAvatar等項目,以下為NFT詳細信息.

1900/1/1 0:00:00
元宇宙:超級玩家英偉達:不做元宇宙的AI公司不是芯片巨頭

元宇宙的開拓者是我們針對元宇宙的發展而設立的專欄,主要面向那些深挖元宇宙產業或者在元宇宙進行淘金的從業者,分享這些企業或者創業者們的故事,以獨特的視角窺見那些引領全球元宇宙發展的企業或個人.

1900/1/1 0:00:00
DAO:專訪OpenDAO:用6天時間誕生,不做OpenSea競品

吳說作者?|?劉全凱 本期編輯?|?ColinWu12月24日,OpenDAO上線,宣布為所有在OpenSea上交易過NFT的用戶空投SOS.

1900/1/1 0:00:00
ETH:借款卻付ETH,要求還款?法院判決:不支持

原標題|以案說法|借“款”卻付“以太幣”?法院判決:合同無效!來源|廈門市思明區法院公眾號 案情簡介 林某作為出借人,劉某作為借款人,簽訂了一份《借款協議》,約定:劉某向林某借款1000萬元.

1900/1/1 0:00:00
ERG:Ergo第三屆黑客松大賽報名進入倒計時階段

現在進入ErgoHackIII報名的最后一周!如果你想學習基于UTXO的智能合約并構建你的下一個項目,現在是時候報名申請了.

1900/1/1 0:00:00
ads