zkvm

ChainCatcher 現場報導、イーサリアム共同創設者の Vitalik Buterin が 2026 香港 Web3 カーニバルで基調講演を行いました。彼はイーサリアムを二つの核心機能として定義しました：一つは公共掲示板で、アプリケーションがメッセージやデータを公開するためのもの；もう一つはコードによって制御される共有デジタルオブジェクトで、資産、NFT、ENS、DAOなどを含みます。彼は、イーサリアムの目標は高頻度取引プラットフォームと速度で競争することではなく、最も安全で、最も分散化され、常にオンラインの信頼できるチェーンになることだと強調しました。短期的なロードマップに関して、彼はアカウント抽象化提案 EIP-8141 を紹介しました。これはスマートコントラクトウォレット、量子耐性署名アルゴリズム、プライバシープロトコルをネイティブにサポートします；量子耐性の面では、現在ハッシュと格基の二つの署名スキームがあり、チームは EVM を通じてその効率を大幅に向上させるためにベクトル化を進めています。彼は、ZKVM はリアルタイム EVM 実行を証明するのに十分な速さであり、今年の目標はその安全性を確保することだと明らかにしました。小規模ネットワークからの展開を開始し、2028 年までに検証チェーンの主要な方法となることを計画しており、イーサリアムは分散化を犠牲にすることなく大幅にスケールアップすることを目指しています。長期的なビジョンに関して、イーサリアムは AI を積極的に利用して数学的証明を生成し、ソフトウェアの安全性を形式的に検証し、完全な量子安全性と最大の簡潔性を追求して、プラットフォームの安全性がどの単一チームの継続的な存在に依存しないことを確保しています。

据 The Block 报道，a16z Crypto はその Jolt zkVM に関するブログ記事で、特定の開発者環境における「ZK」という用語の一般的な使い方に批判を示しました。記事では、ほとんどの zkVM は実際にはゼロ知識属性を持っておらず、高価な「ラッピング」プログラムを適用しない限りそうではないと指摘しています。著者はまた、「zk」がしばしば「簡潔性」の同義語となり、「短くて迅速に検証できる」ことを証明するものであり、真のゼロ知識プライバシーではないと述べています。コミュニティがプライバシーに対する関心を高める中、この用語の誤用は本当の問題となっています。a16z のオープンソース Jolt zkVM は火曜日に大規模なアップグレードを発表し、ネイティブでゼロ知識証明をサポートしました。Jolt は NovaBlindFold 折りたたみスキームを使用して情報漏洩を防ぐためのブラインド証明を作成し、プライバシーアプリケーションに適用可能にしました。アップグレード後に生成されるゼロ知識証明は、元の非 ZK 証明と比べて約 3 KB の増加にとどまります。

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 標準ライブラリなどをサポートしている。