著者: 1912212.eth、フォーサイトニュース

ZK インフラストラクチャーは、今年 4 月に 260 万米ドルのシードラウンドを完了したばかりで、2 か月以内にシリーズ A の資金調達を完了したばかりであり、そのスピードは非常にまれです。シードラウンドは Lemniscap が主導し、StarkWare、O(1)Labs などの機関が参加しました。A ラウンドは Hack VC が主導し、dao5 などが参加しました。

多くのベンチャーキャピタル投資家を惹きつけるAlignedの特徴は何でしょうか?

アラインメントの概要

アラインド社の見解では、将来的に業界で最大のボトルネックとなるのは「プルーフ生成」ではなく、オンチェーンプルーフ検証だという。現時点では、検証コストが高いため、ZK ベースのアプリケーションはイーサリアム上で効率的に実行できません。

Aligned は、EigenLayer の上に構築された検証および集約レイヤーであり、イーサリアムバリデーターのセキュリティを活用することで、あらゆる SNARK プルーフのコスト効率の高い検証を可能にします。 Aligned はイーサリアムの外にさらに多くのアプリケーションを持ち、他のチェーンによるデータ検証を支援する可能性があります。 Aligned Layerは、イーサリアムインフラストラクチャの新興企業Yet Another Companyによって作成および開発され、今年1月に100万ドルの資金を調達した。

概要図からわかるように、レイヤー 0 はビットコイン、イーサリアム、DA レイヤー、Aligned はレイヤー 1 検証レイヤー、レベル 2 はアプリケーション チェーン、zkML、zkEVM ロールアップなどのその他のレイヤーです。

Aligned の仕組み

モジュラー設計の波では、複数のプロセスを複数の専用レイヤーに分割することが一般的です。 DA への検証、決済、コンセンサスの実行を担当する単一レイヤーから、分割後のモジュール設計により効率が向上し、コストが削減されます。

Aligned には主に 4 つのコア要素が含まれており、主にさまざまな証明システムから証明を受け取り、それらの証明をさまざまな証明システムを使用して検証します。証明サイズ、検証時間、検証ロジックが異なります。ただし、すべての証明には共通点が 1 つあります。それは、検証が迅速であるということです。

Aligned には、各バリデーターの有効性をチェックし、結果をイーサリアムに公開するために使用できる専用のバリデーターがあります。プルーフはデータ可用性層に保存されるため、コスト効率の高いストレージ戦略が実現します。 Aligned の演算子は、この層から証明用のデータを取得します。

イーサリアムはAlignedから検証結果を受け取ります。しかし、イーサリアム自体はコストが高いため証明を検証することができません。代わりに、通常の Rust 証明者は、指定された期間内に含まれるすべての証明に対する検証証明を生成します。

すべての証明を集約するには、最初のステップで、すべての証明を仮想マシンによって実行される証明に変換し、それによって証明の均一性を達成します。次に、樹形図に示すように、証明を再帰的に証明することで証明のサイズを減らすことができます。

応用事例

Aligned は、その可能なアプリケーションの方向性には、ロールアップとアプリケーション チェーンのソフト ファイナリティ、高速ブリッジング、支払いシステムやソーシャル ネットワークなどの SNARK ベースの P2P プロトコル、イーサリアムと相互運用するパブリック チェーン、マシンなど、さまざまなカテゴリが含まれると述べています。学習、ZKオラクル、本人確認プロトコル、オンチェーンゲームなど

現在、Aligned は Cairo STARK の Platinum Prover、gnark の Plonk、Mina の Kimchi、SuccintLabs の SP1、および a16z の Jolt をサポートしています。検証コストは証明の種類とサイズによって異なります。

さらに、Aligned は 3 月に Cosmos SDK に基づくシンプルなテストネットを立ち上げ、EigenLayer テストネットに移行する予定です。