A16z 发布 Lattice Jolt，Cardano 扩展后量子 ZK 研究

A16z crypto 推出 Lattice Jolt，将 Jolt 此前的椭圆曲线多项式承诺系统替换为面向后量子安全的基于格构造。

Cardano 创始人 Charles Hoskinson 直接回应了 Justin Thaler 的发布，写道，“哈哈，我这个周末没了。干得好。” 他的回应之际，Input Output Research 正通过 Cardano Vision 研究计划推进相关密码学基元的研究，同时为在 Cardano Layer 1 上验证零知识证明构建新的基础设施。

Lattice Jolt 替换其椭圆曲线承诺方案

Jolt 是一个开源 zkVM，旨在证明 RISC-V 程序的执行。验证者无需重复完整计算，而是可以检查一份紧凑的密码学证明。

此前的版本使用 Dory，这是一种基于椭圆曲线密码学的多项式承诺方案。Lattice Jolt 将其替换为 Akita，这是一种围绕 Module-SIS 假设构建的基于格的承诺方案。

Akita 由 LayerZero 研究人员与 Carnegie Mellon University、University of Southern California 以及 a16z crypto 的研究人员共同开发。

根据 a16z 的基准测试，Lattice Jolt 在 CPU 上每秒可处理超过两百万个 64 位 RISC-V 周期。证明与验证的速度较此前基于曲线的版本大约提升两到三倍，同时证明大小保持在 100 KB 以下。

其 Apple Metal GPU 后端在 MacBook 硬件上每秒可超过一千万个周期，同时证明者的内存需求降至每个周期约 200 字节。

Cardano 的研究涵盖基于格的 SNARKs

Input Output Research 已将基于格的密码学纳入 Cardano 的长期零知识研究计划。

该工作涵盖基于格的 SNARKs、折叠方案与多项式承诺，并辅以一项 Systematization of Knowledge，对基于格的折叠及相关证明构造进行梳理。

多项式承诺是许多现代证明系统的核心组成部分。Akita 将基于格的构造应用于该层面，而 IOR 正在其后量子 ZK 研究中研究类似的密码学基元。

Cardano 更广泛的计划还涵盖递归证明与折叠技术，旨在将更大规模的计算压缩为简洁证明。IOR 将其规划中的 ZK 架构描述为模块化，使密码学组件能够随新构造的出现而演进。

Hoskinson 对 Lattice Jolt 发布的回应，为这一已在同一研究领域推进的进展增添了直接的 Cardano 关联。

Cardano 在 Layer 1 构建 ZK 验证基础设施

Cardano 的零知识工作也正迈向实现层面的基础设施。

在其 2026 年年中更新中，Input Output Research 报告了面向 Cardano Layer 1 的新ZK 验证基础设施，包括用于 Groth16 证明的工具，以及评估链上 Halo2 验证成本的工作。

2026 年下半年将进一步推进后量子安全、简洁证明与 ZK rollups 的工作，同时继续研究支撑这些方向所需的密码学基元。

Lattice Jolt 现已在一个可用的高性能 zkVM 中展示了基于格的承诺系统，公布的结果涵盖证明大小、内存使用与证明速度。Cardano 自身的计划正通过后量子研究与 Layer 1 验证工具不断推进，而 Hoskinson 的反应则使这次全新的 Jolt 发布直接进入了 Cardano 创始人的视野。