P vs NP vs IP vs SNARK
Déterminer si un vérificateur faible peut vérifier des affirmations d'une superintellygence est un problème standard de la cryptographie. Cette vidéo explique ce mécanisme, et les grandes questions scientifiques qui l'entourent.
#LeFabuleuxChantier #Tournesol #Bayes #Science4All
Script + sources : https://github.com/lenhoanglnh/manusc...
Contribuez à Tournesol : https://tournesol.app/
0:00 Introduction
1:25 P versus NP
6:56 Les preuves de connaissance
12:13 La classe IP
17:20 Les SNARK
23:10 Conclusion
Twitter : / le_science4all
LinkedIn : / l%c3%aa-nguy%c3%aan-hoang
Guide de survie au cybercrime en entreprise (mon 6e livre, avec Romain du Maraiis, aka @Pour 1nf0 ) :
https://www.dunod.com/entreprise-et-e...
La dictature des algorithmes (mon 5e livre, avec Jean-Lou Fourquet, aka @ApresLaBiere ) :
https://www.tallandier.com/livre/la-d...
SmartPoop (mon 4e livre, avec Tristan Le Magoarou, aka @RisqueAlpha ) :
https://bit.ly/smartpoop-fr
Turing à la plage (mon 3e livre, avec Rachid Guerraoui) :
https://www.dunod.com/sciences-techni...
Le fabuleux chantier (mon 2e livre, avec El Mahdi El Mhamdi) :
https://laboutique.edpsciences.fr/pro...
La formule du savoir (mon 1er livre) :
https://laboutique.edpsciences.fr/pro...