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

Aligned已於3月上線基於Cosmos SDK的簡單測試網，並將遷移到EigenLayer測試網。
撰文：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測試網。