Gitterbaserade ZK/SNARKs saknar en rigorös prototypstack. Lattirust har som mål att fylla denna lucka. Det är ett modulärt Rust-ramverk för benchmarking av argumentsystem över SIS och MLWE. Tänk arkworks för gitter, utan genvägar. Låt oss packa upp den här.

lattirust är ett Rust-bibliotek för prototyper och benchmarking av gitterbaserade ZK/SNARK-scheman. Den upptar en nisch som liknar arkworks, men riktar sig mot gitterprimitiver. Tänk på det som lattigo, men inriktat på argumentsystem.

Biblioteket är modulärt och täcker: - Lattirust-Arithmetic: polynomringar, linjär algebra, utmaningsrum - Gitter-estimator: Konkret säkerhetsuppskattning - Relationer: Abstraktioner för argumentrelationer - Labrador, Lova: Implementeringar av nya program

Säkerhetsskattningen baseras för närvarande på gitterestimatorn och PQ-kristallerna. Framtida planer inkluderar en Rust-native-estimator vid kompilering optimerad för SIS-antaganden, vilket tar itu med luckan i verktyg för argumentspecifik hårdhet.

labrador implementerar LaBRADOR-schemat, med fokus på gittervänliga argument. lova lägger till vikningsbaserade tekniker inspirerade av Lova ZK-protokoll, vilket indikerar pågående utforskning av korthet och effektivitet under gitterantaganden.

Framtida arbete inkluderar parametriserad polynomaritmetik (med stöd för icke-NTT eller partiella NTT-domäner) och modullyft för q ≡ 5 mod 8. Översikten ger en antydan om djupare optimering för aritmetiskt tunga kryptografiska kontexter.

Det finns integration med nimue och partiell kompatibilitet med arkworks, vilket tyder på en avsikt för bredare ekosysteminteroperabilitet. Noterbart är att Netherminds gitterveck byggdes på en tidig gaffel av gitter.

Teamet arbetar aktivt med ZK-bevis för MLWE- och RLWE-krypteringsscheman (KLSS23, Libert24) och FHE-operationer med konstant tid i Jasmin, med inriktning på användningsfall med hög säkerhet med formell verifiering genom hacspec, Jasmin, EasyCrypt och Lean.

Sammantaget positionerar sig lattirust som ett omfattande baslager för gitterbaserade ZK-system med hög assurans. Verktygen och arkitekturen tillgodoser experimentell design och konkret instansiering av gitterbaserade bevissystem.

Repo: