原文標題:《基于委員會的累積終結性模型》
作者:VitalikButerin
本文提出了一種以太坊信標鏈的擬議替代設計,在未來長期內可以切換到該設計。該替代設計旨在提供一些關鍵屬性:
在正常情況下提供有意義的單槽經濟終結性:使單槽重組的成本高得多,即使是多數人串通的情況下也能執行,從而降低共識可提取價值(CEV)擺脫對LMDGHOST分叉選擇的嚴重依賴,避免已知的缺陷以及需要引入復雜的混合分叉選擇規則來修復這些缺陷。可能允許更低的最小存款大小和更高的驗證器數量保存經濟終結性最終接近一個非常大的數字的屬性
V神:ZK-Rollups或成為以太坊主要Layer 2解決方案:8月8日消息,以太坊聯合創始人Vitalik Buterin在ETHSeoul演講時預測,ZK-Rollups將在以太坊Layer2擴容之戰中擊敗Optimistic Rollups,比如用戶不需要7天的等待期。Vitalik Buterin指出,ZK-Rollups在將資金移入和移出主網時速度更快,這可能會導致更廣泛地采用。從現在起的10多年甚至更久,我預計Rollups基本上都將會是ZK。ZK-Rollups的EVM兼容性正在開發當中,Vitalik Buterin補充道,我們實際上已經能看到zk-EVM幾乎準備好實現與以太坊交易一起進行擴容,這太棒了。(the block)[2022/8/9 12:10:54]
準備工作
V神質疑推特CEO基于比特幣的DeFi思路和扎克伯格的元宇宙戰略:8月19日消息,以太坊聯合創始人 Vitalik Buterin在接受采訪時表示,他對推特CEO Jack Dorsey基于比特幣的去中心化金融計劃,以及馬克·扎克伯格Facebook的“元宇宙”企業轉型計劃表示懷疑。Vitalik Buterin認為,比特幣是目前市值最大的加密貨幣,但其初衷并不是為去中心化金融而設計的,而在以太坊上,有一種原生功能可以讓用戶直接將 ETH 或基于以太坊的資產放入這些智能合約中,比特幣沒有這個功能,Jack Dorsey必須創建自己的系統來執行這些規則。對于馬克·扎克伯格,Vitalik Buterin表示,扎克伯格正在努力預測互聯網的下一階段,因為現在Facebook已經被“拋在一邊”了,而且人們對Facebook的信任度也不像過去那么高,因此構建自己的平臺可能會被證明是不幸的,Vitalik Buterin建議馬克·扎克伯格應該基于現有區塊鏈進行構建。(彭博社)[2021/8/19 22:23:29]
讓CONSENSUS成為一種異步安全的共識算法。我們假設這種共識算法有一些槽或視圖的概念,它在每個固定時間段嘗試達成共識。我們還假設它將一種加權驗證器集作為輸入。
V神:徹底關閉公鏈很難,但監管要容易得多:今日V神在王峰十問上表示:我們在2014年非常認真地考慮過證券監管法規等問題,我們與多家律師事務所進行了磋商,并仔細確認了我們所做的事情是否符合當時的法律。我們很高興看到,美國證券交易委員會認為并非所有的加密貨幣都是證券。我覺得,監管政策絕對會繼續影響區塊鏈技術的進步,盡管主要是從應用角度來看。我認為總的來說,各國政府已經認識到,徹底關閉公鏈網絡是非常困難的,但監管它們要容易得多。[2018/6/22]
在下面的設計中,我們修改了CONSENSUS,以便在每個視圖中,需要最終性的集合是不同的。也就是說,CONSENSUS將一個函數get_validator_set(view_number:int)->Map作為輸入,而不是驗證器集,它可以為新視圖生成驗證器集。get_validator_set應該具有以下屬性:驗證器集根據從一個視圖到下一個視圖的最大1/r值進行更改,其中r是恢復期長度。更正式地說,我們想要:
V神:未持有數字貨幣令牌的人不是失敗者:V神剛剛轉發用戶Jason Choi關于時代廣場大屏幕出現“nocoiner”字樣的推文,并發表評論稱“我非常不喜歡‘nocoiner’這樣的侮辱。沒有持有數字貨幣令牌的人不是一點都不酷的失敗者。他們是在使用非常合理的啟發式教育法,不親自參與他們不了解的行業。這有很多正當理由來對此保持警惕。”[2018/6/2]
其中丨x丨返回x中值的絕對值之和,diff返回每個鍵值的差值。
在實踐中,兩個相鄰驗證器集之間的差異將包括現有驗證器泄漏余額,以及以與泄漏余額相等的速率引入新驗證器。
V神:抵制Coindesk 2018共識會議:V神剛剛在其社交媒體表示,抵制Coindesk 2018共識會議,原因如下:1.Coindesk發布不實信息,參與炒幣騙局;2.Coindesk發布曲解EIP 999的報道;3.Coindesk的報道有陷阱;4.入場費高達2-3千美元,V神本人拒絕出席。[2018/4/27]
請注意,這意味著如果兩個終結性的視圖數量相差足夠遠,則這時候可以在不削減的情況下進行雙重終結性確定;這是有意為之,并且該協議以與當今CasperFFG處理不活動泄漏的方式相同的方式圍繞它工作。
機制
我們使用兩級分叉選擇:
選擇LATEST_FINALIZED_BLOCK
從LATEST_FINALIZED_BLOCK,應用一些其他叉選擇來選擇head
共識算法的視圖在每個插槽都會被嘗試,將基于get_post_state(LATEST_FINALIZED_BLOCK)數據的驗證器集生成函數作為輸入傳入。在視圖i中,一個有效的提案必須包含從LATEST_FINALIZED_BLOCK到插槽LATEST_FINALIZED_BLOCK.slot+i處的區塊的鏈。如果提示的父級是分叉選擇的贏家,這時驗證者才需要準備并提交提案。
如果CONSENSUS在某個視圖中成功,則該視圖中的提案將成為新的LATEST_FINALIZED_BLOCK,更改未來輪次的驗證器集。如果失敗,它將在下一個槽/視圖中進行下一次嘗試。
注意:插槽應始終等于當前視圖編號加上每個先前驗證器集中成功完成的視圖編號的總和。
我們有以下處罰:
由共識算法確定的定期削減處罰不活躍懲罰:如果這條鏈未能實現終結性,所有未參與的人都會受到懲罰。此懲罰旨在將r/2個插槽后的余額削減一半。
屬性
如果一個區塊獲得終結性,那么要終結確定一個競爭區塊,需要發生以下情況之一:
某些委員會被破壞,其中他們中≥1/3會被削減以對不同的區塊實現雙重終結性
最近的委員會離線,在r/3個插槽之后,委員會輪換足夠多,以便能夠在不削減的情況下使一個不同的區塊獲得終結性。然而,這是以嚴重的不活躍懲罰為代價的
在任何一種情況下,即使還原一個終結區塊也至少需要銷毀DEPOSIT_SIZE*COMMITTEE_SIZE/3個ETH。如果我們設置COMMITTEE_SIZE=131,072,則該值為1,398,101個ETH。
該方案的其他一些重要屬性包括:
驗證器的負載將非常穩定,無論存入多少驗證器,處理每個插槽的COMMITTEE_SIZE交易驗證者的負載會更低,因為當他們沒有被要求加入委員會時,他們可以休眠在不犧牲安全性的情況下,可以允許休眠的驗證器快速退出+撤回
擴展:具有較小委員會的鏈終結性
如果出于效率原因,我們必須減小COMMITTEE_SIZE,我們可以進行以下調整:
我們沒有選擇最新的終結性區塊,而是選擇作為最長終結性區塊鏈末端的終結區塊
get_validator_set應該只使用來自狀態超過COMMITTEE_LOOKAHEAD之前的信息
視圖編號應該只是插槽編號
這保留了上述所有屬性,但它也引入了一個新屬性:如果一個區塊獲得多個終結性,然后恢復該區塊需要違反多個委員會的終結性保證。這允許多個委員會的安全級別疊加:一個人需要COMMITTEE_SIZE*DEPOSIT_SIZE*k/3ETH來恢復k個終結性,最多k=COMMITTEE_LOOKAHEAD,此時委員會分歧。
還要注意,出于p2p子網安全的原因,先行機制無論如何都值得做,所以用它來設計系統可能是一個好主意,如果需要的話,讓客戶端來決定他們如何處理終極性反轉。
具體值的例子
請注意,“打破終結性所需的ETH”數量假設攻擊者控制的驗證器數量遠遠超過質押總量的一半;這個數量是攻擊者將失去的。并不是任何擁有2,730-174,762ETH的人都可以進入并銷毀該ETH以逆轉單一插槽的終結性。
Tags:ALIIZEVITVITAalice幣還有長期價值嗎CITIZEN價格VITES價格Vital Ethereum
巴比特訊,8月16日,跨鏈互操作協議PolyNetwork發推宣布主網升級上線。如其路線圖中所述,團隊已經完成了第二階段的目標,并將開始第三階段“項目啟動”.
1900/1/1 0:00:00日前,深圳市稅務局黨委委員、總經濟師項清透露,深圳“智稅”創新實驗室上線區塊鏈電子發票系統后,參與發起的《基于區塊鏈技術的電子發票應用推薦規程》國際標準,正式由IEEE確認并發布.
1900/1/1 0:00:00通過NFT,IP作品的傳播范圍得到了放大,鏈上的流通性也帶來了新的增值空間。 鏈新原創作者|馮銘 今年以來,“NFT”在全球掀起浩大的聲勢.
1900/1/1 0:00:00論文作者:Kleros創始人兼首席執行官FedericoAst、巴黎第二大學教授BrunoDeffains 編譯:白澤研究院 譯者注:本文篇幅較長,但譯者已經進行了邏輯整理.
1900/1/1 0:00:00據LiveBitcoinNews報道,阿富汗的內亂仍在繼續,在塔利班接管之前,像穆罕默德·阿里這樣的人物試圖為該國帶來全新水平的基于加密的創新.
1900/1/1 0:00:00巴比特訊,8月12日,數字收藏品平臺ENVOYNetwork宣布今日啟動并獲得250萬美元首輪私募融資.
1900/1/1 0:00:00