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. Occupando una nicchia simile a arkworks, ma mirata ai primitivi di reticolo. Pensala come lattigo, ma orientata verso i sistemi di argomentazione.

La libreria è modulare e copre: - lattirust-arithmetic: anelli polinomiali, algebra lineare, spazi di sfida - lattice-estimator: stima della sicurezza concreta - relations: astrazioni per relazioni argomentative - labrador, lova: implementazioni di schemi recenti

La stima della sicurezza è attualmente basata su lattice-estimator e PQ-Crystals. I piani futuri includono un estimatore nativo Rust ottimizzato per le assunzioni SIS, affrontando il divario negli strumenti per la durezza specifica degli argomenti.

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'è integrazione con nimue e compatibilità parziale con arkworks, suggerendo un'intenzione per una maggiore interoperabilità dell'ecosistema. È notevole che il latticefold di Nethermind sia stato costruito su un fork iniziale 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.

In generale, lattirust si sta posizionando come una base completa per sistemi ZK basati su reticoli ad alta affidabilità. Gli strumenti e l'architettura sono progettati per il design sperimentale e l'implementazione concreta di sistemi di prova basati su reticoli.

Repo: