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

lattirust 是一個 Rust 庫，用於對基於晶格的 ZK/SNARK 方案進行原型設計和基準測試。它佔據了一個類似於arkworks的利基市場，但以晶格基元為目標。可以把它想像成 lattigo，但面向論證系統。

該庫是模組化的，包括： - Lattirust-arithmetic：多項式環、線性代數、質詢空間 - lattice-estimator：具體的安全估計 - relations：參數關係的抽象 - 拉布拉多，LOVA：最新計劃的實施

安全性估計目前基於 lattice-estimator 和 PQ-Crystals。未來的計劃包括針對 SIS 假設優化的編譯時 Rust 原生估計器，以解決特定於參數的硬度工具中的差距。

labrador 實現了 LaBRADOR 方案，專注於 lattice 友好的參數。 lova 添加了受 Lova ZK 協定啟發的基於摺疊的技術，表明在格假設下對簡潔性和效率的持續探索。

未來的工作包括參數化多項式算術（支援非 NTT 或部分 NTT 域）和 q ≡ 5 mod 8 的模數提升。該路線圖暗示了對大量算術加密上下文的更深入優化。

與 nimue 集成並與arkworks部分相容，這表明有意實現更廣泛的生態系統互作性。值得注意的是，Nethermind 的晶格摺疊是建立在 lattirust 的早期叉子上的。

該團隊正在積極致力於 MLWE 和 RLWE 加密方案（KLSS23、Libert24）的 ZK 證明以及 Jasmin 中的恆時 FHE作，針對通過 hacspec、Jasmin、EasyCrypt 和 Lean 進行形式化驗證的高確定性用例。

總體而言，lattirust 將自己定位為高可靠性、基於晶格的 ZK 系統的綜合基礎層。工具和架構滿足了基於晶格的證明系統的實驗設計和具體實例化。

回購：