Joe Kilian
1992'deki özlü argümanları bugünkü zk-SNARK'ların büyükbabası sayılan Amerikalı kriptograf.
Kilian doktorasını MIT'de Silvio Micali yanında yaptı ve 1988'de oblivious transfer'in tek başına güvenli çok taraflı hesaplama kurmaya yettiğini gösterdi. Hâlâ öğrenciyken Shafi Goldwasser ile, asallık için doğrulanabilir sertifikalar üretmekte eliptik eğrileri kullanan Goldwasser–Kilian yöntemi üzerinde çalışmıştı.
En kalıcı fikri 1992'de geldi: olasılıksal olarak denetlenebilir bir ispatı bir Merkle ağacıyla birleştirmek; böylece doğrulayıcının ispatın tamamını değil, yalnızca birkaç dalı görmesi yeter. Otuz yıl sonra blokzincir sektörü çoğunlukla ondan söz etmeden bu yapı üzerinde çalışıyor. Kilian sonradan Rutgers'ta profesör oldu.