zk-SNARK
¿Qué es zk-SNARK?
zk-SNARKArgumento de conocimiento no interactivo, sucinto y de conocimiento cero: una prueba pequeña y de verificación rápida de que una computación se ejecutó correctamente, sin revelar sus entradas.
Un zk-SNARK (Zero-Knowledge Succinct Non-Interactive Argument of Knowledge) es un sistema de pruebas no interactivo que genera pruebas de apenas unos cientos de bytes y verificables en milisegundos, independientemente del tamaño de la computación. Construcciones como Groth16, PLONK o Halo2 se apoyan en emparejamientos sobre curvas elípticas o en compromisos polinómicos, y suelen requerir una configuración de confianza generada mediante una ceremonia multipartita para evitar un único punto de confianza. Los zk-SNARK alimentan criptomonedas privadas (Zcash), zk-rollups de Ethereum (zkSync, Polygon zkEVM, Scroll) y sistemas de identidad confidenciales. Sus principales contrapartidas son el alto coste del probador y la dependencia de supuestos criptográficos vulnerables al ataque cuántico, salvo en variantes basadas en retículos.
● Ejemplos
- 01
Zcash usa zk-SNARK para ocultar emisor, receptor e importe de las transacciones en una blockchain pública.
- 02
zkSync Era y Polygon zkEVM comprimen miles de transacciones Ethereum en una sola prueba SNARK on-chain.
● Preguntas frecuentes
¿Qué es zk-SNARK?
Argumento de conocimiento no interactivo, sucinto y de conocimiento cero: una prueba pequeña y de verificación rápida de que una computación se ejecutó correctamente, sin revelar sus entradas. Pertenece a la categoría de Criptografía en ciberseguridad.
¿Qué significa zk-SNARK?
Argumento de conocimiento no interactivo, sucinto y de conocimiento cero: una prueba pequeña y de verificación rápida de que una computación se ejecutó correctamente, sin revelar sus entradas.
¿Cómo defenderse de zk-SNARK?
Las defensas contra zk-SNARK combinan habitualmente controles técnicos y prácticas operativas, como se detalla en la definición.
¿Cuáles son otros nombres para zk-SNARK?
Nombres alternativos comunes: SNARK, Argumento sucinto no interactivo de conocimiento.