Cardanoがポスト量子ZK研究を拡大する中、A16zがLattice Joltをリリース

A16z cryptoはLattice Joltを発表し、Joltの従来の楕円曲線型の多項式コミットメント方式を、ポスト量子セキュリティを念頭に置いた格子ベースの構成に置き換えた。

Cardanoの創設者Charles HoskinsonはJustin Thalerの発表に直接反応し、「笑 これで私の週末はなくなった。良い仕事だ。」と記した。この反応は、Cardano Vision研究プログラムを通じて関連する暗号プリミティブの研究を進めるとともに、CardanoのLayer 1上でゼロ知識証明を検証するための新しいインフラを進めている最中に出たものだ。

Lattice Joltは楕円曲線コミットメントを置き換え

JoltはRISC-Vプログラムの実行を証明するために設計されたオープンソースのzkVMだ。検証者は、計算全体を再実行する代わりに、コンパクトな暗号学的証明を確認できる。

従来版は、楕円曲線暗号に基づく多項式コミットメント方式であるDoryを用いていた。Lattice Joltは、Module-SIS仮定を基盤とする格子ベースのコミットメント方式Akitaに置き換えている。

Akitaは、LayerZeroの研究者がCarnegie Mellon University、University of Southern California、a16z cryptoの研究者と共同で開発した。

a16zのベンチマークによれば、Lattice JoltはCPU上で毎秒200万超の64-bit RISC-Vサイクルを処理する。証明生成と検証は従来の曲線ベース版に比べておおむね2倍から3倍高速で、証明サイズは100 KB未満に収まる。

Apple MetalのGPUバックエンドでは、MacBookハードウェアで毎秒1,000万サイクルを超え、プローバーのメモリ要件は1サイクルあたり約200バイトに削減された。

Cardanoの研究は格子ベースSNARKを含む

Input Output Researchはすでに、Cardanoの長期的なゼロ知識研究プログラムに格子ベース暗号を組み込んでいた。

この取り組みは、格子ベースSNARK、フォールディング手法、多項式コミットメントを対象としており、格子ベースのフォールディングや関連する証明構成を検討する知識の体系化によって支えられている。

多項式コミットメントは多くの現代的な証明系の中核要素だ。Akitaはその層に格子ベースの構成を適用しており、IORはポスト量子ZK研究の一環として同様の暗号プリミティブを研究している。

Cardanoのより広範なプログラムは、より大きな計算を簡潔な証明に圧縮することを目的とした再帰的証明やフォールディング技法も対象にしている。IORは、計画中のZKアーキテクチャをモジュラーと説明しており、新たな構成が登場した際に暗号コンポーネントを進化させられるようにしている。

Lattice Joltの公開に対するHoskinsonの反応により、既に同一の研究分野で進んでいる開発にCardanoとの直接的なつながりが加わった。

CardanoはLayer 1上にZK検証インフラを構築

Cardanoのゼロ知識に関する取り組みは、実装レベルのインフラにも広がっている。

2026年中間アップデートで、Input Output ResearchはCardanoのLayer 1向けに新たなZK検証インフラを報告し、Groth16証明のためのツール群や、オンチェーンでのHalo2検証コストの評価に関する作業を含めた。

2026年後半には、ポスト量子セキュリティ、簡潔な証明、ZKロールアップに関するさらなる作業に加え、それらを支えるために必要な暗号プリミティブの継続的な研究が予定されている。

Lattice Joltは現在、実稼働の高性能zkVMの内部で格子ベースのコミットメント方式を実証しており、証明サイズ、メモリ使用量、証明生成速度に関する結果を公開している。Cardano自身のプログラムも、ポスト量子研究とLayer 1向け検証ツーリングを通じて前進しており、Hoskinsonの反応によってJoltの新リリースはCardano創設者の視界に直接入ることになった。