Boundless はゼロ知識証明を利用することで、ブロックチェーンが再実行を必要とせずに計算の正確性を検証できるようにします。検証可能コンピューティングと呼ばれるこの画期的な機能により、ネットワーク内の単一のノードによって実行されるアクションを各ノードによって低コストで検証できるようになります。

Union は、あらゆるエコシステムにわたるすべてのブロックチェーンとロールアップを接続する、非常に効率的な相互運用性プロトコルです。コンセンサス検証に基づいており、信頼できるサードパーティ、オラクル、マルチ署名、または MPC に依存しません。

Pi Squared は、ゼロ知識証明 (ZK) テクノロジを使用して、特定のプログラミング言語 (PL) や仮想マシン (VM) に依存せずに、あらゆるプログラムの正しい実行を検証します。K フレームワークとマッチング ロジックに基づいて、普遍的で効率的な検証方法を提供します。ブロックチェーン、言語、アプリケーションのシームレスな相互運用性を実現するように設計されています。

Cysicは、GPU、ASIC、そしてコンピューティングリソースを流動性と収益性の高い資産へと変換することを目的としたフルスタック・コンピューティング・ネットワークです。同社の製品には、ZKプルーフレイヤーCysic Network、Cysicハードウェア（GPU、ZK Air、ZK Pro）、そしてCysic AIが含まれます。

Billions.Network は、サム・アルトマンの暗号プロジェクトである World を含む既存の認証システムに代わる、生体認証を使わずプライバシーを重視した代替手段を提供するように設計されたデジタル ID 認証プラットフォームです。ゼロ知識証明技術を活用したこのプラットフォームは、人間と AI の両方の ID を認証するためのスケーラブルで安全な方法を提供することを目指しています。

X Layer は、OKX と Ethereum コミュニティを接続し、誰もが真にグローバルなオンチェーン エコシステムに参加できるようにする、ZK を搭載したレイヤー 2 ネットワークです。

Succinct は分散型証明ネットワークを構築しており、これにより誰もが信頼ではなく暗号の真実によって保護されたブロックチェーン アプリケーションとインフラストラクチャを構築できるようになります。Succinct は証明サプライ チェーンを統合し、ロールアップ、コプロセッサ、およびゼロ知識証明を使用するその他のアプリケーション向けに、クラス最高の価格で可用性の高い証明生成インフラストラクチャを提供します。

Sophon は、zkSync の ZK Stack テクノロジーを活用したモジュール ロールアップとして構築された、エンターテイメントに重点を置いたエコシステムです。ZK Stack を活用した ZK チェーンとして、Sophon は人工知能やゲームなどのあらゆる高スループット アプリケーションに合わせてカスタマイズできるように設計されています。

zkCandy は、ゼロ知識証明を利用してトランザクション速度を加速し、手数料を削減する、Ethereum のレイヤー 2 スケーリング ソリューションです。トランザクションをオフチェーンで処理し、Ethereum のセキュリティを活用することで、zkCandy はスケーラビリティを強化し、Ethereum エコシステムとの互換性を維持しながら、より高速でコスト効率の高いトランザクションを保証します。

Lagrange は、さまざまなブロックチェーンにわたってビッグデータ規模で検証可能な計算を可能にするゼロ知識コプロセッシング プロトコルです。独自の ZK コプロセッシング アプローチには、オフチェーンで計算を実行し、その結果の ZK 証明を生成してオンチェーンに送信するノードの分散ネットワークが含まれ、超並列方式で実行されるため、大幅な効率とコストの向上が実現します。超スケーラブルな証明を提供することで、Lagrange はクロスチェーンの相互運用性とビッグデータに対する複雑な計算を必要とするアプリケーションにおけるイノベーションへの扉を開きます。

Linea はレイヤー 2 のゼロ ナレッジ Ethereum 仮想マシン (zkEVM) です。Ethereum 環境をロールアップとして複製し、開発者が Ethereum メインネットと同じように構築できるようにします。これにより、ユーザーは Ethereum と同じエクスペリエンスとセキュリティ保証を享受できますが、トランザクション コストは削減されます。

Nexus ネットワークは、大規模に並列化された証明マイニング ネットワークです。これは Nexus zkVM の世界規模のインスタンス化であり、十分なコンピューティング パワーが接続されていれば、1 秒あたり 1 兆 CPU サイクルで実行されるように設計されています。Nexus zkVM (ゼロ知識仮想マシン) は、モジュール式で拡張可能、オープン ソース、高度に並列化され、証明者向けに最適化され、貢献者フレンドリーな、Rust で記述された zkVM であり、パフォーマンスとセキュリティに重点を置いています。

Axiom は、スマート コントラクトがチェーン上のすべてのデータを信頼せずにアクセスして処理できるようにする ZK コプロセッサです。コプロセッサは、オフチェーンでデータを処理し、そのデータをメインの Ethereum ブロックチェーンに転送して、ZK 証明で検証するソフトウェアです。

zkSync は、最新世代の簡潔なゼロ知識証明を活用して、基盤となるブロックチェーンのセキュリティ特性を維持するレイヤー 2 スケーリング ソリューションです。zkSync のすべての資金はメインチェーンのスマート コントラクトに保持され、計算と保存はオフチェーンで実行されます。各 Rollup ブロックに対して、状態遷移ゼロ知識証明 (SNARK) が生成され、メインチェーン コントラクトによって検証されます。この SNARK には、Rollup ブロック内のすべてのトランザクションの有効性の証明が含まれます。

Zypher Network は、zkp と AI を活用した一連のゲーム開発コンポーネントを備えた、AI と ZK ベースのオンチェーン ゲーム エンジンおよびインフラストラクチャの大手開発会社です。これらには、zk-as-a-services SDK、AI as a services、Sovereign Layer 3 Rollup が含まれ、分散型ゲームに必要な構成可能性、プログラミング可能性、スケーラビリティ、プライバシーを提供します。Zypher は、ゲーム開発者にリッチで複雑な自律世界を構築する力を与えたいと考えています。

OpenVM は、カスタマイズと拡張性を考慮して構築された、高性能でモジュール化された zkVM フレームワークです。OpenVM は、開発者が 1 つの統合フレームワーク内で ISA、ZK 回路、および証明システムを拡張できるようにする、新しいモジュール設計によってこれを実現します。

Ceno は、次世代の高性能な GKR ベースの zkVM です。

Citrea は、ビットコインの ZK ロールアップであり、ビットコインで決済する実行レイヤーです。Citrea で発生するすべてのトランザクションは、ゼロ知識証明によって完全に保護され、BitVM を通じてビットコインによって検証されます。

Manta Network は、ゼロ知識 (ZK) アプリケーション用のマルチモジュール エコシステムです。最速の ZK L1 チェーンである Manta Atlantic は、準拠したオンチェーン プライバシーと ID を通じて、Web3 にプログラム可能なプライバシーをもたらします。EVM ネイティブ ZK アプリケーション用の独自の L2 エコシステムである Manta Pacific は、Solidity を使用して簡単に ZK アプリケーションを展開できる、スケーラブルで安価なガス料金の環境を提供します。Manta Atlantic と Manta Pacific は、ゼロ知識暗号化を応用した次世代の Web3 アプリケーション開発と導入に比類のないエクスペリエンスを提供します。

StarkNet は、許可のない分散型の Validity-Rollup (別名「ZK-Rollup」) です。Ethereum 上の L2 ネットワークとして動作し、Ethereum の構成可能性とセキュリティを損なうことなく、あらゆる dApp が計算の無制限のスケーラビリティを実現できるようにします。これは、StarkNet が最も安全で最もスケーラブルな暗号証明システムである STARK に依存しているために可能になります。

ZEROBASE は、スピード、分散化、規制遵守のために設計されたリアルタイム ZK 証明ネットワークです。数百ミリ秒以内に ZK 証明を生成し、HUB リングウェイク メカニズムを通じて分散化された高速コンセンサスを確保し、大規模な商用利用を可能にします。

Nockchain は、新しい ZKVM を基盤とする、有用作業証明ブロックチェーンです。Nock の美しいシンプルさを活かして、ゼロ知識証明で効率的に使用できる最初のコンビネータベースの仮想マシンを構築しました。Nockchain は、計算、ストレージ、および新しい名前空間の証明を提供する高スループット チェーンです。

Ethproofs は、Ethereum のブロック証明エクスプローラーです。さまざまな zkVM チームからのデータを集約して、コスト、レイテンシ、証明時間などの主要なメトリックを含む、証明済みブロックの包括的な概要を提供します。ユーザーは、ブロックごとに証明を比較したり、ダウンロードしたり、さまざまな証明メタデータ (サイズ、クロック サイクル、タイプ) を調べたりして、個々の zkVM とその証明生成プロセスをより深く理解できます。

zkVerify は、決済の最適化のために設計された専用のゼロ知識証明検証ネットワークです。既存のブロックチェーン ネットワークとシームレスに統合するように設計された zkVerify は、技術的なオーバーヘッドを最小限に抑え、さまざまな zk ロールアップと決済レイヤーにわたる証明検証のための開発者に優しい環境を提供します。

Taiko は、分散型の Ethereum 相当の ZK-EVM および汎用 ZK-Rollup です。その目的は、Ethereum L1 用に開発された dApp の開発者とユーザーが、変更を加えることなく Taiko でそれらを使用できるようにすることです。そのため、dApp を L2 に迅速にデプロイでき、Ethereum のセキュリティを維持しながら、L1 よりも低い取引手数料で済みます。

Delphinus ラボは、ZKWasm 仮想マシンに基づくトラストレス コンピューティングおよびアプリケーション SDK のソリューションを提供します。ZKWASM (Web アセンブリをサポートする ZKSNARK 仮想マシン) は、WASM ランタイムで実行されるリッチ アプリケーションとチェーン上のスマート コントラクト間のトラストレス レイヤーとして機能します。同社の使命は、ロールアップをアプリケーション アプローチとして使用して、より一般的な Web アプリケーションを Web3 環境に簡単に統合できる zkWASM クラウド スイートを構築することです。

ZisKは、Rustのような高水準言語で書かれたプログラムの検証可能な実行を可能にするzkVMを備えたオープンソースのゼロ知識証明ツールスタックです。

Brevis は、ゼロ知識 (ZK) オムニチェーン データ認証プラットフォームであり、dApp が複数のブロックチェーンにわたって完全に信頼のない方法で任意のデータにアクセスし、計算し、利用できるようにします。Brevis には、データ駆動型 DeFi、zkBridges、オンチェーン ユーザー獲得、zkDID、ソーシャル アカウントの抽象化など、幅広いユースケースがあります。

Orbiter Finance は、イーサリアムのネイティブ資産を転送するための分散型クロスロールアップブリッジであり、レイヤー 2 のインフラストラクチャを提供します。Orbiter Finance には、送信者と作成者の 2 つの役割があります。送信者が転送を開始すると、作成者が流動性を提供します。スマート コントラクトにより、このプロセスのセキュリティが確保されます。作成者が不正行為を行い、転送が失敗した場合、送信者は作成者のマージンを使用して契約に仲裁要求を開始し、超過補償を受けることができます。

Soundness Layer は、Walrus と Sui 上に構築された分散検証レイヤーです。ゼロ知識証明を活用して、データ セキュリティ、プライバシー、ブロックチェーンのスケーラビリティを強化します。