ゼロ知識証明

Brevisは、ゼロ知識証明（ZK）を活用した検証可能な計算プラットフォームであり、Web3における「インフィニットコンピュートレイヤー」として知られています。主な特徴は、リソースを多く消費する計算処理をオフチェーンで実行し、ブロックチェーンには簡潔な証明のみを検証させるというアプローチです。

Pico zkVMは、Brevis（BREV）が提供するオープンソースのモジュラー型ゼロ知識バーチャルマシン（zkVM）です。デベロッパーはRustであらゆる計算ロジックを記述し、計算が正しく実行されたことを証明するゼロ知識証明（ZK）を作成できます。

ZKデータコプロセッサは、スマートコントラクトが過去データにアクセスできないという課題を解決します。アーカイブノードから過去やクロスチェーンのデータをオフチェーンで取得し、計算処理を行ったうえで、結果とデータの真正性・正確性を証明するゼロ知識証明を返します。この証明は、スマートコントラクトがオンチェーン上でミリ秒単位で検証できます。データフローは「申請リクエスト」「オフチェーン計算」「ZK証明生成」「オンチェーン検証・結果受信」の4段階で構成されており、すべてのデータをリプレイすることなく信頼性の高い結論を導くことができます。

オラクルは主に外部のオフチェーンデータをブロックチェーンに取り込みますが、その信頼性はノードおよび経済的インセンティブに基づいています。一方、BrevisのようなZKコプロセッサは、既存のオンチェーン履歴データの検証可能な計算に特化し、ゼロ知識証明を活用することで結果を直接オンチェーン上で検証できるようにしています。これら2つの技術は、ブロックチェーンのデータフローにおいて対極的な位置を占めており、データの方向性、信頼モデル、計算能力の面で互いに補完し合う役割を果たします。両者の境界は厳格に定められているわけではなく、実際の運用では協調的なハイブリッド型アプローチが一般的に採用されています。

BREVはBrevisネットワークのネイティブトークンであり、プルーフ手数料の支払い、プルーバーのステーキング、プロトコルのガバナンスという3つの主要機能を提供します。coChainはプルーフ・オブ・ステーク型ブロックチェーンとして運用されており、Ethereumを基盤としたステーキングとスラッシング機構を備えています。バリデーターは自身の結果を「プロポーザル」としてリクエストチェーンに提出し、チャレンジウィンドウが開始されます。ゼロ知識証明を用いて誤ったプロポーザルが異議申し立てされ、成功した場合は関連するステークがEthereum上でスラッシュされます。異議申し立てがなければ、結果は自動的に承認され、プルーフにかかるコストが削減されます。

Manta PacificとManta Atlanticの核心的な違いは、その役割にあります。PacificはEthereum上のモジュラー型Layer 2ネットワークであり、ゼロ知識（ZK）技術を用いた分散型アプリケーションの展開とスケーリングに特化しています。一方、AtlanticはPolkadot上のZKレイヤー1ネットワークであり、zkAddressやzkSBTといったオンチェーン上のコンプライアンス対応アイデンティティ基盤を提供します。両チェーンはManta Networkエコシステムの一部であり、MANTAネイティブユーティリティトークンを共有していますが、その基盤となるエコシステム、技術スタック、およびターゲットとするユーザーグループにおいて構造的な差異があります。

Manta Network（MANTA）は、ゼロ知識（ZK）アプリケーション向けに設計されたモジュラー型ブロックチェーンエコシステムです。Ethereumエコシステム内のモジュラー型Layer 2ネットワークであるManta Pacificと、Polkadot上のZKレイヤー1ネットワークであるManta Atlanticで構成されています。Pacificは、Celestiaのデータ可用性レイヤーとEVM/zkEVM実行環境を活用し、分散型アプリケーションをサポートします。Atlanticはオンチェーン準拠IDに特化し、zkSBTおよびzkAddressを用いたプログラム可能なゼロ知識IDインフラストラクチャを提供します。

Universal Circuits は、Manta Pacific 上にデプロイされた ZK-as-a-Service のプリビルド回路ライブラリです。Solidity デベロッパーは、標準的なコントラクトインターフェースを通じて dApps にゼロ知識機能を追加でき、Cairo のような専用の ZK 言語に移行する必要はありません。代表的な用途としては、コンプライアンス対応の支払い、本人確認、zkShuffle などのオンチェーンゲームが挙げられます。

zkAddress と zkSBT は、Manta Network が Manta Atlantic チェーン上で開発した、コアとなるプライバシーアイデンティティコンポーネントです。zkAddress は再利用可能な UTXO スタイルのプライバシーアドレスを提供し、zkSBT はゼロ知識証明を用いて、そのアドレスにコンプライアンス認証情報を連携します。これらのコンポーネントは、Atlantic チェーン上でコンプライアンス対応のアイデンティティ基盤を構成し、Web3 アプリケーションがユーザーの元の個人データを開示することなく、アイデンティティを検証することを可能にします。

Manta Pacificへの資産のブリッジは、クロスチェーンブリッジを介してイーサリアムメインネットとモジュラー型Layer 2ネットワークであるManta Pacific間で、ロック、ミント、残高マッピングを繰り返し実行するプロセスです。イーサリアムエコシステム内のManta Networkの実行レイヤーとして、Manta PacificはETH、ERC-20、その他資産のオンチェーン展開とやり取りを可能にします。Pacific側のエコシステムアプリケーションを利用するには、ユーザーはまず、ブリッジのトリガー方法、内部でのシステム状態の変化、および資金の到着確認方法を理解する必要があります。

Zcash Orchardは、Zcashネットワークにおける第3世代のシールドトランザクションプールです。Halo 2ゼロ知識証明システムを基盤とし、プライベートトランザクションの効率性、スケーラビリティ、長期的なアップグレード可能性を高めます。前世代のSproutやSaplingと比べて、Orchardはトラステッドセットアップへの依存を減らしつつ、証明の生成と検証のワークフローを最適化します。

Horizen（ZEN）は、ゼロ知識証明を基盤とするブロックチェーンネットワークであり、メインチェーンおよびサイドチェーンを組み合わせたモジュラー型アーキテクチャを採用しています。これにより、プライバシー保護やクロスチェーン検証、カスタマイズ可能なブロックチェーンアプリケーションの構築を実現します。ブロックチェーン技術が価値移転の単なる手段からプログラム可能なインフラへと発展する中、Horizenはプライバシー重視のトランザクションや専用ブロックチェーン導入、マルチチェーン環境におけるバリデーションレイヤーとして広く活用されています。

ノックチェーンのコア動作メカニズムは、従来のPoWハッシュ計算をゼロ知識証明に置き換えます。ノックチェーンでは、マイナーは無意味なハッシュ演算でブロックを競うのではなく、検証可能な証明を生成してネットワークのコンセンサスに参加します。ノックチェーンのアーキテクチャには、NockVM、NockApp、Proofpower、グローバルコンセンサスSNARKsといったコンポーネントが含まれており、これらは全て、AI、プライバシーアプリケーション、検証可能な計算をサポートする分散型証明ネットワークの構築を目的として設計されています。

Nockchainは、ゼロ知識プルーフ・オブ・ワーク（ZKPoW）を基盤とするブロックチェーンネットワークです。その中核的な目標は、従来のPoWにおける無意味なハッシュ計算を、検証可能で実用的な価値を持つゼロ知識証明の生成（ZK proving）に置き換えることにあります。ハッシュレート競争に依存するビットコインとは異なり、Nockchainはマイナーの計算能力を検証可能な計算証明の生成へと振り向け、「有用なプルーフ・オブ・ワーク」モデルを確立します。

RailgunとTornado Cashは、いずれもオンチェーンプライバシープロトコルですが、設計思想と運用方法において大きく異なります。Tornado Cashは、固定額プールを用いて資金間のリンクを断つ匿名ミキサーとしてより機能します。一方、Railgunはzk-SNARKベースのプライベートDeFiプロトコルであり、プライバシーアカウント、機密取引、匿名スマートコントラクトのインタラクションを実現します。