Pruebas de Conocimiento Cero en Espacio Sublineal: Un Gran Avance

Los investigadores han desarrollado SSZKP, un sistema de prueba de conocimiento cero en espacio sublineal con una implementación en Rust usando KZG/BN254. Alcanza un uso de memoria O(√T) para una traza de longitud T, empleando IFFTs en bloques y acumuladores de transmisión. SSZKP utiliza compromisos KZG estándar sin almacenar polinomios completos, ofreciendo un enfoque altamente eficiente para construir sistemas zk escalables. El proyecto incluye herramientas CLI completas para el probador y el verificador, además de scripts de prueba de extremo a extremo.