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

WEEX 唯客博客， 作者：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 證明器會為給定時間段內包含的所有證明生成驗證證明。 為了聚合所有證明，在第一步中，將所有證…