Gitterbaserte ZK/SNARK-er mangler en streng prototypestabel. Lattirust har som mål å fylle dette gapet. Det er et modulært Rust-rammeverk for benchmarking av argumentsystemer over SIS og MLWE. Tenk arkworks for gitter, uten snarveier. La oss pakke ut denne.

lattirust er et Rust-bibliotek for prototyping og benchmarking av gitterbaserte ZK/SNARK-ordninger. Den okkuperer en nisje som ligner på arkworks, men retter seg mot gitterprimitiver. Tenk på det som lattigo, men rettet mot argumentsystemer.

Biblioteket er modulært og dekker: - lattirust-aritmetikk: polynomringer, lineær algebra, utfordringsrom - gitterestimator: konkret sikkerhetsestimering - relasjoner: abstraksjoner for argumentrelasjoner - Labrador, Lova: implementeringer av nyere ordninger

Sikkerhetsestimering er for tiden basert på gitterestimator og PQ-krystaller. Fremtidige planer inkluderer en kompileringstid Rust-native estimator optimalisert for SIS-forutsetninger, og adresserer gapet i verktøy for argumentspesifikk hardhet.

labrador implementerer LaBRADOR-ordningen, fokusert på gittervennlige argumenter. lova legger til foldebaserte teknikker inspirert av Lova ZK-protokoller, noe som indikerer pågående utforskning av kortfattethet og effektivitet under gitterforutsetninger.

Fremtidig arbeid inkluderer parametrisert polynomaritmetikk (som støtter ikke-NTT- eller del-NTT-domener) og modulløfting for q ≡ 5 mod 8. Veikartet antyder dypere optimalisering for aritmetikktunge kryptografiske kontekster.

Det er integrasjon med nimue og delvis kompatibilitet med arkworks, noe som tyder på en intensjon om bredere økosysteminteroperabilitet. Spesielt ble Netherminds gitterfold bygget på en tidlig gaffel av lattirust.

Teamet jobber aktivt med ZK-bevis for MLWE- og RLWE-krypteringsordninger (KLSS23, Libert24) og konstant-tid FHE-operasjoner i Jasmin, rettet mot brukstilfeller med høy sikkerhet med formell verifisering gjennom hacspec, Jasmin, EasyCrypt og Lean.

Totalt sett posisjonerer lattirust seg som et omfattende underlag for gitterbaserte ZK-systemer med høy sikkerhet. Verktøyet og arkitekturen imøtekommer eksperimentell design og konkret instansiering av gitterbaserte bevissystemer.

Repo: