Silvio Micali
Criptógrafo ítalo-americano que, com Shafi Goldwasser, colocou a criptografia moderna sobre bases demonstráveis.
Micali chegou a Berkeley vindo de Roma e, em 1982, coescreveu com Shafi Goldwasser o artigo sobre criptografia probabilística: o mesmo texto claro deve ser cifrado de forma diferente a cada vez, e segurança deve significar que o atacante não aprende nada sobre a mensagem — e não apenas que não consegue lê-la inteira. Três anos depois, com Charles Rackoff, vieram as provas de conhecimento zero. A dupla dividiu o Prêmio Turing de 2012.
Trabalhos posteriores incluem funções pseudoaleatórias (com Goldreich e Goldwasser) e funções aleatórias verificáveis. Em 2017, fundou a Algorand, uma blockchain de prova de participação que usa exatamente essas funções para sortear quem propõe o próximo bloco. Teoria que acabou ganhando um token — acontece com os melhores.