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ía. Ocupa un nicho similar al de los arcas, pero se dirige a las primitivas de celosía. Piensa en ello como lattigo, pero orientado a sistemas de argumentos.

La biblioteca es modular y cubre: - Aritmética de lattirust: anillos polinómicos, álgebra lineal, espacios de desafío - Estimador de celosía: estimación de seguridad concreta - Relaciones: Abstracciones para relaciones argumentales - 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 las suposiciones 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 una interoperabilidad más amplia del ecosistema. En particular, el pliegue reticular 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, centrá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ía de alta seguridad. Las herramientas y la arquitectura se adaptan al diseño experimental y a la creación de instancias concretas de sistemas de prueba basados en celosía.

Repo: