Джо Килиан
Американский криптограф, чьи краткие аргументы 1992 года — прародитель сегодняшних zk-SNARK.
Килиан защитил докторскую в MIT у Сильвио Микали и в 1988 году показал, что забывающей передачи достаточно, чтобы построить безопасные многосторонние вычисления. Ещё студентом он вместе с Шафи Гольдвассер создал метод Гольдвассер–Килиана, использующий эллиптические кривые для проверяемых сертификатов простоты.
Самая долговечная идея появилась в 1992 году: объединить вероятностно проверяемое доказательство с деревом Меркла, чтобы проверяющему хватало нескольких ветвей, а не всего доказательства. Тридцать лет спустя на этой конструкции держится блокчейн-индустрия — как правило, без упоминания автора. Килиан стал профессором Ратгерского университета.