DÉMO
7,2 millions $ CA. Doit-il partir ?
Un agent IA veut envoyer 7,2 millions $ CA. La règle de la banque dit qu’aucun paiement de plus de 5 millions $ CA ne part sans une deuxième signature. Prouvé : sans cette signature, aucun paiement unique au-dessus du plafond ne peut être approuvé. Réfuté : que la règle plafonne tout paiement ; un paiement signé de n’importe quel montant passe. Ce paiement arrive sans signature, et il est bloqué à la barrière.
Film d’animation, 2 min 17 s, en anglais. La règle et sa preuve sont réelles ; la scène est une illustration. Vers la fin, le film dit ce que cela ne protège pas.
VÉRIFICATION DE CODE
Votre code a été réécrit. Fait-il toujours la même chose ?
Pas encore de film pour celle-là. Deux choses à ouvrir dès aujourd’hui : une traduction vérifiée pas à pas par un solveur, avec les fichiers pour la refaire, et un écart trouvé dans une traduction publique générée par IA.
DÉJÀ FAIT
Sur des traductions publiques de COBOL vers Java générées par IA, on a trouvé des différences de comportement, confirmées sur le compilateur COBOL d’IBM, et des documents qui ne correspondent pas au code qu’ils décrivent.
PROOF INTELLIGENCE
2 minutes 17 secondes, avec son, en anglais. Les paiements du film illustrent une politique de paiement ; ce n’est pas un cas client. Les normes montrées sont celles sous lesquelles chaque secteur travaille déjà ; nommer un secteur ne veut pas dire qu’il utilise Ironproof aujourd’hui.
DÉMO AGCO
3 minutes 43 secondes, avec son, en anglais. La règle est citée des normes du registrateur de l’AGCO pour les jeux en ligne, 2.23 et 2.24. Les systèmes A, B et C et les douze implémentations sont illustratifs : des huit qui cassent, sept sont des erreurs courantes écrites exprès et une vient d’un projet libre. Toutes passent par le même vérificateur ; aucun système d’exploitant n’a été examiné. Les résultats tiennent dans les bornes montrées dans le film : jusqu’à 8 événements sur 75 jours. La pénalité de 2023 montrée est citée d’un communiqué de l’AGCO du 9 novembre 2023.
DANS LE TERMINAL
Un virement. Autorisé, puis bloqué.
Un virement de 50 000 $ respecte la politique de la banque et il est scellé. Puis le compte est gelé : le même virement est bloqué, l’argent ne bouge jamais, et le refus est scellé lui aussi.
- 01Les règles de la banque deviennent des contraintes formelles.
- 02Le virement est vérifié contre elles avant de s’exécuter.
- 03Chaque décision est scellée — Ed25519 + ML-DSA-65 — et revérifiée hors ligne.
- 04Un seul chiffre modifié dans le reçu, et les deux contrôles passent au rouge.
Enregistrée dans le terminal sur le vrai moteur, 75 secondes, en anglais. Une politique bancaire d’exemple, pas un déploiement client.
LE SCEAU
Vérifiez le refus vous-même.
Voici le reçu scellé du virement bloqué dans la vidéo. Vérifiez-le ici, dans votre navigateur, sans nous. Puis chargez la copie où un seul chiffre a changé : 50 000 $ est devenu 900 000 $. Le sceau casse.
Vérifié dans cet onglet : les deux signatures (Ed25519 + ML-DSA-65) et l’empreinte du contenu. Les reçus sont signés avec une clé de démonstration, pas une clé client.
Tourne entièrement dans votre navigateur — Ed25519 + ML-DSA-65 (FIPS 204) + SHA3-512 en JavaScript pur, sans serveur et sans code partagé avec le logiciel qui scelle. Le format est publié, donc n’importe qui peut écrire un second vérificateur : lire la spécification →