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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Scroll は、既存の Ethereum アプリケーションおよびツールとのネイティブ互換性を実現する、Ethereum 上の zkEVM ベースの zkRollup です。オフチェーンでトランザクションを処理し、簡潔な正しさの証明をオンチェーンに投稿することで、Ethereum ベース レイヤーと比較してスループットが向上し、コストが削減されます。

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

Inference Labs は、Web3 上の AI 向けインフラストラクチャと製品の開発を専門とし、ブロックチェーン上で相互運用する AI 推論に重点を置いています。ゼロ知識証明により、速度や効率を損なうことなくプライバシーとセキュリティが確保されます。ユーザーは、オフチェーン AI 出力の正確性を自分で計算しなくても検証できます。

Psyプロトコルは、Web3開発の課題に対処するために設計されたビットコインのネイティブ実行レイヤーです。水平スケーラブルで安全かつユーザーフレンドリーなこのプラットフォームは、開発者とユーザーの両方のために構築されており、DeFiからNFTまで、幅広いアプリケーションをサポートします。Psyプロトコル上に構築された分散型アプリケーションは、トランザクションをローカルで証明できるため、ユーザーは固定のガス料金で無制限の計算を実行できます。この革新的な手法により、すべてのユーザーの公開鍵は、スマートコントラクトに似た、状態から読み取ることができる「スマート署名」を備えたカスタムZK回路として機能します。

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

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

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

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

Obscura は、zk を搭載した Solana に基づくプライバシー レイヤーです。