Joe Kilian
Crittografo statunitense i cui argomenti succinti del 1992 sono i nonni degli attuali zk-SNARK.
Kilian conseguì il dottorato al MIT con Silvio Micali e dimostrò nel 1988 che l'oblivious transfer basta da solo per costruire il calcolo multiparte sicuro. Ancora studente aveva lavorato con Shafi Goldwasser al metodo Goldwasser–Kilian, che usa le curve ellittiche per produrre certificati verificabili di primalità.
L'idea più duratura arrivò nel 1992: combinare una prova verificabile probabilisticamente con un Merkle tree, così il verificatore deve esaminare solo pochi rami invece dell'intera prova. Trent'anni dopo l'industria della blockchain funziona su questa costruzione, di solito senza citarlo. Kilian è poi diventato professore alla Rutgers.