Joe Kilian
Amerykański kryptograf, którego zwięzłe argumenty z 1992 roku są pradziadkiem dzisiejszych zk-SNARK-ów.
Kilian doktoryzował się na MIT pod kierunkiem Silvio Micaliego i w 1988 roku wykazał, że sam oblivious transfer wystarcza do zbudowania bezpiecznych obliczeń wielostronnych. Jeszcze jako student opracował z Shafi Goldwasser metodę Goldwasser–Kilian, wykorzystującą krzywe eliptyczne do tworzenia weryfikowalnych certyfikatów pierwszości.
Jego najtrwalszy pomysł pochodzi z 1992 roku: połączyć probabilistycznie sprawdzalny dowód z drzewem Merkle’a, tak by weryfikator musiał zobaczyć tylko kilka gałęzi zamiast całego dowodu. Trzy dekady później na tej konstrukcji opiera się branża blockchainowa — zwykle bez wspominania o nim. Kilian został ostatecznie profesorem na Rutgers.