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

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

Soloは、ブロックチェーンとプライバシー保護技術を基盤とした分散型ID認証プラットフォームです。ゼロ知識証明、準同型暗号化、エンドツーエンドAIを活用し、ユーザー固有の認証を実現します。Web3およびAIアプリケーションに信頼性の高いIDインフラストラクチャを提供し、偽アカウントやIDの不正利用を防ぐことを目指しています。

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

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

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

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

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

AI Cross Matrix（ACM） is a privacy-focused financial protocol built on zero-knowledge proof (ZKP), ring signatures, and AI-based path obfuscation mechanisms, and is committed to achieving decentralized, cross-chain, and untraceable asset transfers.

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

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

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

Proofbase は、低レイテンシ、スケーラブル、マルチチェーン、ゼロ知識アプリケーション向けの証明ベースのブロックチェーンです。zk-SNARK 用の新しい LISP ベースのプログラミング言語である Lurk を導入しています。

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

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

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

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

Privacy Pool は、Ether 上で匿名のトランザクションを可能にするプロトコルです。ゼロ知識証明を使用して不正な資金を分離し、ユーザーが自分の身元を明かさずにコンプライアンスを証明できるようにします。

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

zkMe は、ゼロ知識証明の力を活用して、安全でプライベートな認証情報の発行と検証を可能にする分散型 Web3 認証情報ネットワークです。ZkMe を使用すると、ユーザーはプライバシーを侵害することなく、認証情報を承認された相手に選択的に開示し、デジタル ID を完全に制御できます。ユーザーは、個人情報が公開される心配をせずに、デジタル ID を作成および管理できます。このプロトコルは、フェア エアドロップのアンチシビル保護、GameFi 統合の匿名 Web データ認証、DeFi のプライベート KYC コンプライアンスなど、さまざまな業界で潜在的な使用例があります。

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

Self Labs は、プライバシーを第一に考えた、インターネット用のスケーラブルな信頼レイヤーを構築しています。Self Pass & Connect を備えた同社のオープンソース プラットフォームは、個人データを明かすことなくユーザーの ID と固有の属性を証明することに重点を置いており、ゼロ知識証明と電子パスポート NFC 技術を活用して、何百万ものユーザーに安全で分散化された検証を提供します。Self Protocol は、グローバル パスポート (174 か国以上) と、デジタル経済の繁栄に必要なコンプライアンス標準をサポートしています。

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

Fiamma はゼロ知識 (ZK) 証明に特化した検証ネットワークで、ユニバーサル ブロックチェーン統合のための安全で分散化された経済的に効率的なソリューションを提供することを目指しています。Fiamma は、Babylon との統合と BitVM2 の実装により、ビットコインの堅牢な暗号経済とネットワーク セキュリティの価値を活用するように設計されています。この組み合わせにより、Fiamma はビットコイン エコシステムに ZK 機能を導入し、イーサリアムやその他の場所で ZK の使用例を保護し、ZK テクノロジーの範囲と有効性を高めることができます。

zkPass は、3P-TLS とハイブリッド ZK テクノロジーを活用したプライベート データ プロトコルであり、Oauth API を使用せずに、あらゆる HTTPS ウェブサイトからプライバシーと整合性を保証しながら、安全で検証可能なデータ共有を行うためのツールとアプリケーションを提供します。

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

Morph は、完全に許可のないアーキテクチャ、分散型テクノロジー、開発者に優しいエコシステムを通じて暗号化された消費者支払いを拡張する消費者インフラストラクチャであり、ブロックチェーンを現実のシナリオに統合することに取り組んでいます。

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

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

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