跳至主要内容

頁面上次更新: 2024年2月20日

Danksharding

Danksharding 可讓以太坊成為真正可擴容的區塊鏈,但需要進行一些協定升級才能實現這一目標。 Proto-Danksharding 是該過程中的一個中間步驟。 兩者的目標都是讓二層網路上的交易對使用者來說盡可能便宜,並且應該將以太坊擴容到每秒處理 >100,000 筆交易。

什麼是 Proto-Danksharding?

Proto-Danksharding 又稱 EIP-4844(opens in a new tab),是使卷軸新增資料到區塊更便宜的方法。 這個名稱來自提出這個想法的兩位研究人員:Protolambda 和 Dankrad Feist。 目前,由於卷軸在 CALLDATA 中發佈交易,因此卷軸的使用者交易成本受到限制。 這個成本很高,因為資料由所有以太坊節點處理並永遠存在於鏈上,即使卷軸只需要短暫使用這些資料。 Proto-Danksharding 引入了可傳送並附加到區塊的資料二進位大型物件。 這些二進位大型物件中的資料無法被以太坊虛擬機存取,並且會在一段固定時間(1 到 3 個月)後自動刪除。 這表示卷軸可以更便宜地傳送資料,並以更便宜的交易形式將節省的費用轉給終端使用者。

如何驗證二進位大型物件資料?

卷軸會將它們執行的交易發佈在資料二進位大型物件中。 它們還會發佈一則對資料的「承諾」。 它們透過將多項式函式擬合到資料來做到這一點。 之後可在任意點計算此函式。 舉例來說,若我們定義一個非常簡單的函式 f(x) = 2x-1,可以計算出 x = 1x = 2x = 3 時對應的結果分別為 1, 3, 5。 證明者會將相同的函式套用到資料上,並在相同的點進行計算。 如果原始資料改變,函式將不相同,因此每個點的計算結果值也會不同。 事實上,承諾和證明會更複雜,因為它們被包裝到加密函式中。

什麼是 KZG?

KZG 代表 Kate-Zaverucha-Goldberg,這是三位將資料二進位大型物件縮小至加密「承諾」(opens in a new tab)原始創作者名字的縮寫(opens in a new tab)。 必須驗證卷軸提交的資料二進位大型物件,以確保卷軸不會出錯。 這涉及證明者重新執行二進位大型物件中的交易以檢查承諾是否有效。 這與執行用戶端使用 Merkle 證明檢查一層網路上的以太坊交易是否有效,概念上相同。 KZG 是將多項式方程與資料擬合的另一種證明。 承諾會在一些保密資料點計算多項式。 證明者將對資料擬合相同的多項式,並以相同數值進行計算,以確認結果是否相同。 這是一種驗證資料的方法,與某些卷軸以及最終由以太坊協定的其他部分使用的零知識技術相容。

什麼是 KZG 儀式?

KZG 儀式是以太坊社群中許多人共同產生秘密隨機數字字串的一種方式,可用於驗證某些資料。 此數字字串是未知的,且任何人都無法重新建立,這一點很重要。 為了確保這點,每個儀式參與者都會收到前一位參與者傳來的字串。 接著他們將建立一些新的隨機值(例如允許瀏覽器測量滑鼠的移動),並將其與先前收到的字串混合。 然後他們會把新的值傳給下一位參與者,接著從本地機器中銷毀這個值。 只要其中一個儀式參與者是誠實的,那麼最終的值對攻擊者來說就是未知。 EIP-4844 KZG 儀式向公眾開放,數萬人參加新增自己的熵(指一種隨機值)。 全部參與者都進行不誠實的行為,才可能破壞這個儀式。 站在參與者的視角,如果他們知道自己是誠實的,則不需要信任任何人,因為他們知道自己可確保儀式安全(他們自己已滿足 n 分之一誠實參與者的要求)。

Danksharding 和 Proto-Danksharding 都不遵循傳統的「分片」模式,此模式旨在將區塊鏈分成多個部分。 分片鏈不再是以太坊開發藍圖的一部分。 相反,Danksharding 使用跨二進位大型物件的分散式資料採樣來實現以太坊擴容。 這在實作上容易很多。 此模型有時又稱「資料分片」。

Danksharding 是什麼?

Danksharding 完全實現了從 Proto-Danksharding 開始的卷軸擴容。 Danksharding 將在以太坊上為卷軸提供大量空間,用於轉存壓縮的交易資料。 這表示以太坊可以輕鬆支援數百個獨立的卷軸,並實現每秒處理數百萬筆交易。

其工作原理是將附加到區塊的二進位大型物件從 Proto-Danksharding 中的 1 個擴展到完整 Danksharding 中的 64 個。 所需的其餘變更都是對共識用戶端操作方式的更新,使得它們能夠處理新的大二進位大型物件。 這些變更有部分已在開發藍圖上,用於獨立於 Danksharding 的其他目的。 舉例來說,Danksharding 要求先實作提交者-建置者分離。 這是一個升級,它將不同驗證者建置區塊和提出區塊的工作分開。 同樣,Danksharding 需要資料可用性採樣,但開發不儲存太多歷史資料的輕量級用戶端(「無狀態用戶端」)也需要資料可用性採樣。

目前進度

完整的 Danksharding 還需要幾年的時間才會實作。 不過,Proto-Danksharding 應該很快就會實作。 截至本文撰寫時止(2023 年 2 月),KZG 儀式仍然保持開放並且已吸引 50,000 多位貢獻者。 Proto-Danksharding 的 EIP(opens in a new tab) 已經成熟,規範已達成一致,客戶已經實作原型,目前正在測試並準備投入生產。 下一步是在公共測試網上實作這些變更。 可以透過 EIP 4844 準備狀態檢查清單(opens in a new tab)取得最新資訊。

了解更多

這篇文章對你有幫助嗎?