Los ZK/SNARKs basados en redes carecen de una pila de prototipado rigurosa. lattirust busca llenar este vacío. Es un marco modular en Rust para evaluar sistemas de argumentos sobre SIS y MLWE. Piensa en arkworks para redes, sin atajos. Desglosemos esto.

lattirust es una biblioteca de Rust para prototipar y evaluar esquemas ZK/SNARK basados en retículos. Ocupa un nicho similar a arkworks, pero se centra en los primitivos de retículo. Piénsalo como lattigo, pero orientado hacia sistemas de argumentos.

La biblioteca es modular, abarcando: - lattirust-arithmetic: anillos polinómicos, álgebra lineal, espacios de desafío - lattice-estimator: estimación de seguridad concreta - relations: abstracciones para relaciones de argumentos - labrador, lova: implementaciones de esquemas recientes

La estimación de seguridad se basa actualmente en el estimador de reticulado y PQ-Crystals. Los planes futuros incluyen un estimador nativo de Rust en tiempo de compilación optimizado para suposiciones SIS, abordando la brecha en las herramientas para la dureza específica de argumentos.

labrador implementa el esquema LaBRADOR, centrado en argumentos amigables con las redes de reticulado. lova añade técnicas basadas en plegado inspiradas en los protocolos Lova ZK, lo que indica una exploración continua en la concisión y eficiencia bajo suposiciones de reticulado.

El trabajo futuro incluye aritmética polinómica parametrizada (soportando dominios no-NTT o NTT parcial) y elevación de módulo para q ≡ 5 mod 8. La hoja de ruta insinúa una optimización más profunda para contextos criptográficos que requieren mucha aritmética.

Hay integración con nimue y compatibilidad parcial con arkworks, lo que sugiere una intención de interoperabilidad más amplia en el ecosistema. Notablemente, el latticefold de Nethermind se construyó sobre un fork temprano de lattirust.

El equipo está trabajando activamente en pruebas ZK para esquemas de cifrado MLWE y RLWE (KLSS23, Libert24) y operaciones FHE en tiempo constante en Jasmin, enfocándose en casos de uso de alta seguridad con verificación formal a través de hacspec, Jasmin, EasyCrypt y Lean.

En general, lattirust se está posicionando como una capa base integral para sistemas ZK basados en retículas de alta seguridad. Las herramientas y la arquitectura están diseñadas para el diseño experimental y la implementación concreta de sistemas de prueba basados en retículas.

Repo: