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 la creación de prototipos y la evaluación comparativa de esquemas ZK/SNARK basados en celosías. Ocupa un nicho similar a los arcos, pero apunta a las primitivas de celosía. Piense en ello como lattigo, pero orientado a los sistemas de argumentación.

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 la seguridad se basa actualmente en el estimador de red y los cristales PQ. Los planes futuros incluyen un estimador nativo de Rust en tiempo de compilación optimizado para los supuestos de SIS, abordando la brecha en las herramientas para la dureza específica del argumento.

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 del ecosistema. En particular, el pliegue de celosía de Nethermind se construyó sobre una bifurcación temprana 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 celosías de alta seguridad. Las herramientas y la arquitectura se adaptan al diseño experimental y la creación de instancias concretas de sistemas de prueba basados en celosías.

Repo: