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.

Suprématie quantique