Une preuve à divulgation nulle de connaissance est une brique de base utilisée en cryptologie dans le cadre de l'authentification et de l'identification. Cette expression désigne un protocole sécurisé dans lequel une entité, nommée « fournisseur de preuve », prouve mathématiquement à une autre entité, le « vérificateur », qu'une proposition est vraie sans toutefois révéler d'autres informations que la véracité de la proposition. Les anglophones utilisent l'abréviation ZKIP pour Zero Knowledge Interactive proof.

Property Value
dbo:abstract
  • Une preuve à divulgation nulle de connaissance est une brique de base utilisée en cryptologie dans le cadre de l'authentification et de l'identification. Cette expression désigne un protocole sécurisé dans lequel une entité, nommée « fournisseur de preuve », prouve mathématiquement à une autre entité, le « vérificateur », qu'une proposition est vraie sans toutefois révéler d'autres informations que la véracité de la proposition. En pratique, ces schémas se présentent souvent sous la forme de protocoles de type « défi/réponse » (challenge-response). Le vérificateur et le fournisseur de preuve s'échangent des informations et le vérificateur contrôle si la réponse finale est positive ou négative. Les anglophones utilisent l'abréviation ZKIP pour Zero Knowledge Interactive proof. Il existe également des variantes sans interaction (non-interactive zero-knowledge proof). Celles-ci peuvent-être construites dans le modèle de l'oracle aléatoire par l'heuristique de Fiat-Shamir. (fr)
  • Une preuve à divulgation nulle de connaissance est une brique de base utilisée en cryptologie dans le cadre de l'authentification et de l'identification. Cette expression désigne un protocole sécurisé dans lequel une entité, nommée « fournisseur de preuve », prouve mathématiquement à une autre entité, le « vérificateur », qu'une proposition est vraie sans toutefois révéler d'autres informations que la véracité de la proposition. En pratique, ces schémas se présentent souvent sous la forme de protocoles de type « défi/réponse » (challenge-response). Le vérificateur et le fournisseur de preuve s'échangent des informations et le vérificateur contrôle si la réponse finale est positive ou négative. Les anglophones utilisent l'abréviation ZKIP pour Zero Knowledge Interactive proof. Il existe également des variantes sans interaction (non-interactive zero-knowledge proof). Celles-ci peuvent-être construites dans le modèle de l'oracle aléatoire par l'heuristique de Fiat-Shamir. (fr)
dbo:thumbnail
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 386458 (xsd:integer)
dbo:wikiPageLength
  • 16049 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 187946721 (xsd:integer)
dbo:wikiPageWikiLink
prop-fr:align
  • right (fr)
  • right (fr)
prop-fr:année
  • 1985 (xsd:integer)
  • 1991 (xsd:integer)
  • 2008 (xsd:integer)
  • 2010 (xsd:integer)
prop-fr:auteur
  • dbpedia-fr:Jean-Jacques_Quisquater
  • Avi Wigderson (fr)
  • Silvio Micali (fr)
  • Amit Sahai (fr)
  • Ivan Damgård (fr)
  • Oded Goldreich (fr)
  • Shafi Goldwasser (fr)
  • Louis Guillou (fr)
  • Charrles Rackoff (fr)
  • Jens Groth (fr)
  • Sivlio Micali (fr)
  • Yevgeniy Dodis (fr)
prop-fr:caption
  • Alice apparaît sur le chemin demandé par Bob (fr)
  • Bob crie un des deux chemins (fr)
  • Alice choisit aléatoirement le chemin A ou B; Bob attend dehors (fr)
  • Alice apparaît sur le chemin demandé par Bob (fr)
  • Bob crie un des deux chemins (fr)
  • Alice choisit aléatoirement le chemin A ou B; Bob attend dehors (fr)
prop-fr:date
  • 14102009 (xsd:integer)
prop-fr:description
  • Notes de cours (fr)
  • Notes de cours (fr)
prop-fr:direction
  • vertical (fr)
  • vertical (fr)
prop-fr:image
  • Zkip alibaba1.png (fr)
  • Zkip alibaba2.png (fr)
  • Zkip alibaba3.png (fr)
  • Zkip alibaba1.png (fr)
  • Zkip alibaba2.png (fr)
  • Zkip alibaba3.png (fr)
prop-fr:langue
  • en (fr)
  • en (fr)
prop-fr:libellé
  • Dodis et De Souza 2009 (fr)
  • Goldreich, Micali et Wigderson 1991 (fr)
  • Goldwasser, Micali et Rackoff 1985 (fr)
  • Quisquater et Guillou 1989 (fr)
  • Dodis et De Souza 2009 (fr)
  • Goldreich, Micali et Wigderson 1991 (fr)
  • Goldwasser, Micali et Rackoff 1985 (fr)
  • Quisquater et Guillou 1989 (fr)
prop-fr:lireEnLigne
  • https://link.springer.com/chapter/10.1007/978-3-540-78967-3_24|doi=10.1007/978-3-540-78967-3_24|langue=en|libellé=Groth et Sahai 2008 (fr)
  • https://link.springer.com/chapter/10.1007%2F0-387-34805-0_60?LI=true|série=LNCS|périodique=Crypto|année=1989|commentaire=Co-signé avec la famille des auteurs. (fr)
  • https://link.springer.com/chapter/10.1007/978-3-540-78967-3_24|doi=10.1007/978-3-540-78967-3_24|langue=en|libellé=Groth et Sahai 2008 (fr)
  • https://link.springer.com/chapter/10.1007%2F0-387-34805-0_60?LI=true|série=LNCS|périodique=Crypto|année=1989|commentaire=Co-signé avec la famille des auteurs. (fr)
prop-fr:nom
  • De Souza (fr)
  • De Souza (fr)
prop-fr:pages
  • 680 (xsd:integer)
prop-fr:prénom
  • Bianca (fr)
  • Bianca (fr)
prop-fr:périodique
  • Journal of the ACM (fr)
  • Eurocrypt (fr)
  • Symposium of the Theory of Computation (fr)
  • Journal of the ACM (fr)
  • Eurocrypt (fr)
  • Symposium of the Theory of Computation (fr)
prop-fr:titre
  • On Σ-Protocols (fr)
  • The knowledge complexity of interactive proof-systems (fr)
  • Proofs that yield nothing but their validity (fr)
  • Efficient Non-interactive Proof Systems for Bilinear Groups (fr)
  • How to Explain Zero-Knowledge Protocols to Your Children (fr)
  • On Σ-Protocols (fr)
  • The knowledge complexity of interactive proof-systems (fr)
  • Proofs that yield nothing but their validity (fr)
  • Efficient Non-interactive Proof Systems for Bilinear Groups (fr)
  • How to Explain Zero-Knowledge Protocols to Your Children (fr)
prop-fr:url
  • http://www.cs.au.dk/~ivan/Sigma.pdf|format=PDF|libellé=Damgård 2010 (fr)
  • http://www.cs.nyu.edu/courses/fall09/G22.3220-001/scribe/lecture6.pdf|format=pdf|titre=Advanced Cryptography (fr)
  • http://www.cs.au.dk/~ivan/Sigma.pdf|format=PDF|libellé=Damgård 2010 (fr)
  • http://www.cs.nyu.edu/courses/fall09/G22.3220-001/scribe/lecture6.pdf|format=pdf|titre=Advanced Cryptography (fr)
prop-fr:volume
  • 38 (xsd:integer)
prop-fr:width
  • 150 (xsd:integer)
prop-fr:wikiPageUsesTemplate
dct:subject
rdfs:comment
  • Une preuve à divulgation nulle de connaissance est une brique de base utilisée en cryptologie dans le cadre de l'authentification et de l'identification. Cette expression désigne un protocole sécurisé dans lequel une entité, nommée « fournisseur de preuve », prouve mathématiquement à une autre entité, le « vérificateur », qu'une proposition est vraie sans toutefois révéler d'autres informations que la véracité de la proposition. Les anglophones utilisent l'abréviation ZKIP pour Zero Knowledge Interactive proof. (fr)
  • Une preuve à divulgation nulle de connaissance est une brique de base utilisée en cryptologie dans le cadre de l'authentification et de l'identification. Cette expression désigne un protocole sécurisé dans lequel une entité, nommée « fournisseur de preuve », prouve mathématiquement à une autre entité, le « vérificateur », qu'une proposition est vraie sans toutefois révéler d'autres informations que la véracité de la proposition. Les anglophones utilisent l'abréviation ZKIP pour Zero Knowledge Interactive proof. (fr)
rdfs:label
  • Nollkunskapsbevis (sv)
  • Preuve à divulgation nulle de connaissance (fr)
  • Zero-knowledge proof (en)
  • Доказательство с нулевым разглашением (ru)
  • الإثبات بلا كشف (ar)
rdfs:seeAlso
owl:sameAs
prov:wasDerivedFrom
foaf:depiction
foaf:isPrimaryTopicOf
is dbo:wikiPageDisambiguates of
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is oa:hasTarget of
is foaf:primaryTopic of