Los SNARK poscuánticos se vuelven transparentes. Greyhound de @zksecurityXYZ muestra cómo 👇

@zksecurityXYZ Greyhound es un SNARK transparente basado en celosía. Aprovecha los retículos estructurados, los compromisos de Ajtai y las técnicas eficientes de generación de pruebas.

@zksecurityXYZ La innovación principal: reemplazar las configuraciones tradicionales basadas en registros discretos o emparejamientos con suposiciones de celosía, centrándose en la seguridad poscuántica y manteniendo la concisión y la verificabilidad.

@zksecurityXYZ Primitiva clave: Compromiso Ajtai. Utiliza la dureza de los problemas de celosía en el peor de los casos (por ejemplo, SIS) para enlazar valores comprometidos. Greyhound lo despliega dentro de su compromiso polinómico y sistema de prueba de conocimiento.

@zksecurityXYZ protocolo de Greyhound opera sobre retículas enteras. Evita la configuración de confianza a través de parámetros elegidos públicamente. La seguridad se deriva de la dureza de los problemas de red bajo adversarios cuánticos, en lugar de suposiciones de orden de grupo.

@zksecurityXYZ Eficiencia: los autores informan de una "construcción eficiente" tanto para el probador como para el verificador. Si bien sigue siendo más grande que los SNARK basados en emparejamiento, Greyhound escala con operaciones modulares en vectores/matrices, más susceptibles al hardware optimizado para celosías.

@zksecurityXYZ Rendimiento del verificador: constante o logarítmico en el tamaño del circuito, dependiendo de la parametrización. Se basa en procedimientos de muestreo y verificación característicos de los compromisos de celosía, diseñados para reducir la interactividad y la sobrecarga de los probadores.

@zksecurityXYZ Ángulo de integración: Greyhound puede adaptarse a las cadenas de herramientas SNARK existentes mediante la sustitución modular del esquema de compromiso. No exige el rediseño de las abstracciones de circuitos, lo que lo hace pragmático para la transición poscuántica.

@zksecurityXYZ Desde un punto de vista criptográfico, demuestra viabilidad: configuración transparente, suposiciones de celosía y estructura de prueba eficiente. Siguen existiendo preguntas clave en torno a los tamaños de prueba concretos, la optimización de parámetros y el rendimiento de la implementación en el mundo real.

@zksecurityXYZ En resumen, Greyhound es un SNARK basado en celosía construido sobre los compromisos de Ajtai. Logra la seguridad poscuántica sin una configuración confiable, con el objetivo de tamaños de prueba prácticos y la eficiencia del verificador. Ofrece una hoja de ruta para integrar la criptografía resistente a la cuántica en los sistemas existentes.

@zksecurityXYZ Leer la entrada 👇 del blog

@zksecurityXYZ Lo último y lo mejor de ZK, aquí, todos los meses👇