Los ZK/SNARK basados en celosía carecen de una pila de prototipos rigurosa. Lattirust tiene como objetivo llenar este vacío. Es un marco modular de Rust para la evaluación comparativa de sistemas de argumentos sobre SIS y MLWE. Piense en arkworks para celosías, sin atajos. Vamos a desentrañar este.

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 y cubre: - Lattirust-aritmética: anillos polinómicos, álgebra lineal, espacios de desafío - Estimador de celosía: estimación de seguridad concreta - relaciones: abstracciones para relaciones de argumento - Labrador, PVVV: 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 el entramado de celosías. lova añade técnicas basadas en el plegado inspiradas en los protocolos Lova ZK, lo que indica una exploración continua de la concisión y la eficiencia bajo supuestos de celosía.

El trabajo futuro incluye aritmética polinómica parametrizada (que admite dominios no NTT o NTT parciales) y elevación de módulos para q ≡ 5 mod 8. La hoja de ruta apunta a una optimización más profunda para contextos criptográficos con 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 de tiempo constante en Jasmin, apuntando a 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: