Sistem ZK memiliki dua komponen: provers dan verifier.
Membuktikan mahal secara komputasi (dulu membutuhkan waktu berhari-hari, sekarang membutuhkan waktu beberapa detik). Memverifikasi adalah rantai kontrak pintar yang murah tetapi sangat mahal di Bitcoin secara asli.
Inovasi: memungkinkan verifikasi ZK di Bitcoin melalui sirkuit yang kacau, membuat verifikator keluar dari rantai.