Pruebas de conocimiento cero, con intuición

zk-SNARKs en lenguaje claro — completitud, solidez, conocimiento cero — y qué demuestra realmente una prueba sobre una transacción blindada de Zcash.