PROOF INTELLIGENCEPOUR LES INFRASTRUCTURES CRITIQUES
Certaines actions sont sans retour.
Prouvez-les d’abord.
Actions critiques : contrôlées contre vos règles, bloquées si elles les enfreignent.
Migrations de code : ce qui tient, ce qui ne tient pas, et le cas exact qui le montre, avant la mise en service.
Indépendant. Scellé. Vérifiable sans nous faire confiance.
NEURONAL · LE MODÈLE DE LANGAGE
L’IA lit le code ou la politique et propose quoi vérifier. Elle ne prouve rien seule.
SYMBOLIQUE · LE SOLVEUR
Vérifie mathématiquement des propriétés, dans des modèles et des hypothèses définis.
DOSSIER D’EXEMPLE
PROUVÉ
dans le modèle et les hypothèses déclarés
SCELLÉ · Ed25519 + ML-DSA-65
Vérifier un vrai dossier scellé
- PROUVER
- APPLIQUER
- SCELLER
- VÉRIFIER
CE QUE NOUS CROYONS
Ironproof apporte la preuve aux décisions irréversibles.
L’IA écrit du code, déplace de l’argent et modifie des systèmes critiques plus vite que des humains ne peuvent les relire.
Mais la vitesse sans garantie ne suffit pas.
Chaque action critique doit être autorisée avant de s’exécuter. Chaque migration doit préserver le comportement qui compte. Chaque affirmation doit résister à une vérification indépendante.
Ironproof développe ce que nous appelons Proof Intelligence.
L’IA propose, les méthodes formelles tranchent, et chaque résultat part avec des éléments de preuve que n’importe qui peut vérifier.
Les autres vendent la confiance.
Nous, on vend le droit de ne pas nous faire confiance.
CE QU’IL PROUVE
Un produit : la barrière devant les actions critiques.
Agents IA et actions critiques
Pour les banques qui mettent des agents IA en production : chaque paiement, accès et changement reste dans votre politique, vérifié avant de s’exécuter, et votre auditeur reçoit une trace scellée de chaque décision plutôt qu’un journal.
LE VOIR DÉCIDERCOMMENT ÇA SE BRANCHE
Votre système appelle la barrière par une API HTTPS, authentifiée dans les deux sens, avant que l’action s’exécute ; les agents IA la rejoignent par l’adaptateur MCP. Les accès qui exécutent l’action vivent derrière la barrière : sauter la vérification ne laisse rien pour agir.
Le même moteur, aussi en mandat.
Le moteur derrière la barrière prend aussi trois questions difficiles, en mandat livré par notre équipe.
- 02Politiques d’accès cloudTrouvez la seule demande que votre politique d’accès laisse passer, avant un attaquant.VOIR LE RÉSULTAT
- 03Correctifs de sécuritéSachez si un correctif ferme vraiment la faille, avant de le livrer.VOIR LES RÉSULTATS
- 04Vérification de traductionQuelqu’un d’autre a traduit votre code : vérifiez qu’il calcule ce que calculait l’ancien, avant la mise en service.ENVOYEZ-NOUS UNE TRADUCTION
POURQUOI IRONPROOF
Plus vite en production. Plus simple à auditer. Plus dur à briser.
- 01
Accélérer la mise en marché
Mettez agents IA, changements de politique et migrations en production plus tôt. Les vérifications roulent automatiquement, et les éléments de preuve se produisent au fur et à mesure, pas rassemblés après coup pour l’audit.
- 02
Passer l’audit avec des preuves
Remettez à votre auditeur et à votre régulateur une trace scellée de chaque décision, qu’ils revérifient eux-mêmes, plutôt que des journaux et des captures d’écran.
- 03
Attraper ce que les tests ratent
Obtenez l’entrée ou la suite d’actions exacte qui brise votre règle avant que la production la trouve, ou la preuve qu’il n’y en a aucune dans le modèle déclaré.
COMMENT FONCTIONNE NOTRE PLATEFORME
De votre cas à une preuve que vous pouvez revérifier.
- 01
Cadrer
Apportez un cas : la politique derrière une action, un correctif de sécurité, un programme à traduire. Avant que quoi que ce soit s’exécute, nous écrivons exactement ce qui sera vérifié.
- 02
Modéliser
Nous le traduisons en logique précise, lisible par un solveur. Ce que nous ne pouvons pas modéliser est déclaré non couvert, jamais escamoté.
- 03
Prouver et confronter
Un solveur vérifie tous les cas que le modèle permet. Une seconde vérification, indépendante, le confirme : un second solveur pour les politiques, le compilateur d’IBM pour le COBOL, des correctifs leurres pour le C.
- 04
Sceller et remettre
La preuve, ou le cas exact qui brise la règle, scellée avec une signature classique et une signature post-quantique. Votre auditeur la refait sans nous.
VOYEZ-LE DÉCIDER
Quatre types d’action. Une seule barrière.
Choisissez ce que l’agent tente de faire. Chaque demande est vérifiée contre la politique avant de s’exécuter — et chaque décision, autorisée ou bloquée, laisse une trace scellée.
INITIATEUR Agent IA · treasury-ops
ACTION DEMANDÉE
Transfert interne de 30 000 $, après un virement de 35 000 $ plus tôt aujourd’hui
VÉRIFICATIONS DE LA POLITIQUE
- Transfert sous son propre plafond de 50 000 $
- Virements + transferts internes du jour sous le plafond combiné de 60 000 $
- Compte de destination détenu par le même client
Bloquée. Elle ne s’exécute jamais.
Une règle échoue. L’action ne s’exécute pas, et le refus est scellé avec sa raison.
CE QUE CONTIENT LA TRACE SCELLÉE
- 01L’action exacte demandée, et par qui
- 02La version de la politique en vigueur
- 03Le verdict et la règle qui l’a décidé
- 04Deux signatures, dont une post-quantique, revérifiables hors ligne
Décisions illustratives sous une politique d’exemple.
ESSAYEZ VOUS-MÊME DE CONTOURNER LA POLITIQUE SCELLÉE EN SAVOIR PLUS SUR CE TYPE D’ACTIONOÙ ÇA S’APPLIQUE
Les règles que vos régulateurs exigent déjà.
Ironproof y confronte chaque action.
Les actions qu’on ne peut plus reprendre une fois exécutées. Pour celles-là, l’autorisation cesse d’être un réglage et devient une infrastructure.
OÙ ÇA S’APPLIQUE — LES RÈGLES DÉJÀ ÉCRITES
Banque et paiements
Virements, remboursements et transferts · Changements de bénéficiaire et limites quotidiennes · Paiements en temps réel
BSIF E-23 · BSIF B-13 · LAPD · programmes LBA
AUTRES ACTIONS CRITIQUES
Hypothécaire et prêt
Approbations hors des limites de souscription · Déboursement des fonds · Changements aux coordonnées de versement
BSIF B-20 · LRPCFAT (secteur hypothécaire, depuis oct. 2024)
Assurance
Approbations automatisées de réclamations · Décisions de souscription · Versements
BSIF E-23 · ligne directrice de l’AMF sur l’IA
Jeu en ligne
Limites de dépôt et de mise · Versements de gains · Autoexclusion
Normes du registrateur de la CAJO (Ontario)
Gouvernement
Mises à jour de dossiers officiels · Approbations et dépenses · Accès aux systèmes sensibles
Orientation du SCT sur l’IA agentique · ITSG-33
Défense
Tâches déléguées aux systèmes autonomes · Mises à jour logicielles et de configuration des systèmes en service · Accès à l’information contrôlée
Stratégie d’IA du MDN et des FAC · ITSG-33 · Programme des marchandises contrôlées
Santé
Accès aux dossiers patients · Changements d’ordonnances · Exportations de données
LPRPS · Loi 25 · LPRPDE
Énergie et infrastructures critiques
Changements de consignes et de configuration à distance · Arrêts d’urgence et logique instrumentée de sécurité · Dosage chimique et commandes de vannes en traitement de l’eau · Configuration poussée au cœur d’un réseau de télécommunications
IEC 62443 · NERC CIP · IEC 61511-1 · Projet de loi C-8, L.C. 2026, ch. 9 — Loi sur la protection des cybersystèmes essentiels (sanction royale juin 2026, pas encore en vigueur)
Fabrication pharmaceutique
Libération électronique d’un lot · Changements aux dossiers maîtres de production · Modifications de la piste d’audit
Santé Canada, BPF Annexe 11 (GUI-0050) · FDA 21 CFR Part 11
POURQUOI MAINTENANT
Les systèmes commencent à agir seuls.
Des agents, des scripts et des chaînes automatisées déplacent déjà de l’argent, modifient des accès et déploient du code sans personne dans la boucle. Les régulateurs, les banques et les ministères de la défense y ont mis des dates. Chaque élément renvoie à sa source.
9 oct. 2025
Le gouvernement du Canada fixe ses échéances de migration post-quantique : les systèmes fédéraux prioritaires d’ici la fin de 2031, tous les autres d’ici la fin de 2035.
Conseil du Trésor, AMOPS sur la migration vers la cryptographie post-quantique↗3 déc. 2025
Le Centre canadien pour la cybersécurité cosigne avec la CISA et des agences alliées une orientation sur l’IA dans les technologies opérationnelles : intégrer l’IA aux environnements qui gèrent des services publics essentiels « introduit des risques importants » (notre traduction).
Centre canadien pour la cybersécurité, orientation conjointe↗17 févr. 2026
Le Canada lance sa première Stratégie industrielle de défense. Ses dix domaines prioritaires comprennent les systèmes numériques, où figure l’intelligence artificielle, et les systèmes sans équipage et autonomes.
Défense nationale, note sur la Stratégie industrielle de défense↗Févr. 2026
Un article des actes de l’Organisation pour la science et la technologie de l’OTAN : les systèmes agentiques « peuvent agir sur la performance d’un système ou sur l’environnement physique », et un régime de contrôle efficace est « essentiel à la fiabilité des systèmes d’IA militaires et de renseignement autonomes ». (notre traduction)
OTAN STO, article de symposium STO-MP-IST-210↗2 mars 2026
Santander et Mastercard réalisent le premier paiement de bout en bout exécuté par un agent IA en Europe, sur l’infrastructure de paiement réelle d’une banque réglementée.
Santander, communiqué↗15 juin 2026
Le projet de loi C-8, « Loi concernant la cybersécurité », reçoit la sanction royale. Il modifie la Loi sur les télécommunications et apporte des modifications corrélatives à d’autres lois.
Parlement du Canada, LEGISinfo C-8↗13 juil. 2026
Le BSIF publie son bulletin sur l’IA générative et agentique : des agents qui raisonnent, planifient, décident et agissent sans intervention humaine exigent le moindre privilège et une piste d’audit pour chaque activité lancée par l’IA.
BSIF, bulletin sur l’IA générative et agentique↗Août 2026
La FERC approuve par lettre la norme de protection des infrastructures critiques CIP-015-2 proposée par la NERC pour le réseau électrique de grande puissance.
FERC eLibrary, dossier RD26-6↗1er sept. 2026
EY : 52 % des banques ont piloté l’IA agentique, 16 % seulement ont des cas d’usage pleinement déployés. « Une banque ne peut pas simplement dire qu’un système d’IA est gouverné. Elle doit pouvoir le prouver. » (notre traduction)
EY, How governed intelligence can scale agentic banking↗10 sept. 2026
Le BSIF affirme que les dépôts tokenisés ne sont pas juridiquement distincts des dépôts traditionnels. Les règles existantes s’y appliquent.
BSIF, énoncé sur les dépôts tokenisés↗21 sept. 2026
Le lieutenant-général Darcy Molstad, commandant du Commandement des forces interarmées du Canada, annonce à l’industrie que l’armée achètera rapidement plus de systèmes autonomes : 399 fournisseurs préqualifiés pour l’Initiative liée aux drones de la défense, cinq jours pour répondre à une demande de propositions.
CBC News↗22 sept. 2026
Six banques canadiennes annoncent explorer une solution de dépôts tokenisés en dollars canadiens, pour des paiements plus rapides, plus efficaces et programmables.
Communiqué conjoint, Newswire↗1er mai 2027
La ligne directrice E-23 du BSIF sur la gestion du risque de modèle entre en vigueur. Sa définition d’un modèle inclut explicitement les méthodes d’IA et d’apprentissage automatique.
BSIF, ligne directrice E-23↗2030
Défense nationale, Plan ministériel 2026-27 : « D’ici 2030, nous visons à être une organisation sécurisée, agile et axée sur l’IA. » (notre traduction)
Défense nationale, Plan ministériel 2026-27↗
Quand un système peut agir seul, la décision doit se prendre avant que l’action parte, pas se lire dans un journal après coup.
COMMENT ÇA MARCHE
Prouver. Appliquer. Sceller. Vérifier.
- 01
Prouver
Avant le déploiement, Ironproof établit que la politique définie tient sur tout l’espace d’actions modélisé.
- 02
Appliquer
À l’exécution, chaque action demandée est vérifiée de façon déterministe avant de s’exécuter.
- 03
Sceller
Chaque décision est scellée — empreinte SHA3-512, double signature Ed25519 + ML-DSA-65 — liant l’action, l’empreinte de la politique, l’agent qui agit et le verdict dans un seul artefact. Une action autorisée est scellée avant de s’exécuter ; si le sceau ne peut pas s’écrire, elle ne s’exécute pas.
- 04
Vérifier
Le certificat est revérifié contre ses entrées scellées : le même verdict doit revenir, sinon le sceau est rompu.
Une politique prouvée puis brisée, et l’endroit exact où la barrière se place devant l’action, sont dans le registre technique.
Chaque action vérifiée. Ce qui est conforme s’exécute. Le reste, jamais.
Probablement sûr, ce n’est pas
prouvé impossible.
Prouvé pour les actions et la politique que vous définissez, là où l’action ne peut s’exécuter qu’en passant par la barrière. Le certificat énonce cette frontière.
DÉMARRER UN PILOTE