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

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

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

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

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

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

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

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

Ola は、ビットコイン エコシステムによってインセンティブが与えられる収益向上ネットワークです。Ola は、Onis と Massive という 2 つのコア製品を使用して、ユーザーが BitVM チャレンジャー、ZK ブリッジ スーパーバイザー、ZK 検証ノード、DA サンプラー、およびビットコイン エコシステムを強化するさまざまな監視ロールになることができる包括的なエコシステムを構築します。

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

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

Automata Network は、Proof of Machinehood アプローチで楽観的ロールアップとゼロ知識証明を活用して、マシンレベルの信頼を Ethereum に拡張するモジュール式の証明レイヤーです。アプリケーション固有のロールアップにより、プロトコル外の計算に対するオンチェーン検証が可能になり、Web3 スタック全体に上向きに広がる途切れない信頼チェーンが作成されます。

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

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

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

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

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

Chakra は、ZK 証明に基づくビットコイン再ステーキング プロトコルです。STARK を使用してビットコインのステーキング イベントを証明し、レイヤー 2 チェーンで証明を検証します。

vlayer は、ゼロ知識証明を活用した、信頼性のない検証可能なデータ インフラストラクチャです。

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

Fabric Cryptography は、高度な暗号アルゴリズム ハードウェアの開発、特にゼロ知識証明技術用の特殊なコンピュータ チップの構築に注力しているスタートアップ企業です。

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

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

Opacity は、詳細を明かさずにあらゆることを証明するためのゼロ知識証明プロトコルです。Opacity のゼロ知識証明プロトコルは、証明者と検証者を接続し、数分以内に信頼性のない情報の共有と検証を実現します。

Reclaim プロトコルは、計算効率が高く、安全でプライベートな出所証明 (PoP) をクライアント側で完全に生成し、ユーザーがそれを第三者と共有できるようにします。さらに、ユーザーはデータの特徴のゼロ知識証明を生成して、機密情報の共有を回避できます。Reclaim は、誠実な行動を奨励する経済的メカニズムを実装することで、信頼できる当事者を使用する必要性を排除するプロトコルの分散型拡張についても説明しています。

ZK Email には、ZK Email Verifier、Email Wallet、Email Wallet SDK、ZK Regex を含む ZK スイートがあります。ZK Email は、ZK 内での正規表現解析を含む、ZK 証明内でメールの署名を直接検証します。

Tusima は、Web3.0 と現実世界のビジネスをつなぐインフラストラクチャであり、Web3.0 の効率的で低コストの分散型ネットワーク上で RWB (現実世界のビジネス) を確立することに専念しています。Web3.0 をビジネス オペレーションに統合することで、変革的なイノベーション インフラストラクチャを活用して現実世界の商取引の可能性を最大限に引き出すことを目指しています。

Gasp は L2 クロスロールアップ プロトコルであり、Ethereum をすべてのクロスチェーン トランザクションの決済レイヤーにするというビジョンを持っています。Gasp は、常にユーザー資金の引き出しを保証するエスケープ ハッチ、ZK 証明、分散型シーケンサーの力により、従来のブリッジに頼ることなくネイティブのクロスチェーン スワップを提供します。

Alpen は、ゼロ ナレッジ テクノロジー ソリューションを備えたスケーリング可能なビットコインです。このプラットフォームは、ビットコインのより広範な導入を可能にするインフラストラクチャを構築します。信頼性のない検証可能なコンピューティングの新しい時代を切り開きます。