zk証明

在 ChainCatcher 近日于香港举办的"Build and Scale in 2026"主题论坛上，ZK 可验证計算プラットフォーム Brevis の共同創設者兼 CEO Michael は「すべてのものが計算可能な無限計算層」について基調講演を行い、ZK 技術がブロックチェーン計算のパラダイムに根本的な変革をもたらす方法を共有しました。Michael は、現在のブロックチェーン上の計算コストが高く、速度が遅いことを指摘しました。Brevis が提案する「検証可能な計算」パラダイムは、重い計算をオフチェーンに移行し、オンチェーンでは低コストの検証証明のみを必要とし、計算と検証のデカップリングを実現し、プライバシー保護シナリオをサポートします。講演では、Brevis のコア製品 Pico ZKVM の性能のブレークスルーが示されました：最新世代の Pico Prism は、平均 6.9 秒でイーサリアムブロックの証明を完了し、99.6% のブロックが 12 秒以内に完了し、イーサリアムのリアルタイム証明（RTP）を初めて実現しました。現在、Pico ZKVM は「オンチェーン ZK データコプロセッサ」として、プライバシー保護インセンティブの配布、高性能 DeFi、信頼のないオンチェーンデータ計算などの複数のシナリオに適用されており、開発者にゼロ ZK 開発経験の Rust プログラミングサポートを提供しています。Michael は、今後 10 年間で 99% のブロックチェーン計算がオフチェーンで行われ、ZK 証明によって検証されると予測しています。Brevis はその検証可能な計算インフラストラクチャを通じてこのプロセスを推進しています。

ChainCatcher のメッセージ、Vitalik Buterin の最新の執筆、GKR（Goldreich--Kahan--Rothblum）プロトコルが ZK 証明を加速するために使用され、"バッチ × 多層" 計算構造に適応し、中間層のコミットメントを大幅に削減し、入力と出力にのみコミットメントを行うことを詳しく解説しています。この記事では、Poseidon2 ハッシュを例に、sumcheck を中心とした再帰証明プロセスを詳しく解説し、最適化（Gruen のトリック、線形バッチ処理、一部ラウンドの立方体の最初の要素）を示し、多項式コミットメントのシナリオでは BaseFold または FRI と組み合わせることができます。著者は、実際のコストが従来の STARK の約 100 倍の理論値を下回ると述べており、単一の数字レベルのコストが期待できるとしています。また、Fiat--Shamir の挑戦に対して回路内の予測可能性リスクに注意するよう警告しています。

ChainCatcher のメッセージ、リアルタイム ZK プルーフネットワーク ZEROBASE が X プラットフォームで発表し、その総ロックアップ価値（TVL）が 5 億ドルを突破したことを示しています。

ChainCatcher のメッセージによると、公式の発表で、リアルタイム ZK プルーフネットワーク ZEROBASE の預金が 2 億ドルを突破しました。

ChainCatcher のメッセージによると、The Block が報じたところでは、Paradigm によって支援されている Succinct が、Ethereum ベースのゼロ知識証明（ZKP）バリデータネットワークのネイティブアセットとして PROVE トークンを発表することを明らかにしました。このネットワークは、証明要求者と証明生成者を接続する分散型マーケットを構築することを目的としており、ブロックチェーンの検証、クロスチェーンブリッジ、AI 計算などのユースケースをサポートします。PROVE トークンは、ネットワークの支払い手段およびセキュリティメカニズムの中心として機能し、証明生成者への支払い、ステーキング経済の担保、ガバナンスへの参加（ネットワークパラメータの調整など）に使用されます。もし証明者が期限内に証明を提出しなかったり、不正行為を行った場合、そのステーキングトークンは没収されます。現在、Succinct バリデータネットワークはテストネットの第2段階にあり、2.5 段階が間もなくリリースされ、メインネットの立ち上げに向けて準備が進められています。2024 年、プロジェクトのコア開発チームである Succinct Labs は、5500 万ドルのシリーズ A ラウンドの資金調達を完了し、Paradigm が主導しました。

ChainCatcher のメッセージ、Oak Grove Ventures はリアルタイム ZK プルーフネットワークサービスプロバイダー ZEROBASE への投資を発表しました。ZEROBASE の今回の資金調達には、Binance Labs、Lightspeed Faction、Matrix Partners、IDG などの多くの著名な機関が参加しています。ZEROBASE は Salus によって立ち上げられ、ZK 用例に特化したプライバシー保護計算ネットワークの構築に取り組んでいます。このプロジェクトは、ZK 技術の革新者となり、プライバシーと透明性が共存し、妥協のないソリューションを提供することを目指しています。ZEROBASE は、ZK プルーフ生成に関連する効率性と機密性の問題を直接解決する、最も迅速なプライバシー保護プルーフネットワークを構築しました。Oak Grove Ventures は、暗号通貨と Web3 分野の初期投資に特化したファンドです。この投資は、ZK 技術の発展とプライバシー保護計算における ZEROBASE の潜在能力に対する信頼を示しています。この投資は、さまざまなアプリケーションシナリオにおける ZK 技術の採用を加速し、プライバシー保護と透明性のバランスを取った革新的なソリューションの発展を促進することが期待されています。

ChainCatcher メッセージ、ビットコイン Rollup プロトコル BitcoinOS (BOS) がビットコインメインネットで初の ZK 証明を成功裏に検証し、最終的な検証はブロック 853626 で確認されました。これにより、ビットコインはソフトフォークなしで無限の拡張性と機能を実現する可能性があります。

ChainCatcher のメッセージによると、Coindesk が報じたところでは、Polygon Labs は最新のゼロ知識証明システム Plonky3 を発表しました。このシステムは以前の Plonky2 よりも柔軟性が向上しています。ゼロ知識証明システムはブロックチェーンエコシステムの核心コンポーネントであり、オフチェーン取引を要約する証明を生成し、その情報をメインチェーンにフィードバックする役割を担っています。Plonky3 は現在、オープンソースソフトウェアとしてリリースされており、MIT および Apache ライセンスを採用しています。Polygon は、将来の技術開発を促進するために、すべての証明システムを1つのコードベースとフレームワークに統合する計画です。

ChainCatcher のメッセージによると、公式の発表により、Web3 モジュール化ブロックチェーンインフラストラクチャの 0G Labs と ZK チェーン上ゲームエンジン開発者の Blade Games が協力して ZK 証明を使用し、Web3 ゲームの状態変化をチェーン上に導入し、Web3 ゲームの完全な分散化を推進しています。プレイヤーは 0G のインフラストラクチャを使用してゲームの状態を保存および照会することができます。Web3 ゲームの多くは依然として中央集権的なサーバー上で運営されており、ゲーム資産（NFT、報酬など）だけがチェーン上に存在し、ゲームロジックをチェーン上に導入することは困難で高価です。Blade は ZKP を導入してゲームの状態変化（state difference）をチェーン上に持ち込み、0G は Blade の ZK ゲームエンジンに高度にスケーラブルなデータストレージを提供し、関連性があり検証可能なデータをチェーン上に公開できるようにしています。

ChainCatcher メッセージ、DODO の共同創設者 Radar Bear が開発した永続的な契約取引所 JOJO Exchange は、Brevis の ZK Coprocessor 技術を使用して ZK 証明の資金レートを実装しました。Brevis の SDK を通じて、JOJO はオンチェーンの永久取引と現物価格オラクルデータに基づいて ZK 証明を作成し、資金利率を正確に計算します。その後、この証明はオンチェーンで検証され、JOJO ユーザーの資金レートを調整するために使用されます。

ChainCatcher のメッセージ、Polyhedra は Google Cloud と提携し、共同提供するゼロ知識サービスを世界中の開発者に開放します。両者は協力して開発者に ZK プルーフを提供し、ブロックチェーンノードエンジン機能を通じて、ブロックチェーン操作の ZK ワークロードを簡素化します。

ChainCatcher のメッセージ、Polyhedra Network は本日、ビットコインネットワーク上で直接 ZK 証明を検証する新しい方法を公式に発表しました。Polyhedra Network は、ビットコイン ETF の承認や今後の半減イベントなどの最新の進展を考慮し、市場のビットコイン研究への関心がかつてないほど高まっていると述べていますが、チームは既存の検証方法における重要な欠陥を発見しました ------ 特に BitVM ホワイトペーパーで強調されている欠陥 ------ 主な問題は、証明者と挑戦者の間に共謀が存在する可能性があり、これが証明の完全性を脅かし、悪意のある無効な証明を作成する原因となることです。この問題を解決するために、Polyhedra Network チームは、FRI（Fast Reed-Solomon Interactive）スタイルの ZK 証明をオンチェーン検証の最終層として使用する代替案を導入しました。Groth16 や Plonk などの他の ZK 証明システムと比較して、FRI 証明はより良い効率を持ち、計算の要求が低くなります。ビットコインブロックチェーン上での操作コストが高いことを考慮すると、この効率の向上は非常に重要です。Polyhedra Network は、現在のビットコインネットワークの Layer2 がネイティブ ZK 証明検証の欠如に直面していると補足し、Polyhedra Network の上記の提案がこの問題を解決し、ビットコインネットワーク上での汎用プログラマビリティを実現し、ビットコインの潜在能力を十分に引き出すことが期待されると述べています。

ChainCatcher のメッセージによると、The Block が報じたところでは、Polygon Labs は Celo に対して Polygon CDK セットを使用して L2 への移行を提案しました。Polygon の CDK は、Polygon Labs によって設計されたオープンソースのソフトウェア開発キットです。CDK を使用して作成された Layer 2 は、ゼロ知識証明ロールアップ技術に基づいており、ZK 証明を通じてイーサリアムの完全なセキュリティを継承しています。

ChainCatcher のメッセージによると、zkSync はツイートで、zkSync の非中央集権的なビジョンが明確であると述べています。定序器、ZK プルーファー、zkPorter、コミュニティガバナンス、そして zkSync Era ネットワークの他のすべての重要な部分は、コア仮想マシンとプルーファーが強化され安定した後に非中央集権化されます。以前、The Block の報道によれば、Matter Labs の CEO アレックス・グルホウスキーは、非中央集権的な定序器を望む場合、トークンが必要であり、定序器は約1年以内に非中央集権化されると述べました。（出典リンク）

ChainCatcher のメッセージ、ゼロ知識証明 (ZKP) ハードウェア会社 Ulvetanna が 5500 万ドルの評価額で 1500 万ドルのシードラウンド資金調達を完了し、Bain Capital Crypto と Paradigm が主導し、Jump Crypto が参加しました。このラウンドの株式資金調達は昨年 6 月に終了しました。報告によると、Ulvetanna は ZKP プロセスの生成を加速することを目的としたハードウェアを構築しています。ZKP は、特定の情報を開示することなく、その情報の内容を証明する暗号化された認証方法です。暗号分野では、この技術はブロックチェーンネットワークのスケーリングソリューション、特にイーサリアムで広く使用されています。（TheBlock）