Silvio Micali

Arrivé de Rome à Berkeley, Micali cosigne en 1982 avec Shafi Goldwasser l'article sur le chiffrement probabiliste : un même texte clair doit se chiffrer différemment à chaque fois, et la sécurité doit signifier qu'un attaquant n'apprend rien du message — pas seulement qu'il ne peut pas le lire en entier. Trois ans plus tard, avec Charles Rackoff, viennent les preuves à divulgation nulle de connaissance. Le duo a partagé le prix Turing 2012.

Ses travaux ultérieurs portent notamment sur les fonctions pseudo-aléatoires (avec Goldreich et Goldwasser) et les fonctions aléatoires vérifiables. En 2017, il fonde Algorand, une blockchain en preuve d'enjeu qui se sert précisément de ces fonctions pour tirer au sort qui proposera le prochain bloc. De la théorie qui finit par avoir son jeton — cela arrive aux meilleurs.