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