Delphi 探討共享證明者:模組化的新領地

Foresight News
2024-05-14 15:23:36
收藏
共享證明者可降低 zk 應用程序的證明成本,並提高證明效率。

原標題:Delphi Digital X 帳號

作者:Delphi Digital

編譯:Luffy,Foresight News

通常認為,模組化理論由四個層組成:DA(數據可用性)、共識、執行和結算。然而,一個新的層,即共享證明者,可能會被整合到模組化理論中。

它能否成為高效、可擴展驗證所缺失的部分? 共享證明者、證明聚合和證明者市場正在改變零知識證明的格局。你可以在我們的最新報告中了解需要了解的一切。

下面是報告的要點總結

zk Rollup 簡要回顧

zk Rollup 解決方案可以擴展以太坊的交易規模,將交易移至鏈下以便更快地進行處理,同時在以太坊之上實現硬確定性,並通過 zk 證明(零知識證明)進行驗證。

zk 證明:驗證速度快,生成速度慢

zk 證明雖然在隱私和擴展方面功能強大,但在以太坊上創建證明可能成本高昂且速度緩慢。

高證明成本會限制 zk 應用。證明聚合和證明者市場等新方法旨在解決這些限制。

證明者供應鏈

共享排序器為跨區塊鏈的交易提供了高吞吐量。然而,它們實際上並不能證明任何事情。它們將來可能會與共享證明者網絡集成以委託這項任務。

如今,Rollup 面臨著昂貴的、單獨的零知識證明提交的難題。

證明者網絡提供了一種解決方案:一個統一的市場,各種 zk 應用程序可以將證明生成外包給專門的證明服務提供商,從而提高成本和效率。

共享證明者可以極大改善需要 zk 證明支持但缺乏內部 zkVM 或電路開發資源的應用程序的處境。

目前,Rollup 提交單獨的 zk 證明,導致高峰時段的 Gas 成本高昂。

證明者網絡現在的目標是將生成證明外包給專門的硬體提供商,以提高效率。

在具有多種 Rollup 並連接到證明者網絡的網絡中,交易生命周期的工作方式如下:

  • Rollup 提交證明請求。

  • 匹配機制選擇一個證明者。

  • 證明者滿足請求。

  • 將證明聚合起來。

  • 證明者將最終證明提交給 L1 進行驗證。

分攤驗證成本

證明奇點(Proof Singularity)是指旨在降低鏈上驗證證明成本的各種技術。

證明聚合就是這些技術之一,它將多個有效證明壓縮為一個可以驗證所有證明的證明。

與單獨驗證每個證明相比,這種「批量驗證」可以降低 Gas 成本。

zk App 證明者成本

zk 應用程序的高額驗證成本與證明時間最終會轉嫁給用戶。

在過去的幾年中,zk 應用程序(主要是 Rollup)花費了近 3000 萬美元的 Gas 來驗證和在鏈上發布證明。

證明聚合協議概況

Nebra UPA

Nebra UPA 讓 zk 應用捆綁許多證明,以降低驗證成本,他們聲稱在測試網上支持約 10 次證明 / 秒。他們的證明者目前是中心化的,但計劃以後實現無需許可證明。

它們具有類似於現有 L2 逃生艙的強制納入機制。如果證明者審查或延遲證明,zk 應用程序可以繞過證明者並在 L1 上強制執行證明結算。

Aligned Layer

Aligned Layer 是由 EigenLayer AVS 保護的以太坊通用 zk 驗證層。 Restakers 通過證明聚合和單一以太坊提交為用戶提供軟最終確定性。默認 DA 是 EigenDA,但也可以選擇其他 DA 層,例如 Celestia 或 Avail。

AggLayer

Polygon 的 AggLayer 是一個用於安全跨鏈交互的中立基礎設施。它旨在將獨立區塊鏈網絡統一在一個跨鏈橋下,在不損害區塊鏈主權的情況下促進互操作性。

該系統旨在匯總所有連接的 Rollup 中的證明,然後提交一個唯一的證明,該證明包含提交的每個單獨證明的 Merkle 樹。

  • 它不需要特定的虛擬機或執行環境

  • 區塊鏈可以自由選擇自己的 Gas 代幣

  • 它不需要服從共同治理。

在底層,將所有這些整合在一起的基礎設施是 LxLy 跨鏈橋,它標準化了一個通用的跨鏈消息傳遞協議,以便 Rollup 在保持主權的同時相互通信並與以太坊進行通信。

LxLy 運作方式的簡要說明

  • 每條鏈都在 Merkle 樹(出口樹)中跟蹤提款轉賬

  • 所有出口樹被合併成一個全球出口樹,跨鏈共享

  • 更新本地和全球樹,允許驗證和淨提款計算。

此外,Agglayer 在連接的 Rollup 之間有一個共享跨鏈橋,可簡化 L1 和 L2 之間的資產流動。資產抵押在一個 L1 合約中,無需包裝或者鎖定 / 鑄造。

傳統上,框架依賴於單個內部證明者,存在審查和活躍度問題的風險。證明者網絡可能會以中心化的方式開始,並隨著時間的推移逐漸去中心化。

證明者市場的去中心化仍是一個懸而未決的問題,但一些方法正在被探索:

  • 證明競賽:最快的證明者獲勝,提高了效率但浪費了計算(成本轉嫁給用戶)。

  • 證明挖礦:與 PoW 挖礦類似,使用隨機數來防止贏家通吃(計算浪費仍然存在)。SNARK ASIC 中的硬體加速有望降低成本。

鏈捕手ChainCatcher提醒,請廣大讀者理性看待區塊鏈,切實提高風險意識,警惕各類虛擬代幣發行與炒作,站內所有內容僅係市場信息或相關方觀點,不構成任何形式投資建議。如發現站內內容含敏感信息,可點擊“舉報”,我們會及時處理。
ChainCatcher 與創新者共建Web3世界