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 maken van prototypes en benchmarken van op roosters gebaseerde ZK/SNARK-schema's. Het bezet een niche die vergelijkbaar is met arkworks, maar richt zich op roosterprimitieven. Zie het als lattigo, maar dan gericht op argumentatiesystemen.

De bibliotheek is modulair en omvat: - Lattirust-rekenkunde: veeltermringen, lineaire algebra, uitdagingsruimten - Roosterschatter: schatting van de betonveiligheid - Relaties: abstracties voor argumentrelaties - Labrador, Lova: Implementaties van recente schema's

De schatting van de beveiliging is momenteel gebaseerd op een roosterschatter en PQ-kristallen. Toekomstige plannen omvatten een Rust-native schatter die is geoptimaliseerd voor SIS-aannames, om de kloof in tooling voor argumentspecifieke hardheid aan te pakken.

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 een bredere interoperabiliteit van het ecosysteem. Met name de tralievouw van Nethermind is gebouwd op een vroege vork 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 zichzelf als een uitgebreide basislaag voor zeer zelfverzekerde, op roosters gebaseerde ZK-systemen. De tooling en architectuur zijn geschikt voor experimenteel ontwerp en concrete instantiatie van op roosters gebaseerde bewijssystemen.

Repo: