Hack VC 領投 2000 萬美元融資，Aligned 如何打造 ZK 驗證層？

作者：1912212.eth，Foresight News

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 測試網。