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

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

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

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

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

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

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

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

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

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

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

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

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

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

ZkCloud は、ZK のユニバーサル証明レイヤーです。これは、証明需要を集約するオンデマンド証明ネットワークであり、AWS や GCP などの標準的な証明アウトソーシングで利用できるコストのほんの一部にまでコストを削減することで、証明可能なコンピューティングを利用する新しいアプリケーションを経済的に実行可能にします。また、スケーリングとプライバシーの両方のユースケースなど、業界全体からのワークロードを集約することで、証明ノードが可能な限り最高のリソース効率を達成できるようにします。

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

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

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

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

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

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

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

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

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

DeGate は、ゼロ ナレッジ (ZK) テクノロジーに基づいて構築された分散型取引プロトコルです。ZK ロールアップとして、Ethereum エコシステム内でスポット オーダー ブック取引とグリッド取引を提供することで市場の主要なギャップを埋め、集中型取引所 (CEX) に似たエクスペリエンスを提供します。さらに、DeGate は DAO 中心であり、DAO が財務を完全に管理します。

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

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

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

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

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