zk-SNARK

Un zk-SNARK es un tipo de prueba de conocimiento cero sucinta y no interactiva: la prueba es muy pequeña y rápida de verificar, y el probador la envía una sola vez, sin ida y vuelta. Esa combinación hace que los zk-SNARK sean prácticos en blockchains, donde cada verificador paga por el cómputo, y sostienen varias monedas de privacidad y ZK rollups. La contrapartida histórica es el trusted setup: una ceremonia única que genera parámetros públicos y deja restos secretos, a veces llamados residuo tóxico, que deben destruirse porque quien los conserve podría falsificar pruebas. Las ceremonias multiparte reducen ese riesgo, pues basta con un participante honesto. Los zk-SNARK también se apoyan en supuestos de curvas elípticas que no se consideran resistentes a la computación cuántica.