A linguagem de script do Bitcoin é intencionalmente primitiva—ela basicamente pode fazer adição e multiplicação.
Construir um verificador de prova ZK neste ambiente é como escrever código assembly para resolver criptografia avançada.
O verificador de 1GB comprimido em pedaços de 4MB através de 'truques' mostra o que é possível dentro das limitações do Bitcoin.
