PolyHedra は、最先端のゼロ知識証明システムを備えた Web3 相互運用性のためのインフラストラクチャです。ZK-NFT コンテナ、DAO/DAC システム、分散型 Web3 ID などの高度にスケーラブルなミドルウェアを通じて、Web3 の設計空間を広げます。

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

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

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

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

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

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

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

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

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

Espresso Systems は、Web 3 アプリケーションにスケーラビリティとプライバシー システムを提供する EVM 互換のブロックチェーンです。コンセンサス プロトコル HotShot は数秒以内にトランザクションを確認し、Rollups は独自の集中型ソーターを使用する代わりに、数百のノードを選択してトランザクションをソートできます。Espresso は、Ethereum よりも安価な DA 代替手段をアプリケーションに提供します。

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

Hyliは、次世代のオンチェーンアプリを構築するための、証明に基づいた新しいL1です。複雑なロジックをオフチェーンで実行し、証明を提出すると、オンチェーンで決済する前にネイティブで検証します。

ZK Email には、ZK Email Verifier、Email Wallet、Email Wallet SDK、ZK Regex を含む ZK スイートがあります。ZK Email は、ZK 内での正規表現解析を含む、ZK 証明内でメールの署名を直接検証します。

Cysic は、ZK ベースのシステム用の ZK 証明を生成するために必要な時間を短縮するための高度な ASIC チップの設計に特化した ZK ハードウェア アクセラレーション プロジェクトです。

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

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

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

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

vlayer は、ゼロ知識証明を活用した、信頼性のない検証可能なデータ インフラストラクチャです。

RISC Zero は、ゼロ知識証明技術と RISC-V zkVM を使用して、次世代のスケーラブルなブロックチェーンを構築しています。Rust、Go、C++、その他の標準プログラミング言語でのプログラミングに精通した開発者は、オンチェーンの分散型アプリケーションを作成できます。

DeepSafeは、ブロックチェーンと人工知能（AI）のための分散型ゼロトラスト検証レイヤーの構築に特化した、暗号ランダム検証プロキシソリューションと独立したパブリックチェーンです。MPC、ZKP、TEE、Ring-VRFといった最先端の暗号技術を統合することで、DeepSafeは暗号セキュリティと検証可能な公平性を提供し、データとトランザクションのプライバシー、真正性、信頼性を確保することを目指しています。

Orochi Networkは、高度な暗号技術を用いてデータの完全性とプライバシーを確​​保するよう設計された検証可能なデータインフラストラクチャです。Orochi Networkは、機密性を損なうことなくデータの処理と検証を行うための安全なインフラストラクチャを提供します。最先端の暗号プリミティブを組み合わせることで、ユーザーはシステムの出力を信頼しつつ機密情報を保護することができ、透明性とプライバシーの両方が求められるアプリケーションにとって強力なソリューションとなります。

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

Midnight Network はデータ保護ブロックチェーンであり、開発者や企業はパフォーマンスや規制要件を犠牲にすることなく、機密データを保護する分散型アプリケーションを構築できます。開発者は、Typescript とゼロ知識 (ZK) 証明に基づく斬新で使いやすいプログラミング モデルで Midnight を構築できます。

Aztec Network は、Ethereum 上の最初のプライベート ZK ロールアップであり、分散型アプリケーションがプライバシーにアクセスしてスケーリングできるようにします。業界標準の PLONK 証明メカニズムは、主要なゼロ知識スケーリング プロジェクトで使用されており、ロールアップのセキュリティを確保しています。

Modulus は、暗号化ゼロ知識証明を使用してオフチェーン トランザクション計算に有効性と迅速なファイナリティを提供する、分散型 Ethereum レイヤー 2 スケーラビリティ ソリューションです。これは ZK-Rollup とも呼ばれます。ZK-Rollup は、ゼロ知識有効性証明を公開することでスマート コントラクトを透過的に実行し、Ethereum 仮想マシンとのオペコード互換性を維持します。

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

Fermah はユニバーサルな証明生成レイヤーです。供給側が GPU と FPGA で構成されるマーケットプレイスとして機能します。需要側では、Fermah は ZK が使用されるあらゆるインスタンスの証明を生成できます。

Opacity は、詳細を明かさずにあらゆることを証明するためのゼロ知識証明プロトコルです。Opacity のゼロ知識証明プロトコルは、証明者と検証者を接続し、数分以内に信頼性のない情報の共有と検証を実現します。