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

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

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

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

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

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

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

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

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

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

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

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

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

Aligned Layer は、EigenLayer の上に開発された ZK 検証レイヤーです。これにより、Ethereum の制限なしに Ethereum バリデータのセキュリティを活用し、あらゆる SNARK 証明をコスト効率よく検証できるようになります。Eigen Layer AVS として、L2 およびブリッジ向けの手頃な価格の検証と多目的な証明システムを約束し、ブロックチェーン エコシステムの重要なニーズに対応します。

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

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

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

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

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

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

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

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

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

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

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

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

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

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

ZKForgeは、ブロックチェーンエコシステムにおけるゼロ知識証明の開発と展開のためのツールを提供するプラットフォームです。回路設計、証明生成、レイヤー2ソリューションとの統合をサポートし、ブロックチェーンのコアプロトコルを変更することなく、プライバシーとスケーラビリティを強化します。

Authena is a decentralized authentication project with a focus on privacy protection. It uses ZK technology to provide secure and anonymous human identity verification services for the Web3 ecosystem, mainly for secure airdrops, NFT minting, and digital identity management. Committed to building the largest people-centric digital identity network.