Gli ZK/SNARKs basati su reticoli mancano di un stack di prototipazione rigoroso. lattirust mira a colmare questa lacuna. È un framework modulare in Rust per il benchmarking dei sistemi di argomentazione su SIS e MLWE. Pensa ad arkworks per i reticoli, senza scorciatoie. Analizziamo questo punto.

lattirust è una libreria Rust per la prototipazione e il benchmarking di schemi ZK/SNARK basati su reticoli. Occupa una nicchia simile ad arkworks, ma si rivolge alle primitive del reticolo. Pensalo come un lattigo, ma orientato verso i sistemi di argomentazione.

La biblioteca è modulare e comprende: - Lattirust-Aritmetica: anelli polinomiali, algebra lineare, spazi di sfida - Reticol-Estimatore: Stima della sicurezza concreta - Relazioni: astrazioni per relazioni argomentative - Labrador, Lova: Implementazioni di schemi recenti

La stima della sicurezza si basa attualmente su reticolare-stimatore e PQ-Crystals. I piani futuri includono uno stimatore nativo di Rust in fase di compilazione ottimizzato per le ipotesi SIS, che colma il divario negli strumenti per la durezza specifica dell'argomento.

labrador implementa lo schema LaBRADOR, focalizzato su argomenti adatti alle reticoli. lova aggiunge tecniche basate sul folding ispirate ai protocolli Lova ZK, indicando un'esplorazione continua verso la sintesi e l'efficienza sotto assunzioni di reticolo.

Il lavoro futuro include l'aritmetica polinomiale parametrizzata (supportando domini non-NTT o parziali-NTT) e il sollevamento del modulo per q ≡ 5 mod 8. La roadmap suggerisce ottimizzazioni più profonde per contesti crittografici ad alta intensità aritmetica.

C'è l'integrazione con nimue e la parziale compatibilità con arkworks, suggerendo l'intenzione di una più ampia interoperabilità dell'ecosistema. In particolare, la piega reticolare di Nethermind è stata costruita su una prima biforcazione di lattirust.

Il team sta lavorando attivamente su prove ZK per schemi di crittografia MLWE e RLWE (KLSS23, Libert24) e operazioni FHE a tempo costante in Jasmin, mirando a casi d'uso ad alta affidabilità con verifica formale tramite hacspec, Jasmin, EasyCrypt e Lean.

Nel complesso, lattirust si sta posizionando come strato di base completo per sistemi ZK ad alta sicurezza basati su reticoli. Gli strumenti e l'architettura si rivolgono alla progettazione sperimentale e alla creazione di istanze concrete di sistemi di dimostrazione basati su reticolo.

Repo: