Pruebas de Conocimiento Cero

Una prueba de conocimiento cero (ZKP) es un método criptográfico que permite a una parte (el probador) demostrar a otra parte (el verificador) que una declaración es verdadera sin revelar ninguna información más allá de la validez de la declaración misma.

• zk-SNARKs: Argumentos de Conocimiento Sucintos No Interactivos. Tamaño de prueba pequeño y verificación rápida, pero requieren una ceremonia de configuración de confianza. Usado por Zcash.
• zk-STARKs: Argumentos de Conocimiento Escalables y Transparentes. Pruebas más grandes pero sin configuración de confianza. Resistentes a la computación cuántica. Usado por StarkNet.
• PLONK: Una configuración de confianza universal y actualizable que puede usarse para cualquier circuito, reduciendo la necesidad de ceremonia por aplicación.

• ZK-Rollups: Usan pruebas ZK para verificar transacciones agrupadas off-chain antes de publicarlas en L1 (zkSync, StarkNet, Polygon zkEVM)
• Privacidad: Demostrar que tienes suficientes tokens para una transacción sin revelar tu saldo (transacciones protegidas de Zcash)
• Identidad: Demostrar que eres mayor de 18 años sin revelar tu fecha de nacimiento
• Votación: Demostrar que votaste sin revelar por quién votaste

• Completitud: Una declaración verdadera siempre será aceptada
• Solidez: Una declaración falsa (casi) siempre será rechazada
• Conocimiento Cero: El verificador no aprende nada más allá de la verdad de la declaración