Los SNARKs post-cuánticos se vuelven transparentes. Greyhound de @zksecurityXYZ muestra cómo 👇

@zksecurityXYZ Greyhound es un SNARK basado en una red transparente. Aprovecha redes estructuradas, compromisos de Ajtai y técnicas eficientes de generación de pruebas.

@zksecurityXYZ La innovación principal: reemplazar los esquemas tradicionales basados en logaritmos discretos o emparejamientos con suposiciones de reticulado, apuntando a la seguridad post-cuántica mientras se mantiene la brevedad y la verificabilidad.

@zksecurityXYZ Clave primitiva: compromiso de Ajtai. Utiliza la dureza en el peor de los casos de los problemas de reticulado (por ejemplo, SIS) para vincular valores comprometidos. Greyhound lo implementa dentro de su sistema de compromiso polinómico y prueba de conocimiento.

El protocolo de Greyhound opera sobre redes enteras. Evita la configuración de confianza a través de parámetros elegidos públicamente. La seguridad proviene de la dificultad de los problemas de redes bajo adversarios cuánticos, en lugar de suposiciones sobre el orden del grupo.

@zksecurityXYZ Eficiencia: los autores informan sobre una "construcción eficiente" tanto para el probador como para el verificador. Aunque sigue siendo más grande que los SNARKs basados en emparejamiento, Greyhound se escala con operaciones modulares en vectores/matrices, lo que es más adecuado para hardware optimizado para redes.

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

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

@zksecurityXYZ Desde un punto de vista criptográfico, demuestra viabilidad: configuración transparente, suposiciones de reticulado y estructura de prueba eficiente. Quedan preguntas clave sobre 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 retículas construido sobre compromisos de Ajtai. Logra seguridad post-cuántica sin necesidad de configuración de confianza, buscando tamaños de prueba prácticos y eficiencia en el verificador. Ofrece una hoja de ruta para integrar criptografía resistente a cuánticos en sistemas existentes.

@zksecurityXYZ Lee la publicación del blog 👇

@zksecurityXYZ Lo último y lo mejor en ZK, aquí, cada mes👇