2024 年 7 月 23 日，經(jīng)過漫長的等待，Avail 主網(wǎng)終于上線。顧名思義，Avail 是一個數(shù)據(jù)可用性 (DA) 層項目。很多人可能會想，“Avail 不就是另一個像 Celestia 或 EigenDA 這樣的 DA 項目嗎?”然而事實并非如此。

從 Avail 的路線圖可以看出，Avail 不僅僅是一個 DA 項目，而是一個垂直整合的統(tǒng)一層。雖然社區(qū)中已經(jīng)有大量文章介紹 Avail，但本文將重點介紹 Avail 相較于其他 DA 項目的優(yōu)勢。如果您有興趣了解 Avail 的基礎(chǔ)知識，請參閱以下文章：

Avail： Blockworks 的加密基礎(chǔ)設(shè)施統(tǒng)一

Redacted Research 的$AVAIL 與 Web3 的統(tǒng)一

1. 最小化信任的互操作性與固定的結(jié)算層

與其他 DA 層相比，Avail 最顯著的優(yōu)勢是其固定的結(jié)算層，稱為Avail Nexus，它支持匯總之間信任最小化的互操作性。

1.1 為什么需要具有統(tǒng)一證明體系的輪輻式模型?

為了實現(xiàn)安全橋接，了解對手方網(wǎng)絡(luò)的規(guī)范鏈和執(zhí)行的有效性至關(guān)重要。共享同一 DA 層的主權(quán)匯總在同一 DA 層上發(fā)布交易數(shù)據(jù)，因此很容易了解對手方網(wǎng)絡(luò)的規(guī)范鏈。但是，僅共享 DA 層并不容易驗證對手方網(wǎng)絡(luò)上的執(zhí)行有效性。

因此，已經(jīng)討論了在主權(quán) Rollup 之間實現(xiàn)信任最小化跨鏈消息傳遞的方法，最值得注意的是基于 Cosmos SDK 的 Rollup 之間的 IBC 消息傳遞。在 IBC 中，通過輕客戶端驗證對方網(wǎng)絡(luò)的區(qū)塊頭和 Merkle 證明來實現(xiàn)信任最小化橋接。

但是，不使用 Cosmos SDK 的主權(quán)匯總怎么辦?它們?nèi)匀恍枰ㄟ^輕客戶端驗證交易對手網(wǎng)絡(luò)的執(zhí)行有效性。虛擬機、證明方案(欺詐證明與有效性證明)或 zk 證明系統(tǒng)的差異可能會使構(gòu)建最小化信任橋接的驗證系統(tǒng)變得極具挑戰(zhàn)性。

此外，如果主權(quán)匯總之間的橋接是以點對點的方式而不是中心輻射模型進行的，那么橋接系統(tǒng)就會變得支離破碎。每個新渠道都需要一個新系統(tǒng)，并且可能會出現(xiàn)多種類型的包裝代幣，從而導(dǎo)致即使在同一類型的代幣之間也存在可互換性問題。

因此，為了在共享同一 DA 層的匯總之間進行橋接的安全性和無縫的用戶體驗，有必要使用統(tǒng)一的系統(tǒng)來驗證執(zhí)行情況，并采用共享單個結(jié)算層的軸輻式橋接模型。

1.2 利用 Nexus

633KMPpqH3NusrjUBRB3178nSOBdPkE5hCZiT5d6.png

這實際上就是 Avail Nexus 所做的。Avail Nexus 是基于 Avail 構(gòu)建的 zk 主權(quán)匯總，作為 Avail 生態(tài)系統(tǒng)的固定結(jié)算層。Avail Nexus 處理 1) 序列器拍賣和 2) 證明聚合，使 Avail 生態(tài)系統(tǒng)中的匯總能夠快速高效地實現(xiàn)信任最小化的跨鏈消息傳遞。

ZZ6GSzBfLnYaNTsSlfpaGzlbGB51eKoeu74e55Px.png

Avail Nexus 會匯總并驗證來自多個 rollup 的各種類型的證明，然后將它們合并為一個簡潔的證明。不僅有效性 rollup，樂觀 rollup 也可以參與 Avail Nexus。樂觀 rollup 可以將其收據(jù)和狀態(tài)根提交給 Nexus，如果在挑戰(zhàn)期間未提供任何欺詐證明，則它們將包含在 Nexus 狀態(tài)中。

聚合證明最終會提交給 Avail DA 和以太坊。由于 Avail DA 缺少執(zhí)行層，未來將添加一個模塊來驗證證明。Avail Nexus 上的 Rollups 的狀態(tài)信息在以太坊網(wǎng)絡(luò)上驗證，其運行的安全假設(shè)與使用以太坊作為結(jié)算層的 validiums 相同。

2. 使用 KZG 承諾方案進行快速驗證

Avail DA 采用 KZG 承諾方案進行有效性證明，允許輕客戶端快速簡潔地驗證數(shù)據(jù)可用性。此外，由于 KZG 承諾的同態(tài)特性，無需欺詐證明即可驗證擦除編碼的正確性，從而消除了挑戰(zhàn)期造成的延遲。

2.1 ELI5：KZG 承諾

在密碼學(xué)中，承諾是一種在某一時刻承諾一段數(shù)據(jù)并在稍后顯示它以證明原始數(shù)據(jù)的方法。承諾通常用于壓縮或隱藏數(shù)據(jù)。承諾的兩個關(guān)鍵屬性是綁定和隱藏。

綁定：一旦數(shù)據(jù)被提交，就不能被更改，從而確保完整性。

隱藏：無法從承諾中推斷出原始數(shù)據(jù)。

區(qū)塊鏈中常見的承諾方案是Merkle樹，它將信息壓縮成一個單一的值，不會泄露原始數(shù)據(jù)，并且可以輕松驗證特定數(shù)據(jù)是否包含在Merkle樹中。

KZG 多項式承諾方案承諾多項式。數(shù)據(jù)可以轉(zhuǎn)換為多項式，該多項式具有固定大小的單個承諾值。KZG 承諾的優(yōu)勢在于，驗證者可以使用非常小的 KZG 證明(O(1))輕松證明特定數(shù)據(jù)的包含。與 Merkle 樹相比，這是一個顯著的優(yōu)勢，因為 Merkle 樹的證明大小隨數(shù)據(jù)大小呈對數(shù)增長(O(logN))。

2.2 KZG 在 Avail 中的承諾

zfIeAOif2yxjnZMibHYRhdfooy8v2nIQS2xOLdBM.png

讓我們深入研究一下 Avail DA 中的數(shù)據(jù)存儲方式以及驗證數(shù)據(jù)可用性的過程。當(dāng)用戶(rollup)將交易數(shù)據(jù)發(fā)送到 Avail 時，數(shù)據(jù)被排列成二維矩陣。然后使用糾刪碼生成冗余數(shù)據(jù)，從而有效地將原始數(shù)據(jù)加倍。

由于數(shù)據(jù)量擴大到原來的兩倍，惡意區(qū)塊生產(chǎn)者必須隱藏一半以上的數(shù)據(jù)才能將其隱藏，因此在數(shù)據(jù)可用性采樣過程中，這種行為極有可能被檢測到。每行中的數(shù)據(jù)都轉(zhuǎn)換為多項式，并且該數(shù)據(jù)的 KZG 多項式承諾包含在區(qū)塊頭中。以下是 KZG 承諾所實現(xiàn)的功能：

輕客戶端可以快速輕松地驗證數(shù)據(jù)可用性：如果輕客戶端想要檢查特定數(shù)據(jù)是否包含在某個塊中，則得益于 KZG 承諾，完整節(jié)點可以提供非常小的 KZG 證明(O(1))。

無需欺詐證明即可驗證糾刪碼的正確性：在 Celestia 中，欺詐證明用于驗證糾刪碼的正確性，這可能會因挑戰(zhàn)期而導(dǎo)致延遲。由于 KZG 承諾是同態(tài)的，因此可以通過檢查糾刪碼數(shù)據(jù)的承諾是否與糾刪碼承諾相匹配來快速驗證糾刪碼的正確性。

3. 使用 BABE 和 GRANDPA 實現(xiàn)安全性和活躍性

大多數(shù)區(qū)塊鏈網(wǎng)絡(luò)通常將重點放在其共識機制的安全性或活躍性上。建立在底層(Polkadot SDK)上的 Avail DA 使用 BABE 和 GRANDPA 作為其共識機制，提供與以太坊類似的活躍性和安全性的平衡。

3.1 區(qū)塊鏈擴展的盲分配(BABE)

BABE 是 Avail 的區(qū)塊生產(chǎn)引擎，負(fù)責(zé)確?；钴S度。每個時隙(20 秒)都會通過 VRF 選出一個主要作者來生產(chǎn)區(qū)塊。一個時隙內(nèi)可以有多個作者，也可以沒有作者。如果選擇了多個作者，則競賽開始，傳播次數(shù)最多的區(qū)塊將成為規(guī)范鏈的一部分。如果沒有選擇主要作者，則通過循環(huán)方法選出的次要作者會生產(chǎn)區(qū)塊。

3.2 基于 GHOST 的遞歸祖先派生前綴協(xié)議(GRANDPA)

GRANDPA 充當(dāng)類似于以太坊 Casper FFG 的最終確定工具，但不同之處在于它最終確定的是規(guī)范鏈而不是單個區(qū)塊，從而加快了最終確定過程。在同步環(huán)境中，超過三分之二的節(jié)點需要誠實才能確定最終確定性，而在異步設(shè)置中，它可以處理多達五分之一的拜占庭節(jié)點。

4. 具有強大加密經(jīng)濟安全性的生態(tài)系統(tǒng)

5YRik4GiyI1ozoArFsyg0hm4gJCxbgj22oyvqsvg.png

Avail Fusion 允許來自其他生態(tài)系統(tǒng)的代幣為 Avail 生態(tài)系統(tǒng)的加密經(jīng)濟安全做出貢獻。EigenLayer、Babylon、Symbiotic 和 Karak 等協(xié)議因利用 BTC 和 ETH 的巨大安全性而受到關(guān)注。隨著 Avail Fusion 的實施，Avail 生態(tài)系統(tǒng)的安全級別有望顯著提高。對 Optimium 和 Validium 的常見批評是由于依賴外部 DA 層而削弱了它們的安全性。帶有 Avail Fusion 的 Avail DA 可以減輕這些批評。

有趣的是，Avail 上的 rollup 代幣也可以在 Avail Fusion 中使用。rollup 代幣經(jīng)濟學(xué)最大的缺陷之一是缺乏治理之外的實用性。Avail Fusion 可以通過使用 rollup 代幣實現(xiàn)加密經(jīng)濟安全來解決這一問題，從而提高其生產(chǎn)力并加速生態(tài)系統(tǒng)的激勵飛輪。

然而，一個值得關(guān)注的問題就是獎勵的分配。如果其他生態(tài)系統(tǒng)的代幣被用于共識并獲得區(qū)塊獎勵，AVAIL 質(zhì)押者的相對獎勵可能會減少。因此，在引入 Avail Fusion 時，需要對外部生態(tài)系統(tǒng)代幣的質(zhì)押和獎勵比率進行復(fù)雜的設(shè)計。

5. 各種代幣實用程序

代幣經(jīng)濟學(xué)是加密行業(yè)最有前景的領(lǐng)域，也是長期存在的問題。雖然代幣可以充當(dāng)確保協(xié)議順利運行的潤滑劑，但設(shè)計不佳或缺乏實用性可能會使它們成為一種損害。

whY1vfuBOeZBAaTy3Ku7e6RmYjDCaIlS8R7s7Ws1.png

幸運的是，Avail 通過統(tǒng)一層的概念為 AVAIL 代幣提供了多種用途，與許多其他協(xié)議不同，它在內(nèi)部集成了多個層和功能：

治理

DA 費用

提供 DA 安全性

質(zhì)押參與 Nexus 的序列池

質(zhì)押參與 Nexus 中的證明聚合池

過渡費

考慮到每層的功能和代幣效用，Avail 可視為 DA 層、去中心化排序?qū)雍?ZKP 聚合層的組合。這凸顯了 Avail 生態(tài)系統(tǒng)的巨大潛在增長。

6. 最后的想法

雖然以太坊內(nèi)部的模塊化生態(tài)系統(tǒng)取得了長足的進步，但以太坊之外的模塊化生態(tài)系統(tǒng)在互操作性和安全性方面仍不成熟。Avail 通過 Avail DA、Avail Nexus 和 Avail Fusion 為這些問題提供了有效的解決方案，使其成為理想的模塊化生態(tài)系統(tǒng)。

就像正在進行的基礎(chǔ)設(shè)施與應(yīng)用程序之爭一樣，即使 Avail 構(gòu)建了完美的基礎(chǔ)設(shè)施，真正的挑戰(zhàn)仍是創(chuàng)建一個動態(tài)生態(tài)系統(tǒng)。不過，這沒什么可擔(dān)心的。根據(jù)Avail 生態(tài)系統(tǒng)頁面，Avail 已經(jīng)集成到許多匯總 SDK 中，包括 Arbitrum Orbit 和 Polygon CDK。Conduit 和 AltLayer 等眾多 RaaS 平臺也支持 Avail DA，總共有 32 個匯總網(wǎng)絡(luò)將加入 Avail DA。

近年來，模塊化生態(tài)系統(tǒng)變得更加多樣化和廣泛。許多模塊化項目(例如，rollup、DA 層)正在進入市場，要想在這種競爭環(huán)境中生存，項目必須具有獨特的優(yōu)勢。Avail 憑借其統(tǒng)一層的概念，執(zhí)行 DA、排序、ZKP 聚合和重新質(zhì)押等功能，在市場上占據(jù)獨特地位。因此，Avail 即將到來的旅程絕對值得期待。