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.