Aligned 已於 3 月上線基於 Cosmos SDK 的簡單測試網，並將遷移到 EigenLayer 測試網。

作者： 1912212.eth，Foresight News

封面： Aligned

ZK 基礎設施仍持續獲得風險資本的青睞，今年 4 月剛完成 260 萬美元種子輪融資的 Aligned Layer，僅過不到兩個月，即完成 2000 萬美元的 A 輪融資，其速度之快，相當罕見。其種子輪由 Lemniscap 領投，StarkWare、O(1)Labs 等機構參投，A 輪則由 Hack VC 領投，dao5 等人參投。

Aligned 究竟有何特色吸引一眾創投瘋狂出手？

Aligned 簡介

在 Aligned 看來，未來的「證明生成」不會是業界的最大瓶頸，而是鏈上的證明驗證。而目前，因驗證成本高昂，ZK 系的應用程式也還無法在以太坊上高效運作。

Aligned 是建立在 EigenLayer 之上的驗證和聚合層，它透過利用以太坊驗證器的安全性對任何 SNARK 證明進行經濟高效的驗證。 Aligned 可以在以太坊之外擁有更多應用程序，並幫助其他鏈驗證資料。 Aligned Layer 由以太坊基礎設施新創公司 Yet Another Company 創建開發，而後者在今年 1 月完成 100 萬美元融資。

從概覽圖中可以看出，0 層是比特幣、以太坊和 DA 層，Aligned 是 1 層驗證層，2 級是其他層，例如：應用鏈、zkML、zkEVM Rollup 等。

Aligned 如何運作

模組化設計的浪潮中，將多個流程分割為多個專用層是普遍做法。從單一層負責執行驗證、結算、共識到 DA，拆分後的模組化設計提高效率並減少了成本。

Aligned 主要包含四個核心要素，其中，Aligned 主要接收來自不同證明系統的證明，對其進行驗證，這些證明可以使用不同的證明系統產生。它們具有不同的證明大小、驗證時間和不同的驗證邏輯。然而，所有的證明都有一個共同的特點：它們的驗證速度很快。

Aligned 有專門的驗證器，可用於檢查每個驗證器的有效性並將結果發佈到以太坊。校樣儲存在資料可用性層中，該層提供了一種經濟高效的儲存策略。 Aligned 中的運算子從該層取得證明的資料。

以太坊從 Aligned 接收驗證結果。但是，以太坊本身無法驗證證明，因為成本較高。取而代之的是，一般的 Rust 證明器會為給定時間段內包含的所有證明產生驗證證明。

為了聚合所有證明，在第一步中，將所有證明轉換為虛擬機器執行的證明，從而實現證明的統一性。然後，我們可以透過遞歸證明證明來縮小證明大小，如樹狀圖所示：

應用案例

Aligned 表示其可能應用的方向包括多種類別，例如：Rollups 和應用鏈的軟最終性、快速橋接、基於 SNARK 的 P2P 協議，例如支付系統和社交網路、與以太坊互操作的公鏈、機器學習、ZK 預言機、驗證身分協議、鏈上游戲等等。

目前，Aligned 支援 Cairo STARK 的 Platinum Prover、gnark 的 Plonk、Mina 的 Kimchi、SuccintLabs 的 SP1 和 a16z 的 Jolt。驗證成本取決於證明的類型及其大小。

此外，Aligned 已於 3 月上線基於 Cosmos SDK 的簡單測試網，並將遷移到 EigenLayer 測試網。

免責聲明：作為區塊鏈資訊平台，本站所發布文章僅代表作者及來賓個人觀點，與 Web3Caff 立場無關。文章內的資訊僅供參考，均不構成任何投資建議及要約，並請您遵守所在國家或地區的相關法律法規。