合并:從工作量證明到權益證明
以太坊即將從工作量證明 (PoW) 過渡到權益證明 (PoS) ,這是多年研究和開發的結晶。雖然 PoS 帶來了許多潛在的優勢,但這也意味著以太坊正在放棄中本聰最"長情"的協議——當然也是最簡單、最優雅的共識協議之一,并且已經過去中心化區塊鏈的實戰考驗。
以太坊 PoS 共識協議中,一個眾所周知的脆弱組件已被證明是“LMD GHOST”選擇分叉規則,最近發生了多次攻擊和打補丁,其安全性仍未得到證明。
在題為“PoS 以太坊不再被攻擊 ?”的文章中,我們提出了 Goldfish,它是 PoS 以太坊中 LMD GHOST 選擇分叉規則可證明的、安全的替代品。我們認為這只是朝著更嚴格的協議設計和分析邁出的第一步,目的是加強以太坊的安全性。
以太坊的權益證明協議
以太坊的權益證明 (PoS) 共識協議比 PoW 復雜得多。
它實際上是兩種不同共識協議的組合:一個“finality gadget”(稱為 Casper FFG),在 6.4 分鐘長的 epoch 后最終確定區塊,以及在每個 epoch 內管理鏈的選擇分叉規則 fork-choice rule(稱為“Greedy Heaviest Observed Subtree”,簡稱LMD GHOST)。這兩個組件以復雜的方式相互交互,下面用框圖進行描述:
Live-to-Earn元宇宙KOOOLA(urban party版本)于今日正式發布:據官方消息,Live-to-Earn元宇宙KOOOLA(urban party版本)于今日正式發布。
據悉,KOOOLA是realymetaverse通過虛擬引擎開發的虛擬城市,經過半個月的封閉測試,當前已開放PC版本。MAC版本與其激勵機制將于本月底發布。
此外,KOOOLA的首場虛擬演唱會已于4月23日正式開啟, Higher Brothers的KnowKnow化身虛擬形象來到天空之島,演唱多首膾炙人口的歌曲,目前正在進行為期1個月的虛擬演唱會。持有Avatar即可進入KOOOLA City參與游戲。[2022/4/24 14:45:51]
具體來說,LMD GHOST 指導區塊生產過程,并以 12 秒的時間Slot和驗證者的子抽樣組合運行。因此,它可以被認為是在 PoS 以太坊區塊獎勵前負責較弱的“短期共識”。一旦就交易賬本達成短期共識,它就會被移交給 Casper FFG 進行額外的加固,它在包含 32 個插槽(slots) = 6.4 分鐘的時間尺度上運行,并涉及完整的驗證器集。因此,Casper FFG 負責提供更強大的“長期共識”,提供最終性和負責任的安全性。
美國SEC前官員宣布加入Paradigm并擔任政策總監:2月15日消息,美國SEC前官員、SEC立法和政府間事務辦公室前高級顧問 Justin Slaughter 今日宣布將加入 Paradigm 擔任政策總監,幫助 Paradigm 團隊及投資組合項目解決圍繞加密政策和監管相關的問題。Justin Slaughter表示:“我加入 Paradigm 是因為我相信加密可以成為經濟增長和增加競爭的力量。太多人被排除在少數公司主導的金融體系之外,無法獲得現代經濟生活核心的技術創新,包括更實惠的儲蓄和轉移資金方式。我們的社會非常缺乏信任,加密貨幣代表了我在近十年跨多個機構的公共服務中看到的對這種現狀的最大挑戰”。[2022/2/15 9:52:08]
不幸的是,這種復雜性伴隨著挑戰。特別是,LMD GHOST 組件,以及 LMD GHOST 和 Casper FFG 之間的交互,都存在反反復復的攻擊、打補丁。目前為 Merge 采用的協議既沒有公開的攻擊,也沒有正式的安全分析/證明。
缺乏安全證明是令人擔憂的原因,但并不是因為簡單學術模型中的證明必然完美地表明現實世界的安全性。相反,即使在簡化模型中,我們也無法最終解釋為什么這個協議是安全的,這表明我們實際上并不了解協議,或者它們的后果和交互的全部范圍。
比特幣礦企CleanSpark將投入1.45億美元建立碳中和比特幣礦場:9月17日消息,比特幣礦企CleanSpark宣布將與佐治亞州格威納特縣合作,預計未來5年內將在該州對礦場、硬件設備、電力、碳中和等方面投資1.45億美元以建立100%碳中和的礦場,其中硬件設備投資就將投入1.32億美元。(globenewswire)[2021/9/17 23:31:40]
Goldfish
在題為“PoS 以太坊不再被攻擊 ?”的文章中,我們提供了 PoS 以太坊的 LMD GHOST 分叉選擇規則的替代品。該協議稱為 Goldfish,類似于 LMD GHOST(因此不需要對當前客戶端實現進行大修),但帶有安全證明。
為了更好地理解Goldfish,讓我們先預覽下 LMD GHOST 的大致工作原理:
假設我們的簡化網絡模型中消息引起的最大延遲為已知值 A(如上圖中的△)。在 LMD GHOST 中,相似步驟得到的值為 2A 。對于每個間隙,從完整的驗證者集中隨機選擇一個提議者和一個小的驗證者委員會。在每個slot開始時,slot的提議者運行 LMD GHOST 分叉選擇規則(有兩個修改,“提議者提升”和“模棱兩可的折扣”,它們是響應兩個早期攻擊的補丁)以確定規范的區塊鏈獎勵和提出一個新的區塊。
動態 | CryptoCompare發布2019年1月的交易所交易報告:據ambcrypto報道,全球加密貨幣市場數據提供商CryptoCompare今天發布了2019年1月的交易所交易報告,內容主要涉及交易所交易量、去中心化交易所、收費類型、期貨交易、法幣交易以及穩定幣交易等。CryptoCompare首席執行官Charles Hayter稱,盡管市場活動放緩,但鑒于交易所正在拓展場外交易、衍生品和指數產品等業務,我們看到越來越多的成熟加密市場的跡象。[2019/2/21]
在slot進行到一半時,slot的委員會成員還使用相同的分叉選擇規則確定規范的區塊獎勵,并投票支持該獎勵。 LMD GHOST 沒有指定確認規則,而是讓用戶來決定區塊樹的哪些區塊擁有“足夠”的票數以確信他們不會離開規范鏈。
Goldfish 緊密遵循這個一般結構,但為驗證者引入了一個額外的階段,以同步他們對投票計數的看法,并確認區塊:
聲音 | GreySpark報告:盡管缺乏真正的投資者 但加密市場正在制度化:管理和技術咨詢公司GreySpark近日發布的一份研究報告顯示,盡管缺乏真正的投資者,但加密市場正在制度化。該研究從投資者、基礎設施提供商、技術提供商和數字貨幣交易所向各類投資者提供各種貨幣流動性渠道,集中展示了2018年數字貨幣市場的特征。同時提到BTC和ETH投資份額占比下降,市場逐漸多樣化,截至2018年8月,14種數字貨幣市值達到或超過10億美元;機構投資者仍難獲得二級市場流動性;以及數字貨幣市場ICO現狀等詳細情況。[2018/9/9]
在每個slot的開始,slot的提議者根據前一個 slot 的投票運行簡單的 GHOST 分叉選擇規則,以確定在哪里提議一個塊。進入slot的三分之一時,該時段的委員會成員使用相同的分叉選擇規則,該規則基于前一個時段的投票和提議者轉發的投票,來確定在哪里投票。 最后,在進入slot的三分之二時,所有驗證者都運行一個明確定義的 T 深度確認規則。
Goldfish 基于兩種關鍵技術,投票緩沖和投票到期,以仔細同步誠實驗證者的觀點:
投票緩沖(也稱為view merge,最早出現在新的共識協議 Highway 上)。簡而言之,緩沖從網絡收到的選票,以及在每個驗證者的本地視圖中精心定時包含這些選票,保證了在具有誠實提議者的slot中,所有誠實的驗證者都投票支持提議者的提議。這導致了重組彈性:誠實的提議者的提議保證保留在規范鏈中。隨之而來的是安全性(即輸出賬本的安全性和活躍性)。
投票到期(也稱為臨時投票)意味著在每個slot內,只有前一個slot的投票會影響協議的行為(類似于“健忘”的金魚,Goldfish 協議名稱源于此)。投票到期使投票集很小,這可能會影響誠實驗證者的短期未來行動。因此,在任何時間點,只有少數協議消息需要在誠實驗證者的視圖中進行緩沖和合并。因此,投票到期是投票緩沖效率/可行性的先決條件。投票到期對于支持波動的驗證者參與水平以及支持在每個slot較小的子樣本選民委員會中運行協議,而不是在整個驗證者集中運行協議也至關重要。
最后,Goldfish 的確認規則會確認區塊是否在創建后的一段時間內仍在規范鏈上。分析表明,由此產生的確認翻轉概率在出塊和區塊確認之間的延遲中呈指數級降低。
Goldfish 面臨的挑戰:異步(Asynchrony)
Goldfish 很簡單,可以接受嚴格的安全證明。這一分析立即取得了成果:請記住,我們一開始就假設我們的簡化模型中的網絡延遲上限為 A (上圖中的△表示) 。在證明安全性的過程中,我們必須明確這一假設和其他假設。
如果違反了這個界限,即如果網絡暫時異步,會發生什么?我們可以追蹤安全論證的步驟,看看在沒有假設的情況下會出現什么問題。我們看到,如果實際網絡延遲大于 2A(即當前 PoS 以太坊中的 8 秒),那么 Goldfish 將無法及時獲得slot (t-1)的決定性選票以在slot t 的基礎上進行構建,該協議可能會受到重組的影響。
這樣的重組是不好的。但至少由于嚴格的安全論點,我們可以更好地了解我們系統的安全性關鍵依賴于哪些條件,以及為什么以及如何。我們可以做出更明智的決定,以確保滿足這些先決條件。例如,雖然在當前的點對點網絡協議中,攻擊者可能更容易引起一些網絡延遲,但最近(也由于與網絡相關的數據可用性采樣挑戰)對強化的點對點協議重新產生了興趣,這些協議重新啟用共識層的權益分配來指導對等點的選擇。這樣的協議更加抗攻擊,并且可以合理地緩解延遲問題。此外,確定性/問責制小工具(最終可能會通過“單槽確定性”進一步加速)為任何重組提供了支持。
還需要做什么
我們提出了 Goldfish 共識協議,旨在作為 PoS 以太坊信標鏈中 LMD GHOST 的替代品。我們對 Goldfish 本身進行了嚴格的安全分析,并結合了終局/問責制小工具(基于另一個共識協議,例如 HotStuff)。其他 PoS 以太坊共識安全挑戰仍然存在,例如,來自分叉選擇和 finality gadget 的交互,我們期待在未來看到 PoS 以太坊在這些方面的進一步共識安全改進。
來源:Paradigm、比推
編譯及整理:比推 Mary Liu
比推 Bitpush News
媒體專欄
閱讀更多
金色早8點
財經法學
成都鏈安
Bress
鏈捕手
PANews
Odaily星球日報
自2022年初以來,各互聯網大廠紛紛曝出裁員消息,3月,騰訊爆出裁員消息,裁員涉及騰訊的平臺與內容事業群和云與智慧產業事業群,相關部門裁員比例高達30%;阿里巴巴宣布裁員.
1900/1/1 0:00:00一、meme事件起因 這幾天如果是沖浪和吃瓜第一線的朋友,應該都會看到一張V神和一個女生的合影被廣泛傳播,作為照片中的女生本人,本來是很普通的一個合照留念.
1900/1/1 0:00:00撰文:金郁欣、宋嘉吉 上周,一年一度的斯坦福區塊鏈周落下了帷幕,與洛杉磯、紐約的 Web 3.0 活動相比,灣區的學術氛圍非常濃厚,更偏向于開發者和生態發展.
1900/1/1 0:00:00原文作者:0xJustice.ethDAO的操作者們已經感受到了協調、溝通和執行失敗的痛苦。這就是我們想象的未來嗎?我們真的在建設新的數字領域的道路上嗎?許多經驗豐富的操作者甚至都會指出DAO構.
1900/1/1 0:00:00頭條 ▌加密貨幣總市值下跌至1萬億美元下方金色財經報道,據CoinGecko最新數據顯示,BTC當前價格為19720.49美元,24小時跌幅1.4%.
1900/1/1 0:00:00來源:DappRadar報告穩定幣是加密生態系統中最重要的組成部分之一。穩定幣市場在過去兩年中顯著增長,這類代幣依靠不同的方法來維持相對于一種或多種貨幣或其他資產(包括加密資產)的穩定價值.
1900/1/1 0:00:00