Glosario cripto
Prueba de conocimiento cero (ZK)
Una prueba de conocimiento cero es un método criptográfico que permite demostrar que una afirmación es cierta sin revelar los datos en los que se basa.
Con una prueba de conocimiento cero, un probador convence a un verificador de que algo es cierto, por ejemplo que un conjunto de transacciones se ejecutó correctamente o que un usuario es mayor de 18 años, sin revelar el detalle de las transacciones ni la fecha de nacimiento. Verificar la prueba es rápido aunque el cálculo original haya sido enorme.
En cripto, las pruebas ZK cumplen dos funciones. En privacidad, Zcash usa zk-SNARKs para ocultar remitentes, destinatarios e importes. En escalabilidad, los ZK-rollups como zkSync, Starknet, Scroll y Linea generan una prueba de que miles de transacciones son válidas, y Ethereum solo tiene que verificar esa prueba.
Generar pruebas exige mucha capacidad de cómputo y la criptografía es compleja, así que los errores en circuitos o probadores son un riesgo real. Las dos grandes familias, zk-SNARKs y zk-STARKs, se diferencian en tamaño de la prueba, velocidad y en si necesitan una configuración de confianza inicial.
Ejemplo
Un ZK-rollup puede agrupar 5.000 transferencias, calcular una única prueba de validez y hacer que un contrato de Ethereum la verifique en una sola transacción en lugar de volver a ejecutar las 5.000.
Términos relacionados
Últimos artículos sobre Prueba de conocimiento cero
- La Fundación Ethereum presenta zkAPI para inferencias privadas de IA mediante pruebas de conocimiento cero
- Desarrolladores de Ethereum impulsan una capa de privacidad con conocimiento cero para chatbots de IA
- Tecnología de Conocimiento Cero: El Arma Secreta de Bitcoin Contra la Amenaza Cuántica
- Vitalik Buterin Propone Pruebas de Conocimiento Cero para Algoritmos Sociales
- Vitalik revela el protocolo GKR para impulsar el futuro de conocimiento cero de Ethereum
