BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//CERN//INDICO//EN
BEGIN:VEVENT
SUMMARY:Faire confiance aux calculs informatiques : une révolution crypto
 graphique par les mathématiques
DTSTART:20251203T090000Z
DTEND:20251203T100000Z
DTSTAMP:20260812T140700Z
UID:indico-event-15417@indico.math.cnrs.fr
DESCRIPTION:Speakers: Jade Nardi (CNRS\, IRMAR\, Univ Rennes)\n\nImaginez 
 demander à un ami d'effectuer un calcul complexe : comment savoir s'il ne
  s'est pas trompé ? C'est le même défi avec les calculs qu'on délègue
  aux serveurs informatiques. Le calcul vérifiable\, domaine à la croisé
 e de l'informatique théorique\, de l'algèbre et de l'arithmétique\, ré
 sout ce problème : le serveur fournit la réponse accompagnée d'une "pre
 uve mathématique" de sa justesse\, comme si votre ami montrait ses calcul
 s pour une vérification rapide.Dans cet exposé\, nous présenterons d'ab
 ord les enjeux généraux du calcul vérifiable\, puis nous explorerons le
 s protocoles de vérification de somme pour les polynômes multivariés. N
 ous nous concentrerons sur la méthode de Lund\, Fortnow et Karloff (1992)
 \, outil fondamental pour les blockchains.Notre contribution récente\, av
 ec Christophe Levrat et Tanguy Medevielle\, améliore cette méthode en r
 éduisant significativement le nombre d'interactions entre prouveur et vé
 rifieur grâce à une approche "diviser pour régner". On présentera les 
 obstacles et les outils mathématiques qui ont permis de les surmonter. \
 n\nhttps://indico.math.cnrs.fr/event/15417/
LOCATION:Pellos (1R2 - 207) (IMT)
URL:https://indico.math.cnrs.fr/event/15417/
END:VEVENT
END:VCALENDAR