zkvm

ZKsync は 2026 年のロードマップを発表し、三つの主要な方向性に焦点を当てています：Prividium はプライバシーエンジンを「銀行級スタック」に拡張し、企業にデフォルトで組み込まれたプライバシーの暗号インフラを提供します；ZK Stack は単一チェーンアーキテクチャから「協調システム」へと移行し、アプリケーションチェーンがこのスタック内でシームレスに操作できるようにし、流動性と共有インフラをネイティブに統合します；Airbender は「最速の zkVM」から「汎用標準」へと進化し、安全性、形式的厳密性、開発者体験を優先し、サービス範囲は ZKsync とイーサリアムエコシステムを超えて、より広範なユースケースシナリオにまで広がります。

ChainCatcher のメッセージ、イーサリアムの共同創設者である Vitalik Buterin が X プラットフォームで発表したところによると、イーサリアムチームは今年に入ってから非常に優れたパフォーマンスを発揮しており、イーサリアムの長期的な拡張性、分散化、弾力性を確保するためにさまざまな面で貢献してきました。これらのアイデアは、短期的な拡張ロードマップで重要なマイルストーンを達成する準備が整い次第、実行に移されることが期待されています。Vitalik Buterin がリツイートした投稿によると、現在イーサリアムの開発者は、イーサリアムを簡素化するための最小限の zkVM「leanVM」を提案しており、XMSS の集約と再帰に最適化されています。Cairo と比較して、leanVM は四命令 ISA、多線形 STARK、および logup 検索を活用することで、コミットメントコストを最大限に低減しています。

ChainCatcher のメッセージ、ZKM は新世代の zkVM（ゼロ知識証明仮想マシン）Ziren（旧 zkMIPS）を発表しました。GPU 加速、分散証明アーキテクチャ、そして深く最適化された制約システムにより、ゼロ知識証明（ZK）システムの実際のアプリケーションシナリオにおける展開性と拡張性に新たな可能性を開きました。Ziren はコア証明の速度を 30 倍、集約証明の速度を 15 倍向上させ、状態準備時間を 5 分から 30 秒に短縮し、GOAT Network のビットコインネイティブ zkRollup プロジェクトで使用されています。Ziren の名前のインスピレーションは神話の "Siren" の変種から来ており、幻影から現実への変化を象徴しています ------ 技術はもはや魅力を引きつけるだけでなく、実際に利用可能な約束を意味します。Ziren は主流の開発者が手にする真に効率的で信頼できる、展開可能な zk インフラストラクチャを目指しており、Rust/C/C++ プログラムの証明生成をサポートし、完全なイーサリアム Rust クライアントの検証と互換性があり、開発者が信頼できるゼロ知識システムを簡単に構築できるようにします。

ChainCatcher のメッセージによると、The Block の報道で、Polygon の共同創設者 Jordi Baylina と Polygon zkEVM の背後にいるチームが Zisk という独立した会社に転身したとのことです。関連するすべてのコードと IP が移転されたとのことです。Zisk のウェブサイトの情報によれば、このプロジェクトは 2024 年 5 月に Polygon Labs 内部で孵化され、6 月 13 日に正式に独立しました。Zisk は低遅延でオープンソースの zkVM 証明技術に焦点を当てます。

ChainCatcher のメッセージ、RISC Zero は正式に zkVM 1.2 バージョンを発表し、新しい「アプリケーション定義」プレコンパイル（Application-defined Precompiles）機能を導入しました。この革新は従来のプレコンパイルモジュールのアーキテクチャパターンを変更し、プレコンパイル機能をアプリケーションと共にデプロイできるようにし、zkVM 内部の固定実装に依存することなく、パフォーマンスと柔軟性を向上させました。zkVM 1.2 バージョンにより、開発者はプレコンパイル機能をアプリケーションに即座に統合でき、システムの更新や追加の調整作業を必要とせず、より迅速で効率的な開発体験を実現します。報告によると、Automata は RISC Zero の RSA プレコンパイル機能を統合し、そのプログラムの実行サイクルを 3900 万から 19.8 万に短縮し、約 198 倍のコスト削減を実現しました。

ChainCatcher のメッセージ、イーサリアム財団の研究者ジャスティン・ドレイクがツイートしたところによると、イーサリアム財団は zkVM に数千万ドルを投資しており、その中には zkRISC-V の形式的検証、Poseidon の暗号解析、および L2beat for zkVMs が含まれています。

ChainCatcher のメッセージ、a16z が発表したところによると、zkVM Jolt の性能と可用性に関していくつかの改善が行われ、検証者のコストが大幅に低下し、4 月の数 MB の証明サイズから約 200 KB に減少し、さらに 25 KB まで減少する可能性がある。また、証明器は 3 倍の速度向上が期待され、Rust 標準ライブラリなどをサポートしている。

ChainCatcher のメッセージ、zkVM の開発者 Nexus が Nexus ネットワークの最初のテスト版をリリースしました。これはオープンなバリデータネットワークです。チームは次のように述べています： "これはゼロ知識仮想マシンに基づく最初の分散型バリデータネットワークで、誰でもアクセスできます。このネットワークは、あらゆるネットワーク接続デバイスの集合的な力を集約し、大規模な GPU ファームからコンピュータやスマートフォンまでを含みます。私たちの目標は、世界中のコンピュータを結集し、インターネット上のすべての計算を証明できる単一のスーパーコンピュータを形成することです。これにより、検証可能なインターネットを解放します。"

ChainCatcher のメッセージによると、公式の発表により、ゼロ知識証明ソフトウェア開発者 RISC Zero が Celestia と協力して、zkVM ベースの Blobstream クロスチェーンブリッジ「Blobstream Zero」を構築しています。Blobstream Zero は、Celestia のモジュラーデータ可用性層を Ethereum、Optimism、Bitcoin、Solana などと接続することで、Rollups とアプリケーションが ZK 証明を使用して、Celestia のデータ可用性（DA）が任意のチェーン上で有効であることを検証できるようにします。Blobstream Zero は、Ethereum から始まり、段階的に Optimism、Arbitrum、Solana、Bitcoin へと拡張し、今後数ヶ月でさらに多くの機能を提供する予定です。Blobstream Zero は、アプリケーションがその実行 ZK 証明を再帰的 DA 軽クライアント証明および包含証明と組み合わせて、既存および新しいユースケースを最適化できるようにします。