ZK-system har två komponenter: provare och verifierare. Att bevisa är beräkningsmässigt kostsamt (det tog en gång dagar, nu tar det några sekunder). Verifiering är billigt på smarta kontraktskedjor men omöjligt dyrt på Bitcoin inbyggt. Innovationen: att göra ZK-verifiering möjlig på Bitcoin genom förvrängda kretsar, vilket tar verifieraren utanför kedjan.