Preuves interactives : le pouvoir de l’interaction

Cette séance de cours explore le concept de preuves interactives, en se concentrant sur des sujets tels que les preuves à connaissance nulle, la composition parallèle, la composition séquentielle et le protocole Goldreich-Micali-Wigderson. Il explore les complexités des protocoles cryptographiques, la solidité, les niveaux de connaissance zéro et la relation entre les classes de complexité. L'instructeur discute du protocole Goldwasser-Micali-Rackoff, de la coloration des graphes et du problème de l'isomorphisme des graphes. La séance de cours couvre également le protocole Sigma, ZK Trick, et la notion d'un démonstrateur malveillant. En outre, il examine les propriétés des protocoles électroniques, la preuve de la connaissance et les implications des protocoles en tant que preuve de la connaissance.

À propos de ce résultat

Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.

Séances de cours associées (321)

Concepts associés (213)

COM-501: Advanced cryptography

This course reviews some failure cases in public-key cryptography. It introduces some cryptanalysis techniques. It also presents fundamentals in cryptography such as interactive proofs. Finally, it pr

Prover9

Prover9 is an automated theorem prover for first-order and equational logic developed by William McCune. Prover9 is the successor of the Otter theorem prover also developed by William McCune. Prover9 is noted for producing relatively readable proofs and having a powerful hints strategy. Prover9 is intentionally paired with Mace4, which searches for finite models and counterexamples. Both can be run simultaneously from the same input, with Prover9 attempting to find a proof, while Mace4 attempts to find a (disproving) counter-example.

Démonstration automatique de théorèmes

La démonstration automatique de théorèmes (DAT) est l'activité d'un logiciel qui démontre une proposition qu'on lui soumet, sans l'aide de l'utilisateur. Les démonstrateurs automatiques de théorème ont résolu des conjectures intéressantes difficiles à établir, certaines ayant échappé aux mathématiciens pendant longtemps ; c'est le cas, par exemple, de la , démontrée en 1996 par le logiciel EQP.

AC power

In an electric circuit, instantaneous power is the time rate of flow of energy past a given point of the circuit. In alternating current circuits, energy storage elements such as inductors and capacitors may result in periodic reversals of the direction of energy flow. Its SI unit is the watt. The portion of instantaneous power that, averaged over a complete cycle of the AC waveform, results in net transfer of energy in one direction is known as instantaneous active power, and its time average is known as active power or real power.

Design numérique

vignette|366x366px Incluant l’ensemble des pratiques utilisant des matières informatisées comme moyen et comme fin dans la conception, le design numérique (également appelé design d'interaction ou design interactif) définit les structures et comportements de systèmes interactifs. Apparaissant comme un nouveau champ issu de la révolution numérique, il réinvente la manière de façonner le design en mettant l’accent sur l’expérience de l’acteur et non l’objet en soi.

Système de preuve interactive

vignette|504x504px|Un système de preuve interactive est composé de deux machines abstraites : un prouveur et un vérificateur qui s'échangent des messages. En théorie de la complexité des algorithmes, un système de preuve interactive est un protocole formel de démonstration de théorèmes qui fait intervenir deux participants qui échangent des messages. Cela permet de définir des classes de complexité intéressantes, notamment la classe IP qui est le modèle utilisé dans le théorème PCP qui caractérise la classe NP.

Le pouvoir de l’interaction : la construction zéro connaissance COM-501: Advanced cryptography

Explore la construction à connaissance nulle, les modèles de configuration et la puissance de l'interaction dans les protocoles cryptographiques, y compris le protocole Sigma et les preuves à connaissance nulle NP.

Génération de nombres aléatoires quantiques PHYS-758: Advanced Course on Quantum Communication

Explore la génération de nombres quantiques aléatoires, en discutant des défis et des implémentations de générer une bonne randomité à l'aide de dispositifs quantiques.

Cryptanalyse: Clé publique et le pouvoir de l'interaction COM-501: Advanced cryptography

Explore la cryptanalyse dans les systèmes à clé publique et la puissance de l'interaction dans les preuves interactives, couvrant le CO-NP, les classes NP, P vs. NP, et plus encore.

Modèles graphiques : Représentation des distributions probabilistes PHYS-512: Statistical physics of computation

Couvre les modèles graphiques pour les distributions probabilistes à l'aide de graphiques, de nœuds et de bords.

Solutions fondamentales de l'équation de Laplace MATH-305: Introduction to partial differential equations

Explore les solutions fondamentales, la formule, les distributions et la convergence de Green dans l'équation de Laplace.