基于格的 ZK/SNARKs 缺乏严格的原型堆栈。 lattirust 旨在填补这一空白。 它是一个模块化的 Rust 框架，用于基于 SIS 和 MLWE 的论证系统基准测试。 想象一下 arkworks 针对格的实现，没有捷径。 让我们来详细解析一下。

lattirust 是一个 Rust 库，用于对基于晶格的 ZK/SNARK 方案进行原型设计和基准测试。它占据了类似于方舟厂的利基市场，但针对的是晶格原语。可以将其视为 lattigo，但面向论证系统。

该库是模块化的，涵盖： - 纬谱算术：多项式环、线性代数、挑战空间 - lattice-estimator：具体安全估计 - 关系：参数关系的抽象 - 拉布拉多，洛娃：最近计划的实施

安全性估计目前基于晶格估计器和 PQ 晶体。未来的计划包括针对 SIS 假设优化的编译时 Rust 原生估计器，以解决特定参数硬度工具的差距。

labrador 实施了 LaBRADOR 方案，专注于适合格子的论证。 lova 添加了基于折叠的技术，灵感来自 Lova ZK 协议，表明在格子假设下对简洁性和效率的持续探索。

未来的工作包括参数化多项式算术（支持非NTT或部分NTT域）和模提升，适用于 q ≡ 5 mod 8。路线图暗示在算术密集的加密上下文中进行更深层次的优化。

与 nimue 集成，与 arkworks 部分兼容，表明有意实现更广泛的生态系统互作性。值得注意的是，Nethermind 的晶格焊子是建立在早期的晶格分支之上的。

该团队正在积极研究 MLWE 和 RLWE 加密方案（KLSS23、Libert24）的 ZK 证明以及 Jasmin 中的恒定时间 FHE作，针对通过 hacspec、Jasmin、EasyCrypt 和 Lean 进行形式验证的高保证用例。

总体而言，lattirust 将自己定位为高保证、基于晶格的 ZK 系统的综合基础层。工具和架构迎合了基于晶格的证明系统的实验设计和具体实例化。

回购：