1/ Les systèmes autonomes ne peuvent pas se fier à "faites-nous confiance, ça a fonctionné." Ils ont besoin de preuves cryptographiques : • un drone a pris la bonne décision • un robot a correctement lu le capteur • un agent a exécuté en toute sécurité Cette preuve doit être rapide.