Lattice-gebaseerde ZK/SNARKs missen een rigoureuze prototyping stack. lattirust heeft als doel deze kloof te vullen. Het is een modulaire Rust-framework voor benchmarking argument systemen over SIS en MLWE. Denk aan arkworks voor lattices, zonder shortcuts. Laten we dit eens uitpakken.

lattirust is een Rust-bibliotheek voor het prototypen en benchmarken van op lattice gebaseerde ZK/SNARK-schema's. Het vervult een niche die vergelijkbaar is met arkworks, maar richt zich op lattice-primitieven. Zie het als lattigo, maar gericht op argumentatiesystemen.

De bibliotheek is modulair en dekt: - lattirust-arithmetic: polynoomringen, lineaire algebra, uitdagingruimtes - lattice-estimator: concrete beveiligingsschatting - relations: abstracties voor argumentrelaties - labrador, lova: implementaties van recente schema's

De beveiligingsschatting is momenteel gebaseerd op lattice-estimator en PQ-Crystals. Toekomstige plannen omvatten een compile-time Rust-native estimator geoptimaliseerd voor SIS-veronderstellingen, waarmee de kloof in tooling voor argument-specifieke hardheid wordt aangepakt.

labrador implementeert het LaBRADOR-schema, gericht op rooster-vriendelijke argumenten. lova voegt opvouwtechnieken toe geïnspireerd door Lova ZK-protocollen, wat wijst op voortdurende verkenning van beknoptheid en efficiëntie onder roosterveronderstellingen.

Toekomstig werk omvat geparametriseerde polynoomarithmetic (ondersteuning voor niet-NTT of gedeeltelijke NTT-domeinen) en modulus-lifting voor q ≡ 5 mod 8. De roadmap geeft aan dat er diepere optimalisatie plaatsvindt voor rekentechnisch zware cryptografische contexten.

Er is integratie met nimue en gedeeltelijke compatibiliteit met arkworks, wat wijst op een intentie voor bredere interoperabiliteit binnen het ecosysteem. Opmerkelijk is dat de latticefold van Nethermind is gebouwd op een vroege fork van lattirust.

Het team werkt actief aan ZK-bewijzen voor MLWE- en RLWE-encryptieschema's (KLSS23, Libert24) en constante-tijd FHE-bewerkingen in Jasmin, gericht op gebruikscases met hoge zekerheid met formele verificatie via hacspec, Jasmin, EasyCrypt en Lean.

Over het algemeen positioneert lattirust zich als een uitgebreide basislaag voor hoogverzekerde, rastergebaseerde ZK-systemen. De tooling en architectuur zijn gericht op experimenteel ontwerp en concrete implementatie van rastergebaseerde bewijs systemen.

Repo: