ZK sistemlerinin iki bileşeni vardır: kanıtlayıcılar ve doğrulayıcılar. Kanıtlamak hesaplama açısından pahalıdır (bir zamanlar günler sürerdi, şimdi saniyeler sürüyor). Doğrulama akıllı sözleşme zincirlerinde ucuz ama Bitcoin için doğal olarak imkansız derecede pahalı. Yenilik: ZK doğrulamasını Bitcoin üzerinde karmaşık devrelerle mümkün kılmak, doğrulayıcıyı zincirden çıkarmak.