Silvio Micali

Micali Roma'dan Berkeley'e geldi ve 1982'de Shafi Goldwasser ile olasılıksal şifreleme makalesini yazdı: aynı düz metin her seferinde farklı şifrelenmeli ve güvenlik, saldırganın iletiyi tümüyle okuyamaması değil, ileti hakkında hiçbir şey öğrenememesi demek olmalıydı. Üç yıl sonra, Charles Rackoff'la birlikte sıfır bilgi ispatları geldi. İkili 2012 Turing Ödülü'nü paylaştı.

Sonraki çalışmaları arasında sözde rastgele fonksiyonlar (Goldreich ve Goldwasser'la) ve doğrulanabilir rastgele fonksiyonlar var. 2017'de, bir sonraki bloğu kimin önereceğini kura çekmek için tam da bu fonksiyonları kullanan proof-of-stake blokzinciri Algorand'ı kurdu. Sonunda bir token'a kavuşan kuram — en iyilerin başına bile gelir.