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

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

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

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

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

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

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

EIP-7503 は、Nobitex Labs が構築したゼロ知識ワームホールです。EIP は、Ethereum のネイティブ プライバシー ソリューションとして、秘密裏に焼却された Ether の鋳造を可能にします。

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

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

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

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

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

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

ZERA Wallet は、保護された残高、プライベートおよびオフラインの P2P 転送、および保護された残高との間で直接ルーティングされる Jupiter/Raydium 上のプライベート スワップなどの機能を備え、日常の暗号通貨にプライバシーをもたらします。

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

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

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

Strobe は、ZK 耐性のある生成ネットワークです。Strobe は、新規および既存の L1、ロールアップ、アプリが Move スマート コントラクトを構築および実行し、IBC を介して相互に通信できるようにする cosmos-sdk 用のモジュールを構築しています。

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

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

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

QEDIT は、ゼロ知識証明と応用暗号化を使用してブロックチェーン インフラストラクチャにセキュリティ、プライバシー、スケールを追加するブロックチェーン プライバシー スタートアップです。

Prxvtは、パブリックネットワーク上でプライベートなトランザクションを可能にするブロックチェーンプロトコルです。ゼロ知識証明を用いることで、トランザクションの詳細を秘匿しつつ検証可能性を維持します。このプロジェクトは既存のブロックチェーンと統合することで、コアとなるコンセンサスメカニズムを変更することなく、ユーザーと資産の機密性を確保します。

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

ZK Sea Levelは、Solanaブロックチェーン上でゼロ知識圧縮を可能にするプロトコルです。ZKプルーフを通じてスケーラブルな状態管理とデータ可用性を実現し、コアとなるコンセンサスメカニズムを変更することなく、高スループットアプリケーションのコスト削減と効率向上を実現します。

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

Bonsol は Solana ネイティブの検証可能な計算フレームワークであり、開発者はオンチェーンの検証可能性を維持しながら複雑な計算をオフチェーンにオフロードし、Solana で効率的に検証できるゼロ知識証明を通じてセキュリティと信頼を保護できます。

Coset_io は、Web3 開発に重点を置いたコミュニティ組織であり、ゼロ知識証明 (ZK) とブロックチェーン テクノロジーの革新を促進することに専念しています。