zk-SNARK
Zero-Knowledge Succinct Non-interactive ARgument of Knowledge — bir hesaplamanın kanıtını, problemin boyutundan bağımsız olarak yaklaşık 200 bayta sıkıştırır ve milisaniyelerde doğrulatır.
Eşleme tabanlı kriptografiye (BLS12-381) dayanır. Bir güvenilir kurulum gerektirir (katılımcıların parametreleri birlikte ürettiği bir tören; tek bir dürüst katılımcı yeter). Groth16 klasik SNARK’tır; daha yeni PLONK ve Halo2 evrensel kurulum kullanır ya da hiç kurulum gerektirmez.
Zcash, Tornado Cash, Polygon zkEVM, Scroll ve Aleo’yu besler. Kanıt üretimi yavaştır (saniyeler ila dakikalar), doğrulama hızlıdır — zincir dışı hesaplamanın zincir üstünde doğrulanması için biçilmiş kaftan. zk-STARK, güvenilir kurulum gerektirmeyen ama daha büyük kanıtlar üreten, kuantum sonrası güvenli bir türevdir.