Preuves informatiques : vérifier sans révéler et de façon aléatoire est désormais possible
Les informaticiens savaient déjà comment prouver la véracité d’une affirmation sans révéler d’informations sur celle-ci, ou la vérifier en n’en examinant que de petits extraits pris au hasard. Ils ont désormais réussi à combiner ces deux approches en mettant au point une méthode de preuve « vérifiable de façon probabiliste et à divulgation nulle de connaissance ». Un tour de force en informatique théorique, qui ouvre de nouvelles perspectives pour la sécurité informatique.