ZK/SNARKy založené na mřížce postrádají přísný prototypovací stack. Lattirust si klade za cíl tuto mezeru zaplnit. Jedná se o modulární framework Rust pro srovnávání argumentačních systémů přes SIS a MLWE. Představte si arkworks pro mřížky, bez zkratek. Pojďme si to rozbalit.

lattirust je knihovna Rust pro prototypování a benchmarking schémat ZK/SNARK založených na mřížce. Zaujímá mezeru podobnou arkworks, ale zaměřuje se na mřížkové primitivy. Představte si to jako lattigo, ale zaměřené na argumentační systémy.

Knihovna je modulární a zahrnuje: - Mřížková aritmetika: okruhy polynomů, lineární algebra, challenge spaces - lattice-estimator: konkrétní odhad bezpečnosti - relace: abstrakce pro argumentační vztahy - Labrador, Lová: Implementace recentních schémat

Odhad bezpečnosti je v současné době založen na lattice-estimator a PQ-Crystals. Budoucí plány zahrnují odhad nativní pro systém Rust optimalizovaný pro předpoklady SIS, který řeší mezeru v nástrojích pro tvrdost specifickou pro argumenty.

Labrador implementuje LaBRADOROVO schéma, zaměřené na argumenty přátelské k mřížce. lova přidává techniky založené na skládání inspirované protokoly Lova ZK, což naznačuje pokračující zkoumání stručnosti a efektivity za mřížkových předpokladů.

Budoucí práce zahrnují parametrizovanou polynomiální aritmetiku (podporující non-NTT nebo partial-NTT domény) a modulus-lifting pro q ≡ 5 mod 8. Plán naznačuje hlubší optimalizaci pro aritmeticky náročné kryptografické kontexty.

Je zde integrace s nimue a částečná kompatibilita s arkworks, což naznačuje záměr pro širší interoperabilitu ekosystému. Pozoruhodné je, že mřížka Nethermind byla postavena na rané vidlici lattirustu.

Tým aktivně pracuje na důkazech ZK pro šifrovací schémata MLWE a RLWE (KLSS23, Libert24) a FHE ops s konstantním časem v Jasminu, přičemž se zaměřuje na vysoce spolehlivé případy použití s formálním ověřením prostřednictvím hacspec, Jasmin, EasyCrypt a Lean.

Celkově se lattirust staví jako komplexní základní vrstva pro vysoce spolehlivé systémy ZK založené na mřížkách. Nástroje a architektura se zaměřují na experimentální design a konkrétní konkretizaci důkazových systémů založených na mřížkách.

Repo: