Silvio Micali

Micali przyjechał do Berkeley z Rzymu i w 1982 roku napisał z Shafi Goldwasser pracę o szyfrowaniu probabilistycznym: ten sam tekst jawny powinien za każdym razem szyfrować się inaczej, a bezpieczeństwo oznaczać, że atakujący dowiaduje się o wiadomości niczego — a nie tylko tego, że nie odczyta jej w całości. Trzy lata później, z Charlesem Rackoffem, powstały dowody z wiedzą zerową. Para dostała wspólnie Nagrodę Turinga w 2012 roku.

Późniejsze prace to funkcje pseudolosowe (z Goldreichem i Goldwasser) oraz weryfikowalne funkcje losowe. W 2017 roku założył Algorand, blockchain typu proof-of-stake, który właśnie tych funkcji używa do losowania, kto zaproponuje następny blok. Teoria, która w końcu dorobiła się tokena — zdarza się najlepszym.