Systemy ZK mają dwa komponenty: proverzy i weryfikatory. Dowodzenie jest kosztowne obliczeniowo (kiedyś zajmowało dni, teraz zajmuje sekundy). Weryfikacja jest tania na łańcuchach smart kontraktów, ale niemożliwie droga na Bitcoinie natywnie. Innowacja: umożliwienie weryfikacji ZK na Bitcoinie poprzez zniekształcone obwody, przenosząc weryfikatora poza łańcuch.