基於 lattice 的 ZK/SNARK 缺乏嚴格的原型設計堆疊。 Lattirust 旨在填補這一空白。 它是一個模組化的 Rust 框架，用於對 SIS 和 MLWE 上的論證系統進行基準測試。 想想 arkworks 的晶格，沒有捷徑。 讓我們來解開這個。

lattirust 是一個 Rust 函式庫，用於原型設計和基準測試基於格的 ZK/SNARK 方案。它佔據了類似於方舟工廠的利基市場，但針對的是晶格原語。可以將其視為 lattigo，但面向論證系統。

該庫是模塊化的，涵蓋： - lattirust-arithmetic：多項式環、線性代數、挑戰空間 - lattice-estimator：具體安全估計 - 關係：引數關係的抽象 - 拉布拉多，洛瓦：最近計劃的實施

安全性估計目前基於晶格估計器和 PQ 晶體。未來的計劃包括針對 SIS 假設進行最佳化的編譯時 Rust 原生估計器，以解決特定參數硬度工具的差距。

labrador 實現了 LaBRADOR 方案，專注於 lattice 友好的參數。 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 系統的綜合基礎層。工具和架構迎合了基於晶格的證明系統的實驗設計和具體實例化。

回購區：