Shafi Goldwasser
Deu provas à criptografia — antes dela, uma cifra era segura até alguém quebrá-la; depois dela, a segurança passou a poder ser definida.
Cientista da computação israelense-americana, professora no MIT e no Instituto Weizmann. Com Silvio Micali, introduziu em 1982 a criptografia probabilística, junto com a definição de segurança semântica: um texto cifrado não pode revelar absolutamente nada sobre o texto original, nem um único bit, a qualquer atacante com recursos razoáveis.
Com Micali e Charles Rackoff, formulou em 1985 as provas de conhecimento zero — como convencer alguém de que uma afirmação é verdadeira sem revelar por quê. Essa ideia hoje sustenta desde criptomoedas anônimas até autenticação sem transmitir a senha. Prêmio Turing em 2012, compartilhado com Micali.