Die Skriptsprache von Bitcoin ist absichtlich primitiv - sie kann im Grunde genommen Addition und Multiplikation durchführen.

Einen ZK-Proof-Verifier in dieser Umgebung zu erstellen, ist wie das Schreiben von Assembler-Code, um fortgeschrittene Kryptografie zu lösen.

Der 1GB Verifier, der durch 'Tricks' auf 4MB-Blöcke komprimiert wurde, zeigt, was innerhalb der Grenzen von Bitcoin möglich ist.