Goldwasser Shafi

Née à New York en 1958, Shafi Goldwasser a fait de la protection de l'information un objet mathématique. Imaginez qu'une personne doive convaincre un interlocuteur qu'une affirmation est vraie, tout en gardant secrètes les données qui la justifient.

Les preuves à divulgation nulle de connaissance rendent ce geste possible : la validité est établie, mais rien d'autre n'est révélé. Cette idée fondatrice relie les travaux de Goldwasser sur la cryptographie, les preuves interactives et la théorie de la complexité.

Shafi Goldwasser, diminutif de Shafrira Goldwasser, est une informaticienne américano-israélienne née en 1958 à New York. Après un premier cycle à l'université Carnegie-Mellon, elle obtient en 1983 un doctorat à l'université de Californie à Berkeley, sous la direction de Manuel Blum. Elle est professeure au MIT depuis 1983 et à l'Institut Weizmann, en Israël, depuis 1993.

Ses recherches couvrent la théorie de la complexité, la cryptographie et la théorie algorithmique des nombres. Leur apport central concerne les preuves interactives et les preuves à divulgation nulle de connaissance, aussi appelées Zero-Knowledge Interactive Proofs ou ZKIP. Dans ce cadre, une affirmation peut être reconnue valide sans que la preuve révèle d'information au-delà de cette validité.

Son nom est associé à deux systèmes distincts, le cryptosystème de Goldwasser-Micali et le cryptosystème de Blum-Goldwasser. Elle reçoit le prix Gödel en 1993, puis une seconde fois en 2001. En 2012, le prix Turing lui est attribué conjointement avec Silvio Micali.

Imaginons une grotte en anneau : ses deux passages, A et B, sont reliés au fond par une porte verrouillée. Une personne affirme connaître le mot qui ouvre cette porte, mais veut garder ce mot secret. L'affirmation publique est donc « je connais le mot », et le mot lui-même est l'information confidentielle.

1. La personne entre seule dans la grotte par A ou par B. Le contrôleur reste dehors : il ne voit pas le passage choisi et n'entend pas le mot secret.

2. Une fois la personne cachée, le contrôleur lui demande de ressortir par l'un des deux passages, A ou B, choisi sur le moment. La demande constitue le défi de l'échange.

3. Si la personne se trouve du mauvais côté, elle doit ouvrir la porte intérieure pour rejoindre le passage demandé. Elle ressort par le bon côté sans prononcer ni montrer le mot.

4. En répétant l'échange avec de nouveaux choix, le contrôleur peut renforcer sa conviction que la personne sait ouvrir la porte. À partir des réponses observées, il accepte ou rejette l'affirmation, mais n'apprend jamais le mot qui la justifie.

Dans un texte de cryptographie, l'expression « divulgation nulle de connaissance » signale une preuve dont le résultat porte sur la validité d'une affirmation. Si le texte décrit plutôt un chiffrement, il faut chercher le nom complet du cryptosystème concerné.

Devant le nom Goldwasser-Micali ou Blum-Goldwasser, le second nom est décisif. Il identifie l'un des deux cryptosystèmes associés à Shafi Goldwasser et évite de les réduire à une seule appellation.

Pour situer une récompense, l'année doit rester attachée à son intitulé : prix Gödel en 1993 et en 2001, puis prix Turing en 2012. Pour ce dernier, la mention conjointe avec Silvio Micali fait partie du repère.

Shafi Goldwasser et le cryptosystème de Goldwasser-Micali. La première est une informaticienne ; le second est un système cryptographique associé à son nom et à celui de Silvio Micali. La présence du mot « cryptosystème » tranche immédiatement.

Goldwasser-Micali et Blum-Goldwasser. Ce sont deux appellations distinctes citées dans la source. Si le second nom est Blum, écrire Goldwasser-Micali changerait l'objet désigné ; il faut donc conserver le nom composé complet.

Preuve à divulgation nulle et cryptosystème. La première établit la validité d'une affirmation sans livrer d'information au-delà de ce verdict. Les deux cryptosystèmes sont d'autres résultats associés à Goldwasser ; leur nom ne désigne pas, à lui seul, une telle preuve.

« Divulgation nulle » ne signifie pas absence d'échange : la source parle de preuves interactives. Le symptôme du contresens serait de supprimer toute interaction ; il faut distinguer l'échange nécessaire du contenu confidentiel qui n'est pas révélé.

La formule « sans révéler aucune information » porte ici sur ce qui excède la validité de l'affirmation. Oublier cette fin de phrase ferait croire que même le verdict reste secret ; il faut conserver la restriction « au-delà de cette validité ».

L'année 1993 correspond à deux faits distincts dans la source : le début du professorat à l'Institut Weizmann et un premier prix Gödel. Les fusionner en un seul événement serait une erreur ; chaque date doit rester attachée à son fait.

Les noms composés signalent des travaux associés à plusieurs personnes. Attribuer seule à Goldwasser le cryptosystème de Goldwasser-Micali ou le prix Turing 2012 effacerait Silvio Micali ; il faut préserver l'attribution conjointe explicitement donnée.

La cryptographie fournit le cadre général dans lequel s'inscrivent plusieurs travaux de Shafi Goldwasser.

cryptographie situe la protection de l'information et le rôle des systèmes cryptographiques dans leur domaine commun.