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.
Staking Bitcoin mengungkapkan pola yang tidak terduga: bootstrap ketidakpercayaan dari hubungan kepercayaan lokal.
Kustodian dan bursa bertindak sebagai penyedia finalitas untuk pelanggan mereka sendiri, orang-orang yang sudah mempercayai mereka secara lokal.
Protokol ini memperluas ini ke dalam koordinasi global yang lebih luas tanpa memerlukan kepercayaan pada orang asing.
Berbeda dari pemilihan validator PoS pada umumnya, tetapi berhasil.