ZK-Systeme haben zwei Komponenten: Prover und Verifier. Das Beweisen ist rechenintensiv (früher dauerte es Tage, jetzt nur noch Sekunden). Das Verifizieren ist günstig auf Smart-Contract-Blockchains, aber auf Bitcoin nativ unmöglich teuer. Die Innovation: ZK-Verifizierung auf Bitcoin durch verschlüsselte Schaltungen möglich zu machen, indem der Verifier off-chain genommen wird.