Paradigm 介紹 Goldfish：PoS 以太坊中 LMD GHOST 分叉規則的安全替代品_SLOT

合并：從工作量證明到權益證明

以太坊即將從工作量證明(PoW)過渡到權益證明(PoS)，這是多年研究和開發的結晶。雖然PoS帶來了許多潛在的優勢，但這也意味著以太坊正在放棄中本聰最"長情"的協議——當然也是最簡單、最優雅的共識協議之一，并且已經過去中心化區塊鏈的實戰考驗。

以太坊PoS共識協議中，一個眾所周知的脆弱組件已被證明是“LMDGHOST”選擇分叉規則，最近發生了多次攻擊和打補丁，其安全性仍未得到證明。

在題為“PoS以太坊不再被攻擊？”的文章中，我們提出了Goldfish，它是PoS以太坊中LMDGHOST選擇分叉規則可證明的、安全的替代品。我們認為這只是朝著更嚴格的協議設計和分析邁出的第一步，目的是加強以太坊的安全性。

以太坊的權益證明協議

以太坊的權益證明(PoS)共識協議比PoW復雜得多。

LABEL Foundation獲得DWF Labs 100萬美元投資:金色財經報道，韓國區塊鏈音樂組織LABEL Foundation已Web3投資公司DWF Labs的風險投資。DWF Labs已向LABEL的生態系統注資100萬美元，以促進其開創性Dapp TRACKS的發展，并通過向市場推出創新解決方案來擴大其用戶群。

多年來，LABEL Foundation已經籌集了兩輪成功的投資，由傳統投資公司eBest Investment&Securities和Groom Investments領投。[2023/4/10 13:54:41]

它實際上是兩種不同共識協議的組合：一個“finalitygadget”，在6.4分鐘長的epoch后最終確定區塊，以及在每個epoch內管理鏈的選擇分叉規則fork-choicerule。這兩個組件以復雜的方式相互交互，下面用框圖進行描述：

紅杉資本與 \"Inspector Gadget\"創作者遭遇FTX集體訴訟:金色財經報道，風險投資公司紅杉資本和 \"Inspector Gadget\"的創作者被遭到FTX客戶的集體訴訟。在FTX上有資金被凍結的Connor O'Keefe，本周提起了訴訟。他聲稱，訴訟中提到的各方都知道FTX前首席執行官Sam Bankman-Fried的錯誤行為，Sam Bankman-Fried正面臨與他在交易所的角色有關的一連串刑事指控。

這起集體訴訟是在美國佛羅里達州南部地區法院的邁阿密分院提起的。訴訟中提到了十幾個當事方，包括銀門銀行、簽名銀行、Deltec銀行和信托有限公司以及Moonstone銀行，還有Jean Chalopin，他是卡通人物 \"Inspector Gadget \"的創造者，也是Deltec和Moonstone的董事長。訴訟中還提到了風險投資公司紅杉資本運營公司和Paradigm運營公司。[2023/2/24 12:26:29]

幣安將更改用戶LUNC和USTC的充提手續費收取方式:9月27日消息，幣安發布公告稱，根據社區的反饋，幣安將更改對Terra Classic網絡LUNC和USTC的充值和提現手續費收取方式。

在充值方面，LUNC和USTC在幣安上的充值，需繳納其他交易所或平臺（如適用）收取的提現費用。由于Terra Classic網絡上LUNC和USTC交易部署了1.2%的銷毀稅，幣安將在幣安用戶的充值到賬之前，對所有充值收取1.2%的歸集費用。

在提現方面，用戶收到的金額將為提現金額減去幣安收取的提現手續費和1.2%的銷毀稅。[2022/9/27 22:34:07]

具體來說，LMDGHOST指導區塊生產過程，并以12秒的時間Slot和驗證者的子抽樣組合運行。因此，它可以被認為是在PoS以太坊區塊獎勵前負責較弱的“短期共識”。一旦就交易賬本達成短期共識，它就會被移交給CasperFFG進行額外的加固，它在包含32個插槽=6.4分鐘的時間尺度上運行，并涉及完整的驗證器集。因此，CasperFFG負責提供更強大的“長期共識”，提供最終性和負責任的安全性。

Moadrona旗下兩支新基金完成6.9億美元募資，專注于Web3等領域投資:金色財經報道，總部位于西雅圖的風險投資公司Madrona宣布旗下兩支新基金完成6.9億美元募資，其中Madrona Fund 9完成4.3億美元募資，Acceleration Fund 3完成2.6億美元募資。新基金將重點投資Web3、應用人工智能/機器學習、現代數據堆棧和 DevOps、金融科技等領域，Madrona Fund 9將投資pre-seed、種子輪和A輪階段階段的初創公司，Acceleration Fund 3則專注于B 輪或 C 輪階段的初創公司。Madrona最新參投了Web3數據應用程序SPICE AI，還投資了專為青少年和父母構建的加密貨幣應用程序Stack。（nftgators）[2022/9/14 13:28:06]

不幸的是，這種復雜性伴隨著挑戰。特別是，LMDGHOST組件，以及LMDGHOST和CasperFFG之間的交互，都存在反反復復的攻擊、打補丁。目前為Merge采用的協議既沒有公開的攻擊，也沒有正式的安全分析/證明。

Lossless Protocol已阻止Horizo??n攻擊事件中的7800萬枚AGG代幣被盜:金色財經消息，在Harmony跨鏈橋Horizo??n攻擊事件中，DeFi黑客識別與激勵協議Lossless Protocol成功阻止7800萬枚AGG代幣被盜。其中在黑客進行攻擊時，對應惡意交易被報告為Lossless Protocol上的黑客攻擊，從而將7800萬枚AGG代幣有效凍結了24小時。按規定，在這24小時內，由代幣所有者，Lossless技術團隊和安全委員會組成的決策機構需對報告進行調查，然后投票決定黑客攻擊是否得到確認。決策機構很快結束了對黑客攻擊的調查，并于UTC時間6月24日下午3:17成功找回了被盜的7800萬枚AGG代幣。

此前報道，6月24日以太坊與Harmony間跨鏈橋Horizo??n遭到攻擊，損失金額約1億美元。[2022/6/27 1:33:38]

缺乏安全證明是令人擔憂的原因，但并不是因為簡單學術模型中的證明必然完美地表明現實世界的安全性。相反，即使在簡化模型中，我們也無法最終解釋為什么這個協議是安全的，這表明我們實際上并不了解協議，或者它們的后果和交互的全部范圍。

Goldfish

在題為“PoS以太坊不再被攻擊？”的文章中，我們提供了PoS以太坊的LMDGHOST分叉選擇規則的替代品。該協議稱為Goldfish，類似于LMDGHOST，但帶有安全證明。

為了更好地理解Goldfish，讓我們先預覽下LMDGHOST的大致工作原理：

假設我們的簡化網絡模型中消息引起的最大延遲為已知值A。在LMDGHOST中，相似步驟得到的值為2A。對于每個間隙，從完整的驗證者集中隨機選擇一個提議者和一個小的驗證者委員會。在每個slot開始時，slot的提議者運行LMDGHOST分叉選擇規則以確定規范的區塊鏈獎勵和提出一個新的區塊。

在slot進行到一半時，slot的委員會成員還使用相同的分叉選擇規則確定規范的區塊獎勵，并投票支持該獎勵。LMDGHOST沒有指定確認規則，而是讓用戶來決定區塊樹的哪些區塊擁有“足夠”的票數以確信他們不會離開規范鏈。

Goldfish緊密遵循這個一般結構，但為驗證者引入了一個額外的階段，以同步他們對投票計數的看法，并確認區塊：

在每個slot的開始，slot的提議者根據前一個slot的投票運行簡單的GHOST分叉選擇規則，以確定在哪里提議一個塊。進入slot的三分之一時，該時段的委員會成員使用相同的分叉選擇規則，該規則基于前一個時段的投票和提議者轉發的投票，來確定在哪里投票。最后，在進入slot的三分之二時，所有驗證者都運行一個明確定義的T深度確認規則。

Goldfish基于兩種關鍵技術，投票緩沖和投票到期，以仔細同步誠實驗證者的觀點：

投票緩沖。簡而言之，緩沖從網絡收到的選票，以及在每個驗證者的本地視圖中精心定時包含這些選票，保證了在具有誠實提議者的slot中，所有誠實的驗證者都投票支持提議者的提議。這導致了重組彈性：誠實的提議者的提議保證保留在規范鏈中。隨之而來的是安全性。

投票到期意味著在每個slot內，只有前一個slot的投票會影響協議的行為。投票到期使投票集很小，這可能會影響誠實驗證者的短期未來行動。因此，在任何時間點，只有少數協議消息需要在誠實驗證者的視圖中進行緩沖和合并。因此，投票到期是投票緩沖效率/可行性的先決條件。投票到期對于支持波動的驗證者參與水平以及支持在每個slot較小的子樣本選民委員會中運行協議，而不是在整個驗證者集中運行協議也至關重要。

最后，Goldfish的確認規則會確認區塊是否在創建后的一段時間內仍在規范鏈上。分析表明，由此產生的確認翻轉概率在出塊和區塊確認之間的延遲中呈指數級降低。

Goldfish面臨的挑戰：異步

Goldfish很簡單，可以接受嚴格的安全證明。這一分析立即取得了成果：請記住，我們一開始就假設我們的簡化模型中的網絡延遲上限為A(上圖中的△表示)。在證明安全性的過程中，我們必須明確這一假設和其他假設。

如果違反了這個界限，即如果網絡暫時異步，會發生什么？我們可以追蹤安全論證的步驟，看看在沒有假設的情況下會出現什么問題。我們看到，如果實際網絡延遲大于2A，那么Goldfish將無法及時獲得slot(t-1)的決定性選票以在slott的基礎上進行構建，該協議可能會受到重組的影響。

這樣的重組是不好的。但至少由于嚴格的安全論點，我們可以更好地了解我們系統的安全性關鍵依賴于哪些條件，以及為什么以及如何。我們可以做出更明智的決定，以確保滿足這些先決條件。例如，雖然在當前的點對點網絡協議中，攻擊者可能更容易引起一些網絡延遲，但最近對強化的點對點協議重新產生了興趣，這些協議重新啟用共識層的權益分配來指導對等點的選擇。這樣的協議更加抗攻擊，并且可以合理地緩解延遲問題。此外，確定性/問責制小工具為任何重組提供了支持。

還需要做什么

我們提出了Goldfish共識協議，旨在作為PoS以太坊信標鏈中LMDGHOST的替代品。我們對Goldfish本身進行了嚴格的安全分析，并結合了終局/問責制小工具。其他PoS以太坊共識安全挑戰仍然存在，例如，來自分叉選擇和finalitygadget的交互，我們期待在未來看到PoS以太坊在這些方面的進一步共識安全改進。

來源：Paradigm、比推

編譯及整理：比推MaryLiu

來源：金色財經

Tags：SLOTLOT以太坊OSTSlothi TokenSHIFLOTRI價格ehash幣持倉挖以太坊iost幣最新價格

火幣APP