BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//GREYC UMR CNRS 6072 - Groupe de Recherche en Informatique, Image, et Instrumentation de Caen - ECPv5.7.0//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:GREYC UMR CNRS 6072 - Groupe de Recherche en Informatique, Image, et Instrumentation de Caen
X-ORIGINAL-URL:https://www.greyc.fr
X-WR-CALDESC:évènements pour GREYC UMR CNRS 6072 - Groupe de Recherche en Informatique, Image, et Instrumentation de Caen
BEGIN:VTIMEZONE
TZID:Europe/Paris
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20260329T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20261025T010000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20260210T104500
DTEND;TZID=Europe/Paris:20260210T114500
DTSTAMP:20260418T201203
CREATED:20260130T101325Z
LAST-MODIFIED:20260130T101401Z
UID:12040-1770720300-1770723900@www.greyc.fr
SUMMARY:Séminaire Algorithmique : « Rejection-free framework of Zero-Knowledge Proof »\, Antoine Douteau (GREYC\, Caen)
DESCRIPTION:Les frameworks de preuves “Engager-et-prouver” sont une généralisation des protocoles à divulgation nulle de connaissances. Ils permettent\, en plus de prouver la connaissance d’un élément secret à un tiers\, de prouver certaines propriétés et relations. Par exemple\, qu’un vecteur est de petite norme ou encore qu’il est solution d’une relation quadratique publique. Un de ces frameworks (LNP\, Crypto22) base sa sécurité sur des problèmes cryptographiques reposant sur les réseaux euclidiens\, ainsi que sur une technique appellée “échantillonage par rejet” proposée par Lyubashevesky (Asiacrypt09). Les principaux problèmes de l’échantillonage par rejet est qu’il induit une construction en temps non constant\, dépendant du taux de rejet (ne permettant pas la construction de certains schémas cryptographiques avancées (KLSS\, Crypto23; HSS\, Crypto24)). Un second problème est son usage en boîte noire permettant des attaques par canaux auxiliaires\, coûteuses à protéger quand elles sont considérées. \nNotre contribution est une modification du framework existant\, sans rejet permettant de prouver dès qu’un secret est solution de relations linéaires et/ou quadratiques\, en basant la sécurité sur l’hypothèse Hint-MLWE (KLSS\, Crypto23).
URL:https://www.greyc.fr/event/seminaire-algorithmique-rejection-free-framework-of-zero-knowledge-proof-antoine-douteau-greyc-caen/
LOCATION:Sciences 3- S3 351
CATEGORIES:Amacc,General,News,Séminaire Algo
END:VEVENT
END:VCALENDAR