El valor fundamental de las blockchains: Verificabilidad pública. O en otras palabras: Permitir que cualquiera, sin permiso o una alta barrera financiera, verifique los datos en la cadena. Problema: Un alto rendimiento significa que la cadena es rápida, pero los participantes necesitan máquinas de computación caras para verificar la cadena. Un bajo rendimiento significa que cualquier dispositivo de computación barato puede verificar la cadena, pero está congestionada. Los ZKPs resuelven ese problema: Generan una prueba que atestigua la validez de una enorme cantidad de txs (así podemos lograr rendimiento), y pueden ser verificadas públicamente (así podemos lograr verificabilidad).