ZK-systemer har to komponenter: bevisere og verifikatorer. Bevis er beregningsmessig kostbart (det tok en gang dager, nå tar det sekunder). Verifisering er billig som smartkontraktkjeder, men umulig dyrt på Bitcoin nativt. Innovasjonen: å gjøre ZK-verifisering mulig på Bitcoin gjennom forvrengte kretser, som tar verifikatoren utenfor kjeden.