Titre original :
Proofs, Arguments, and Zero-Knowledge
Contenu du livre :
Cette monographie traite de l'informatique vérifiable (VC). L'informatique vérifiable fait référence aux protocoles cryptographiques appelés preuves interactives (PI) et aux arguments qui permettent à un prouveur de garantir à un vérificateur que le prouveur a effectué correctement un calcul demandé. Cette monographie couvre différentes notions de preuves mathématiques et leurs applications en informatique et en cryptographie. De manière informelle, nous entendons par preuve tout ce qui convainc quelqu'un de la véracité d'un énoncé, et par "système de preuve" toute procédure qui décide de ce qui est ou n'est pas une preuve convaincante.
Introduits dans les années 1980, les PI et les arguments ont représenté un élargissement conceptuel majeur de ce qui constitue une "preuve" de la véracité d'un énoncé. Traditionnellement, une preuve est un objet statique dont l'exactitude peut être facilement vérifiée étape par étape. En revanche, les IP permettent une interaction entre le prouveur et le vérificateur, ainsi qu'une probabilité infime mais non nulle qu'une preuve non valide passe la vérification. Les arguments (mais pas les IP) autorisent même l'existence de "preuves" de fausses déclarations, à condition que ces "preuves" nécessitent une puissance de calcul exorbitante pour être trouvées. Dans une certaine mesure, ces notions imitent les interactions en personne que les mathématiciens utilisent pour se convaincre mutuellement de la véracité d'une affirmation, sans passer par le processus laborieux de rédaction et de vérification d'une preuve statique traditionnelle.
Des résultats théoriques célèbres des années 1980 et 1990, tels que IP = PSPACE et MIP = NEXP, ont montré qu'en principe, des énoncés étonnamment compliqués peuvent être vérifiés efficacement. De plus, tout argument peut en principe être transformé en un argument à connaissance nulle, ce qui signifie que les preuves ne révèlent aucune information autre que leur propre validité. Les arguments à connaissance nulle ont une myriade d'applications en cryptographie.
Au cours de la dernière décennie, les arguments à connaissance nulle à usage général sont passés de la théorie à la pratique. Cela a ouvert de nouvelles portes dans la conception des systèmes cryptographiques et a permis de mieux comprendre la puissance des IP et des arguments (à connaissance nulle ou autre). Il existe aujourd'hui pas moins de cinq approches prometteuses pour concevoir des arguments à connaissance nulle efficaces et d'usage général. Cette monographie couvre ces approches de manière unifiée, en mettant l'accent sur leurs points communs.
Autres informations sur le livre :
| ISBN : | 9781638281245 |
| Auteur : | |
| Éditeur : | |
| Langue : | anglais |
| Reliure : | Broché |
Achat:
Actuellement disponible, en stock.
