El lenguaje de scripts de Bitcoin es intencionadamente primitivo; básicamente puede hacer suma y multiplicación.

Construir un verificador de prueba ZK en este entorno es como escribir código ensamblador para resolver criptografía avanzada.

El verificador de 1GB comprimido en fragmentos de 4MB a través de 'trucos' muestra lo que es posible dentro de las limitaciones de Bitcoin.