Hack VCが2000万ドルの資金調達を主導、AlignedはどのようにZK検証層を構築するのか？

著者：1912212.eth、Foresight News

ZK インフラは依然としてリスクキャピタルの注目を集めており、今年の4月には260万ドルのシードラウンド資金調達を完了した Aligned Layer が、わずか2ヶ月足らずで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 ロールアップなどの他の層です。

Aligned の運用方法

モジュラー設計の波の中で、複数のプロセスを専用の層に分割することは一般的な手法です。単一層が検証、決済、コンセンサス、DA を担当するのではなく、分割されたモジュラー設計は効率を高め、コストを削減します。

Aligned には主に4つのコア要素が含まれており、その中で 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 テストネットに移行する予定です。