以太幣交易所 以太幣交易所
Ctrl+D 以太幣交易所
ads
首頁 > Coinw > Info

詳解信標鏈的替代性方案:基于累計式委員會的最終確定性模型_LOT

Author:

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

來源|ethresear.ch作者|VitalikButerin這是對信標鏈提議的一個替代設計方案,信標鏈可以在比較遠的未來切換到這個模型(替代現在計劃的CBC),它試圖提供以下一些關鍵特性:?在正常情況下,提供有意義的單個slot的經濟確定性(即類似于Tendermint的特性)使得即使大多數驗證者參與合謀進行單個slot的重組,執行的成本也比現在高得多,從而減少共識可提取價值(consensus-extractablevalue,CEV)?擺脫對LMDGHOST分叉選擇的高度依賴,避免那些已知的缺陷,并需要引入復雜的混合分叉選擇規則,以修補這些缺陷。?有可能會使更低的最低存款額度(depositsize)和更高的驗證者數變得可能?保留經濟確定性(economicfinality)最終接近于一個非常大的數值(數百萬個ETH)這一特性預備知識

讓CONSENSUS成為一種異步安全的共識算法(例如,Tendermint、CasperFFG等)。我們假設共識算法的設計是涉及slot和view(查看視圖)的,即它在每個固定時間段嘗試達成共識時。我們還假設它把加權的驗證者集(現有的拜占庭容錯共識算法要增加這一特性是很容易的)作為輸入。在下面的設計里,我們修改CONSENSUS,使得在每次的查看中,要求做最終敲定的驗證者集都是不一樣的。也就是說,是把CONSENSUS而不是驗證者集作為函數get_validator_set(view_number:int)->Map(其中int代表驗證者余額)的輸入,該函數可以生成驗證者集的新查看視圖。get_validator_set應該具有這樣的特性,驗證者集從一個視圖到下一個視圖最多變化1/r,其中r(r=65536)是復原周期長度。更形式化來說,我們希望是這樣:

FingerprintsDAO與CryptoPunks創建者Larva Labs合作推出會員制NFT系列“Voxelglyph”:金色財經報道,NFT 數字藝術收藏組織FingerprintsDAO在官推宣布與CryptoPunks和Autoglyphs 創建公司Larva Labs達成合作,推出由其設計的會員制NFT系列“Voxelglyph”。FingerprintsDAO主要面向收藏家、策展人和制作人,策劃和收集以創意方式使用智能合約創作的藝術品,并生成對應的區塊鏈指紋,新推出的NFT系列代碼只需在Java環境下即可運行,將代表NFT形式的FingerprintsDAO會員資格。[2023/8/11 16:18:55]

其中,|x|返回的是x值的絕對值之和,而diff返回的是每個鍵值相減后的值(例如,diff({a:0.1,b:0.2},{b:0.1,c:0.3})={a:0.1,b:0.1,c:-0.3})。在實踐中,相鄰的兩個驗證者集間的差值會包括現有驗證者被扣除的余額,而新加入的驗證者的比率與被扣除余額的比率相等。請注意,只有在之前的驗證者還未做最后敲定時,1/r的最大驗證者集差值函數才可用。如果之前的驗證者集已經最終敲定了,CONSENSUS的實例會改變,因此get_validator_set函數的內部隨機性會也會完全改變;在這種情況里,兩個相鄰的驗證者集會變得完全不一樣。請注意,這意味著,如果兩個最終敲定視圖上的數值相差足夠大,CONSENSUS函數現在是可能兩個一起敲定的,且不會發生罰沒;這是故意如此設計的,而協議的處理方法就與今天CasperFFG處理怠工懲罰一樣。機制

AMF:支持全球協調的DeFi規則:6月19日消息,法國最高市場監管機構Autorité des Marchés Financiers (AMF) 表示支持全球協調的去中心化金融(DeFi)規則。在周一發布的一份討論文件中,AMF向希望在該國運營的加密貨幣交易所頒發許可證,分享了其對構成DeFi生態系統的去中心化和“非中介”協議提出的“監管問題的初步思考”。

AMF嘗試定義DeFi、稱為DAO的去中心化治理系統和運行交易的自動化“智能合約”。該文件還提出了相關的風險和控制級別以供辯論。

該文件還稱,“由于DeFi活動的跨境性質和影響范圍,AMF還支持制定全球協調的監管方法,以確保全球公平的競爭環境,這既要旨在保護投資者,又要促進創新。”(CoinDesk)[2023/6/19 21:47:47]

我們使用兩級分叉選擇:?S選擇LATEST_FINALIZED_BLOCK(最新被敲定的區塊)?從LATEST_FINALIZED_BLOCK開始,使用其他的分叉選擇(例如LMDGHOST)來選擇區塊頭在每個slot都能查看一次CONSENSUS算法,將基于get_post_state(LATEST_FINALIZED_BLOCK)產生的數據的驗證者集生成函數作為一項輸入。一個有效的提議必須包含一個LATEST_FINALIZED_BLOCK的有效子孫區塊。只有當該部分在分叉選擇中勝出,成為區塊鏈的一部分時,驗證者才會準備并給區塊提議投票。如果CONSENSUS在某個視圖中勝出了,那么該視圖中被提議的區塊就會成為新的LATEST_FINALIZED_BLOCK,改變未來幾輪的驗證者集。如果它失敗了,它需要在下一個slot或view里進行下一次嘗試。

Uniswap在Avalanche上部署Uniswap V3提案投票已通過,預計5周內部署:金色財經報道,Uniswap 關于在 Avalanche 上部署 Uniswap V3鏈上投票現已通過,贊成率為 95.08%。該提案考慮到 Uniswap V3 核心代碼版權商業保護將于 4 月 1 日到期,屆時將會擁有諸多項目復制 Uniswap V3 并分叉代碼用于商業目的的合法權利。因此,Uniswap V3 決定在大量模仿產品出現前,提前在 Avalanche 上部署,以確保 Uniswap 搶占 Avalanche DEX 市場,并與 Avalanche 上 DEX Trader Joe 競爭。根據計劃,合約部署預計需 5 周時間完成。[2023/3/17 13:11:04]

注意:slot應該總是等于當前的視圖編號加上之前每個成功最終敲定的驗證者集的視圖編號之和。我們有以下的懲罰:?由共識算法決定的常規罰沒懲罰?怠工懲罰:如果區塊鏈無法做最終敲定,每個沒有參與最終敲定的驗證者都會受到懲罰。這個懲罰是在r/2個slot后將余額減半。FFG替代方案:單個-slot-epoch的CasperFFG

白宮發布政府降低加密貨幣風險的路線圖:金色財經報道,美國白宮周五發布了關于政府降低加密貨幣風險的路線圖。文章表示,政府的重點是繼續確保加密貨幣不會破壞金融穩定、保護投資者并追究不良行為者的責任。政府全心全意支持負責任的技術創新,使金融服務更便宜、更快、更安全、更容易獲得。然而,要實現這些好處,新技術需要相應的保障措施。保障措施將確保新技術對所有人都是安全和有益的——并且新的數字經濟適用于許多人,而不僅僅是少數人。為了實施正確的保障措施,美國政府將繼續推動開發數字資產框架,同時與國會合作實現這些目標。

白宮表示,執法機構正在投入更多資源來打擊涉及數字資產的非法活動。在接下來的幾個月里,政府將公布數字資產研發的優先事項,這將有助于支持加密貨幣的技術在默認情況下保護消費者。[2023/1/28 11:32:47]

上述設計的一個替代方案是使用CasperFFG,但要讓epoch的長度等同于slot。CasperFFG的工作機制是不一樣的,因為它不試圖防止同一個委員會對一個區塊及其子孫區塊做最終敲定。為了適應這種差異,我們需要執行(i)1/4的安全閾值而不是1/3,(ii)這樣一條規則:如果一個slot做最終敲定,驗證者集最多替換1/4而不是完全替換。請注意,在這樣的設計中,實現一個slot(但不超過一個slot)的重組在理論上是無成本的。另外,在圖表最后“直到最大最終確定性的slot"數需要增加4倍。特性

紐約梅隆銀行CEO:應鼓勵數字資產創新尤其是代幣化:金色財經報道,紐約梅隆銀行首席執行官Robin Vince今日在英國《金融時報》發表了一篇評論文章?,呼吁在最近的加密貨幣危機后進行重置。許多英國《金融時報》讀者可能沒有意識到一個關鍵的背景,目前正在最終確定的規則可能會嚴重限制紐約梅隆銀行在數字資產領域的監管作用,主要針對加密貨幣,但也針對代幣化股票和債券。

Vince表示,我們應該鼓勵數字資產創新,尤其是代幣化,同時呼吁制定符合既定規則和原則的法規。?[2022/12/2 21:18:33]

如果一個區塊被最終敲定了,其競爭區塊如果要被最終敲定的話,需要發生以下其中一種情況:?某個委員會(committee)出現問題了,≥1/3的驗證者因為雙重最終敲定另一個區塊而被罰沒?最新近的委員會離線了,在經過r/3個slot后,委員會經過充分混洗能夠最終敲定另一個區塊而不會被罰沒。但是,這帶來了嚴重的怠工懲罰(≥1/3的攻擊者余額)在任何一種情況下,即使要回滾一個被最終敲定的區塊也需要至少有DEPOSIT_SIZE*COMMITTEE_SIZE/3(存款額*委員會人數/3)個ETH被燒毀。如果我們設置COMMITTEE_SIZE=131,072(Eth2委員會每個slot的驗證者數,理論上最大值為400萬),那么這個數值就是1,398,101個ETH。方案里的一些其他重要特性包括:?無論有多少驗證者存款了,在處理每個slot的COMMITTEE_SIZE(委員會大小)交易時驗證者的負載都很穩定?驗證者的負載會變得更低,因為當他們沒有被要求加入委員會時,它們可以休眠?休眠中的驗證者可以快速退出和提款,而不會犧牲安全性。擴展:用小型委員會進行鏈確認

如果為了提高效率,我們不得不縮小COMMITTEE_SIZE,我們可以作出下列調整:?我們把“finalization(最終敲定)”更名為“confirmation(確認)”,以反映單個確認不再代表真正的最終確定性?不同于選擇最新的被確認區塊,我們選擇的是被確認區塊最長鏈鏈頭的被確認區塊(但拒絕回滾由COMMITTEE_LOOKAHEAD確認以外的區塊,因此COMMITTEE_LOOKAHEAD的確認就代表真正的最終確定性)?get_validator_set應該只能使用狀態的信息,而不是COMMITTEE_LOOKAHEAD確認之前的信息?view的編號應該就是slot的編號(這使得同一個驗證者集試圖在不同鏈上達成共識的情況變得更易于被推導出來,這種情況只有在打破一些確認的時候才可能發生)這個方案保留了以上所有的特性,但它也引入了一個新特性:如果一個區塊獲得多個確認(例如,該區塊被最終敲定了,且一條鏈的子孫區塊又獲得k-1個確認,因為共連續獲得k個確認會影響該區塊),那么回滾該區塊就需要在多個委員會違反共識保證。這會使得來自多個委員會的安全水平得以堆積起來:回滾k個確認需要COMMITTEE_SIZE*DEPOSIT_SIZE*k/3個ETH,要達到k=COMMITTEE_LOOKAHEAD,委員會才會出現分歧。還要注意的是,無論如何,為了p2p子網的安全,前瞻機制(lookaheadmechanism)是值得使用的,因此用它來設計是個好主意,而且如果有需要的話,可以留給客戶端來決定他們要如何處理確認回滾問題。具體數值的例子

請注意,“打破最終確定性所需的ETH"數假設了攻擊者控制的驗證者數相當于控制了超過總質押的ETH的一半(即數百萬個ETH);這個數字是攻擊者將失去的ETH。但這不等于任何擁有2,730,174,762個ETH的人都可以通過隨便燒毀這些ETH就能回滾單個slot的確認。原地址:https://ethresear.ch/t/a-model-for-cumulative-committee-based-finality/10259

Tags:LOTSLOTFINALILotto9SLOT幣NFTPunk.FinanceAustralian Kelpie

Coinw
Matter Labs宣布推出zksync 2.0測試應用 UniSync,zkEVM 實現對 Solidity 的完全兼容_SYNC

10月13日消息,以太坊Layer2網絡開發商MatterLabs宣布推出了首個遷移的zksync2.0測試應用UniSync,這標志著zkEVM已實現對Solidity的完全兼容.

1900/1/1 0:00:00
星球日報 | MicroStrategy宣布購買5,050個比特幣;以太坊L2網絡總鎖倉量突破30億美元,Arbitrum以22億美元居首位(9月14日)_區塊鏈

頭條 MicroStrategy宣布購買5,050個比特幣,平均每枚48,099美元,目前持有約114,042個比特幣官方消息,MicroStrategy以約2.429億美元的現金額外購買了5.

1900/1/1 0:00:00
一文讀懂零知識證明(ZKP)_區塊鏈

區塊鏈本身的一個關鍵優勢就是透明性,然而在許多情況下,智能合約應用卻出于各種商業或法律原因需要保障數據隱私,比如傳入專有數據觸發智能合約執行.

1900/1/1 0:00:00
從OpenSea的5個維度數據出發,分析當下 NFT 市場現狀_SEA

9月7日,比特幣從高點52900美元左右開始下跌,截至發稿時約42000美元,跌幅約20%。其它加密資產普跌。這種短時間的價格暴跌極其打擊市場交易者的情緒.

1900/1/1 0:00:00
Glassnode鏈上周報:市場由HODLers和交易員主導,新進入者和散戶投機者參與較少_比特幣

來源:Glassnode編譯:AmyLiu上周比特幣市場經歷了震蕩的下行價格走勢,周一開盤報47,328美元,并跌至39,876美元的低點.

1900/1/1 0:00:00
一文回顧8月DeFi市場情況:多鏈生態的完善與分化_DEF

文|蔣海波編輯|Tong出品|PANews經一年多高速發展后,DeFi在產品、資金和用戶規模上有了質的飛躍.

1900/1/1 0:00:00
ads