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.

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.

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.

Las defensas contra zk-SNARK combinan habitualmente controles técnicos y prácticas operativas, como se detalla en la definición.

Nombres alternativos comunes: SNARK, Argumento sucinto no interactivo de conocimiento.