Valor fundamental de las blockchains: verificabilidad pública. O en otras palabras: permitir que cualquiera, sin permiso o una barrera financiera alta, verifique los datos de la cadena. Problema: Un alto rendimiento significa que la cadena es rápida, pero los participantes necesitan máquinas de cómputo costosas para verificar la cadena. Bajo rendimiento significa que cualquier dispositivo informático barato puede verificar la cadena, pero está atascada. Los ZKP resuelven ese problema: Generan una demostración que atestigua la validez de una enorme cantidad de txs (para que podamos alcanzar el rendimiento), y pueden ser verificadas públicamente (para lograr verificabilidad).