Usando cero para atacar la prueba de conocimiento cero (ZKP) PLONK
Black Hat
Mostraremos cómo usar cero para atacar la prueba de conocimiento cero (ZKP). En particular, discutiremos un *problema crítico* en una implementación de vanguardia de ZKP PLONK en C++ que permite a un atacante crear una prueba *falsificada* que todos los verificadores aceptarán. Mostraremos cómo la teoría guía la dirección del ataque. En la práctica, el ataque funciona a la perfección y mostraremos cómo el ataque se aprovecha de una cadena de fallos de software perfectamente alineados.