作者:DavidSchwartz,PolygonHermez項目負責人;與開發人員JordiBaylina
編譯:巴比特
我們PolygonHermez團隊目前正在致力于zkEVM的實現,而這一挑戰要求我們為去中心化的L2協議研究和開發一種新的共識機制——proofofefficiency。
這種共識機制利用了v1.0中現有的Proof-of-Donation的經驗,旨在構建第一個去中心化zk-rollup并支持多個協調者的無許可參與,以便在L2中批量生產。
我們仍在考慮幾個選項并針對v2.0(zkEVM)改進此協議,但我們很高興與社區分享我們的想法并收到反饋。
背景
在zk-rollups中,去中心化的挑戰是巨大的,迄今為止很難找到一個好的解決方案。發生這種情況是因為PoS等協議在L2上存在一些問題,并且需要以高性能生成zk有效性證明,以便網絡可以保持其服務水平。將生成一個交易批次的權利分配給任何隨機驗證者并不能保證這一點。
Cosmos DEX協議Nolus完成250萬美元種子輪融資:5月2日消息,Nolus是Cosmo上的一個可互操作協議,已獲得250萬美元的pre-seed輪和seed輪融資,Dorahacks、Everstake、Cogitent Ventures、Token Metrics Ventures、Autonomy Capital等參投。(cryptodaily)[2023/5/2 14:38:51]
捐贈證明/燃燒證明基于去中心化拍賣模型,以獲得在特定時間范圍內生產批次的權利。在這種情況下,設置了經濟激勵措施,因此驗證者需要非常高效才能具有競爭力,這代表了一個很大的進步。
該模型的一個問題是,在特定時間內,網絡由惡意的單個參與者控制,即使有辦法減輕影響,也很難避免對服務級別的零影響,尤其是在自舉階段。
另一方面,拍賣協議對于協調者/驗證者來說是非常昂貴和復雜的,同時只有最有效的才會得到獎勵。他們很難實現自動化,而且預測的復雜性很高,因為拍賣需要提前一段時間出價。
Independent Reserve CEO:美國針對加密行業的敵對環境將把相關投資和創新推向海外:金色財經報道,加密貨幣交易所Independent Reserve首席執行官Adrian Przelozny表示,最近銀行業的困境不是由于“加密貨幣領域的任何失敗”,而是由銀行以“不負責任的方式”管理風險造成的。他補充說:“白宮最好檢討銀行業的做法。”
在談到SEC最近針對Coinbase的行動時,Przelozny表示,美國針對“加密行業的敵對環境”將把相關的“就業、投資和未來創新”推向海外。
Przelozny說,“新加坡、中國香港,可能還有澳大利亞”都在關注該行業的利益,可能會成為更好的投資目的地,這些國家“將獲得經濟利益”。(Cointelegraph)[2023/3/24 13:23:58]
先前協議的另一個問題是選擇收斂到“贏家通吃”模型的“最佳”運營方的有效性。這不允許表現稍差的運營方參與競爭。結果是,由于這種情況產生的抗審查限制,控制網絡的運營方變得非常中心化。
Createra Genesis Land地板價突破0.7 ETH,24小時漲幅達197%:金色財經報道,據OpenSea數據顯示,Createra Genesis Land地板價突破0.7 ETH,現報0.788 ETH,24小時漲幅達197%。
此前報道,今日早些時候,游戲元宇宙項目Createra宣布完成1000萬美元A輪融資,Andreessen Horowitz(a16z)領投,該筆資金致力于打造以Z世代為中心的元宇宙平臺。[2023/1/16 11:14:08]
新要求
這個新協議旨在涵蓋此類L2zk-rollup共識模型所需的關鍵屬性:
生產L2批次的無許可訪問
效率是網絡性能的關鍵
避免任何一方的控制
防止惡意攻擊
與網絡中的價值成正比的總驗證工作量
Huobi Global:將重新上架GALA,項目方同意對事故發生前的持幣用戶進行全額賠付:11月4日消息,Huobi Global發布《關于GALA代幣異常事件的處置公告(四)》,稱通過與Gala項目溝通,Gala項目方已同意對事故發生前的Gala持幣用戶進行全額賠付,平臺將重新上架Gala,并繼續與項目方保持密切溝通。
本公告后,Huobi Global將會有Gala和Pgala兩個資產,區分時間線以事故發生為時間節點。[2022/11/4 12:16:39]
效率證明(PoE)模型
這個創建批次的協議由一個兩步模型組成,該模型在不同方之間拆分活動。參與的第一方是Sequencer,第二方是Aggregator。
排序器
在此模型中,Sequencers是從用戶那里收集L2交易的各方,因此他們通過發送包含所有選定L2TX數據的L1TX來選擇和預處理網絡中的新L2批次。任何人都可以成為Sequencers,這是一個無需許可的角色,由通往網絡的網關組成。
PeckShield:CoinDCX的Twitter帳戶疑似被入侵,并發布欺詐性鏈接:9月20日消息,派盾(PeckShield)監測顯示,疑似印度加密貨幣交易所CoinDCX的Twitter帳戶遭到入侵,并被攻擊者用來分享欺詐性的XRP獎勵鏈接。[2022/9/20 7:08:28]
有趣的是,這些提議的批次將記錄在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:ATOTORGATORATORplaton幣總供應量SEKTOR價格GatorSwapCreator Platform
鏈捕手消息,泰國證券交易所總裁PakornPeetathawatchai在接受彭博社采訪時表示,SET旗下的數字資產交易所預計將于今年第二季度或第三季度開始正式運營.
1900/1/1 0:00:00鏈捕手消息,據zkSync官方博客,zkSync2.0公共測試網正式上線,這也是以太坊測試網上第一個兼容EVM的ZKRollup.
1900/1/1 0:00:00鏈捕手消息,根據美國司法部公告,BitMEX聯合創始人ArthurHayes和BenjaminDelo在美國時間2月24日在美國地區法官JohnG.Koeltl面前認罪.
1900/1/1 0:00:00鏈捕手消息,去中心化聚合交易終端DexGuru宣布完成500萬美元融資,ShimaCapital、HuobiVentures、Wintermute、ImpossibleFinance、Miran.
1900/1/1 0:00:00鏈捕手消息,據NFT分析機構CryptoSlam報道,目前LooksRare已產生超過83億美元的虛擬交易,諸多用戶在自己控制的多個錢包間交易NFT,操縱日交易量以獲得獎勵.
1900/1/1 0:00:00鏈捕手消息,DragonCity龍城的開發團隊MetaverseLabs將于1月31日除夕夜在Decentraland上舉辦一場元宇宙盛會.
1900/1/1 0:00:00