Alors, hmm, nous comptons sur des firmwares que nous ne pouvons pas inspecter, des compilateurs que nous ne construisons pas, des LLMs fermés, des enclaves propriétaires, des mises à jour à distance, etc. Chacune de ces couches est une cible et d'autres viendront s'ajouter dans les années/décennies à venir. Dans un monde aussi complexe (et les gars, cette complexité est de notre propre fait !), comment pouvons-nous même vérifier que nous sommes en sécurité ? Si vous me demandez, la vérification n'a jamais été aussi critique ou aussi impossible.