Souverain · Post-Quantique · Chaîne-Agnostique

Infrastructure cryptographique souveraine pour les institutions

Les entités régulées ; banques, autorités de confiance, fonds souverains ; font face à trois pressions simultanées : des décisions assistées par IA qui doivent être auditables au titre du Règlement IA européen, des fondations cryptographiques qui doivent survivre à la transition post-quantique, et une infrastructure de conformité qui ne peut dépendre d'intermédiaires dont les intérêts divergent des vôtres. Vauban répond aux trois : privé par défaut, systèmes de preuve post-quantiques, aucun intermédiaire dans le chemin de règlement.

L'architecture est chaîne-agnostique par invariant ; déployable sur des blockchains publiques, des réseaux permissionnés ou une infrastructure web conventionnelle ; sans dépendance fournisseur par conception. Système de preuve actuel : ZK-STARK, basé sur des fonctions de hachage, sécurisé post-quantique, sans trusted setup, ancré sur Starknet.

Une confiance vérifiable, composable entre racines et chaînes. L'algèbre de claims post-quantique derrière la mémoire IA souveraine, la preuve d'humanité et les agents auditables.

Lire la documentation Demander une démo Voir sur GitHub
Live sur le mainnet Starknet Preuves STARK post-quantiques Releases signées Sigstore Gouvernance ouverte
Institutions Produits de niveau conformité : assurance d'identité, règlement DeFi vérifié, pistes d'audit IA. Explorer les produits → Builders Agent SDK, outillage natif MCP, releases signées Sigstore, open source sur GitHub. Lire la documentation → Chercheurs L'algèbre de claims Vauban, l'architecture en quatre couches et les travaux de spécification IETF. Lire l'architecture →

Pourquoi Vauban

Live sur le mainnet Starknet aujourd'hui. Construit pour les exigences de 2030.

La preuve d'humanité, le règlement DeFi institutionnel et la mémoire IA vérifiable tournent aujourd'hui sur le mainnet Starknet. Les exigences de conformité, de souveraineté et de responsabilité à l'ère de l'IA que les entités régulées devront satisfaire en 2030 sont déjà prévisibles ; Vauban est construit à rebours de ces exigences. On vérifie. On prouve. On montre notre travail avec une précision cryptographique.

Des preuves ZK résistantes au post-quantique

La plupart des systèmes de preuves à divulgation nulle en production s'appuient sur des hypothèses de courbes elliptiques qu'un ordinateur quantique suffisamment puissant brisera. La pile de preuves Vauban utilise les ZK-STARKs : basés sur des fonctions de hachage, sécurisés post-quantiques par construction, sans trusted setup ni risque de cérémonie. Les attestations de conformité émises aujourd'hui restent cryptographiquement vérifiables en 2035, quelle que soit l'évolution de l'informatique quantique.

Mémoire IA vérifiable ; chaque décision prouvable

Lorsqu'un agent IA formule une recommandation, exécute une transaction ou produit une évaluation de conformité au titre de l'article 12 du Règlement IA, les régulateurs peuvent exiger une piste d'audit impossible à altérer rétrospectivement. Brain Protocol ancre chaque chaîne de décision IA avec une racine de Merkle hashée Poseidon, publiée on-chain. Chaque entrée de connaissance consultée, chaque étape de raisonnement, chaque résultat est rejouable et vérifiable indépendamment ; non par politique, par preuve cryptographique.

Preuve d'humanité sans surveillance

Le portefeuille EUDI et eIDAS 2.0 exigent une assurance d'identité aux niveaux Substantiel et Élevé ; sans centraliser les données biométriques chez un seul gardien. Glacis Protocol délivre une preuve d'humanité vérifiable via des preuves STARK des données passeport ICAO CSCA : le vérificateur n'apprend que ce qu'exige la conformité (tranche d'âge, unicité) et rien de plus. Les données personnelles ne touchent jamais la chaîne. V2 trustless live sur le mainnet Starknet ; passeports de 134 pays supportés (registres ICAO CSCA) : noyau Schengen + Royaume-Uni, Turquie, Ukraine, Balkans et micro-États ; ainsi que États-Unis, Inde, Chine, Japon, Brésil, Australie, Corée du Sud, Russie, Malaisie et grands marchés émergents. Conçu pour l'onboarding régulé, le KYC souverain et l'intégration EUDI.

Règlement DeFi sans intermédiaire dépositaire

La participation institutionnelle à la finance décentralisée a été structurellement bloquée par un problème non résolu : la conformité exige de connaître sa contrepartie, mais la mécanique DeFi suppose des participants pseudonymes. Bastion résout cela via des claims de transactions vérifiées ; des attestations STARK satisfaisant les exigences AML et MiCA sans faire transiter les actifs par un dépositaire. Gestion de coffre et exécution solver directement sur le mainnet Starknet, chaque action reçoit un reçu cryptographique.

Bootstrappé par conception, aucun misalignement investisseur

Le capital-risque introduit un conflit structurel dans l'infrastructure de souveraineté : la pression de croissance rapide dégrade la posture de sécurité et la crédibilité institutionnelle qui font la valeur d'un système de confiance. Vauban est bootstrappé par conception, et les décisions de gouvernance sont journalisées publiquement.

Travail de spécification ouverte à l'IETF, fondation auditable

Un standard propriétaire pour les claims cryptographiques est une dépendance fournisseur, non une ancre de confiance. Le format de reçus STARK x402 est documenté dans un Internet-Draft IETF (draft-vauban-x402-consolidated-00, flux Independent Submission) ; un draft compagnon pour l'algèbre de claims Vauban est en préparation, dans la continuité de la RFC 9449 (DPoP) et du cadre W3C Verifiable Credentials. Chaque tarball du SDK publié est signé via Sigstore, avec un bundle de vérification enregistré dans le log de transparence public Rekor. Vous pouvez vérifier ce dont vous dépendez.

Comment ça fonctionne

Quatre couches interdépendantes, chacune indépendamment souveraine. Chacune peut être auditée, opérée ou remplacée sans perturber les autres. La pile est une conséquence de la conception algébrique des claims ; non une intégration : chaque couche produit et consomme des claims vérifiables cryptographiquement dans une grammaire partagée.

MEMORY

Mémoire IA auditable

Brain Protocol ; infrastructure cognitive vérifiable, standards agents ouverts, provenance cryptographique sur chaque décision

Les décisions augmentées par IA ne peuvent être approuvées dans des contextes régulés que si chaque étape de la chaîne de raisonnement est prouvable. Brain Protocol fournit une mémoire institutionnelle pour les systèmes IA : chaque récupération de connaissance, chaque décision, chaque schéma consulté est hashé Poseidon, ancré Merkle on-chain et rejouable. Conçu pour les environnements où l'hallucination n'est pas qu'un problème de qualité ; elle engage les obligations de journalisation de l'article 12 du Règlement IA européen.

EXECUTION

Exécution autonome auditée

Command Center ; 5 agents IA, chaque action signée + journalisée + ancrée on-chain

Des agents autonomes qui agissent sans responsabilité cryptographique sont indéployables dans des environnements régulés. Command Center répond à trois questions que les outils d'observabilité conventionnels ne posent pas : quel est le coût de chaque action en termes de résultat, pas de tokens ? Qui l'a approuvée ? Peut-on le prouver ? Chaque exécution produit un RunProofCertificate ; une attestation signée, ancrée on-chain, de la chaîne décision-exécution complète, vérifiable indépendamment par les auditeurs et régulateurs.

GRAMMAR

Preuves composables, agnostiques de la chaîne

Algèbre de Claims Vauban (VPSF) ; grammaire de claims composable au-dessus de toute couche de règlement, ancrée sur Starknet aujourd'hui

Les claims de conformité cryptographique issus de systèmes différents ; attestations d'identité, preuves de transactions financières, reçus de décisions IA ; ne peuvent être composés sans une grammaire partagée. L'algèbre de claims Vauban fournit cette grammaire : chaîne-agnostique par invariant, sans types spécifiques à une blockchain dans la spécification centrale. Les claims se composent algébriquement entre produits et couches de règlement. Implémentation de référence actuelle ancrée sur Starknet via preuves ZK-STARK.

APPLICATIONS

Applications en production, déployables aujourd'hui

Bastion (mainnet DeFi), Glacis (PoH post-quantique ; passeports de 134 pays), Vauban Finance (wealth tech), et plus

L'algèbre de claims n'est pas théorique. Bastion opère aujourd'hui en gestion de coffre DeFi institutionnel sur le mainnet Starknet ; claims de transactions vérifiées, règlement ancré ZK, preuve STARK de l'exécution solver. Glacis délivre des attestations d'identité ICAO-enracinées pour l'intégration au portefeuille EUDI ; V2 trustless live ; passeports de 134 pays supportés (registres ICAO CSCA). Vauban Finance produit des pistes d'audit conformes au Règlement IA pour les recommandations de gestion de patrimoine. Ce sont des systèmes en exploitation, pas des prototypes.

Vauban Agent SDK

Construisez des agents que vous pouvez prouver

Le toolkit open-source pour le développement d'agents IA institutionnels. Chaque action signée. Chaque mémoire ancrée cryptographiquement. Chaque décision rejouable.

Les frameworks d'agents conçus pour la productivité des développeurs traitent l'audit comme un ajout après coup ; tableaux de bord d'observabilité, comptages de tokens, traces de latence. Rien de tout cela ne satisfait un régulateur demandant : « prouvez-moi que cette recommandation IA était fondée sur des données vérifiées et approuvée par un humain responsable. »

Le Vauban Agent SDK fait de la responsabilité cryptographique la valeur par défaut, non l'exception. Chaque exécution produit un RunProofCertificate : une chaîne de décision signée, hashée Poseidon, ancrée on-chain et vérifiable indépendamment, sans accès à l'infrastructure Vauban. Les approbations HITL (Human-in-the-Loop) sont elles-mêmes signées cryptographiquement, de sorte que la chaîne d'approbation est aussi auditable que la chaîne d'action. L'intégration Brain Protocol garantit que chaque entrée de connaissance consultée par un agent porte sa propre provenance ; aucune hallucination ne peut entrer silencieusement dans la chaîne de décision sans laisser une trace cryptographique.

Chaîne d'approvisionnement : chaque tarball du SDK publié est signé Sigstore avec un bundle de vérification enregistré dans le log de transparence public Rekor. Vous pouvez vérifier la provenance de build, le SBOM et l'identité OIDC du workflow de signature avant tout déploiement en environnement régulé.

Lire la documentation SDK → Open source sur GitHub →

Capacités clés

  • RunProofCertificate par exécution ; signé, ancré on-chain, vérifiable indépendamment
  • Approbation HITL avec reçus cryptographiques ; humain responsable dans la boucle par conception
  • Intégration mémoire Brain Protocol ; chaque récupération de connaissance tracée par provenance
  • Natif MCP ; compatible avec tout serveur MCP de l'écosystème Vauban et au-delà
  • Signé via Sigstore ; SBOM + bundle Rekor par tarball publié

Produits et infrastructure

Chaque produit Vauban est une couche indépendamment souveraine ; sa propre frontière cryptographique, sa propre piste d'audit, son propre périmètre de déploiement. Pour les adoptants institutionnels, cela signifie qu'il est possible d'intégrer une seule capacité (provenance de mémoire IA, attestation d'identité, conformité DeFi) sans s'engager sur la pile complète, puis d'étendre selon l'évolution des besoins. Chaque produit produit et consomme des claims dans la grammaire partagée de l'algèbre Vauban.

Infrastructure plateforme

BRAIN Featured LIVE

Brain Protocol

Infrastructure Cognitive Vérifiable pour agents IA

Mémoire institutionnelle pour systèmes IA. Chaque récupération de connaissance, chaîne de décision et résolution de contradiction est hashée Poseidon, ancrée Merkle et rejouable. Standards agents ouverts. Conçu pour les environnements où l'hallucination relève du Règlement IA.

Vérifier: Contrat MerkleAnchor ↗

Essayer en direct → Voir la documentation →
GLACIS MAINNET LIVE

Glacis Protocol

Preuve d'Humanité Post-Quantique ; passeports de 134 pays

Attestations d'identité enracinées ICAO CSCA adossées aux preuves STARK. V2 trustless live sur le mainnet Starknet. Passeports de 134 pays avec CSCA enregistrée : noyau Schengen, Royaume-Uni, Turquie, Ukraine, Balkans et micro-États ; ainsi que États-Unis, Inde, Chine, Japon, Brésil, Australie, Corée du Sud, Russie, Malaisie et grands marchés émergents. Conçu pour les niveaux d'assurance eIDAS 2.0 et l'intégration au portefeuille EUDI. Aucune donnée personnelle on-chain ; uniquement nullifier et attestation de tranche d'âge.

Vérifier: Contrat Verifier V2 ↗ Registre CA (134 pays) ↗

Essayer en direct → Voir la documentation →
VAUBAN-FINANCE BETA

Vauban Finance

Fintech patrimoniale pour clients institutionnels et grande fortune

Analytique de portefeuille institutionnelle et optimisation patrimoniale assistée par IA avec piste d'audit article 12 du Règlement IA sur chaque recommandation. Via intermédiaires accrédités ; pas de self-service retail.

Essayer en direct → Voir la documentation →
COMMAND-CENTER LIVE

Command Center

Orchestration d'agents autonomes avec responsabilité cryptographique

Responsabilité au niveau des résultats pour les opérations d'agents IA ; pas seulement la télémétrie. Chaque exécution produit un RunProofCertificate signé : coût, chaîne d'approbation, trace de décision et ancrage on-chain.

Voir la documentation →

Produits DeFi

BASTION MAINNET LIVE Vertical DeFi · canal institutionnel uniquement

Bastion

Coffre DeFi institutionnel · règlement vérifié, ancré ZK

Le déploiement de production de référence de l'algèbre de claims Vauban pour des claims de transactions financières vérifiées. Exécution solver CoW sur le mainnet Starknet. Preuve STARK de l'exécution solver et du matching non-discriminatoire ; vérifiable publiquement, chaque batch. Gestion de coffre institutionnel et conformité DeFi sans intermédiaire dépositaire.

Vérifier: Contrat vault (vaSTRK) ↗ Contrat de règlement ↗

Essayer en direct → Voir la documentation →
VAUBAN PAY BETA Vertical paiement · Independent Submission IETF

Vauban Pay

Couche de preuve cryptographique pour les paiements d'agents IA régulés

Preuve STARK post-quantique des conditions de paiement pour les flux x402-natifs. Conçue pour l'obligation de journalisation de l'article 12 du Règlement IA et les obligations de tenue de registres MiCA. Internet-Draft IETF draft-vauban-x402-consolidated-00 soumis (flux Independent Submission, mai 2026) ; 13 organisations engagées dans la discussion du working group x402 de la Linux Foundation ; démo Zero-Trust Receipt Verifier live (JCS · SHA-256 · felt252 · ancrage on-chain) ; fixtures d'interop reproductibles en Rust, Python, Node.js, Go et Java.

Vérifier: Entrée Rekor (zkpay v0.3.0) ↗

Essayer en direct → Voir la documentation →
Algèbre de Claims Vauban

Grammaire de preuve chaîne-agnostique. Implémentation de référence Starknet-first.

Le Vauban Proof Stack Framework (VPSF) définit une algèbre de claims composable ; une grammaire formelle chaîne-agnostique pour les claims cryptographiques qui opère au-dessus de toute couche de règlement. La spécification centrale ne contient aucun type spécifique à une blockchain : les adaptateurs par chaîne implémentent la grammaire pour chaque environnement cible. L'implémentation de référence actuelle est ancrée sur Starknet via des preuves ZK-STARK ; basées sur des fonctions de hachage, sécurisées post-quantiques, sans trusted setup. La même grammaire exprime déjà six classes de claims : personnalité juridique, autorité agentique, provenance des connaissances et décisions, intégrité des processus et calculs, attestation financière, et provenance des états et artefacts. Une grammaire, six classes, composable entre racines de confiance.

L'architecture préserve la souveraineté institutionnelle au niveau de la spécification : aucun vendor lock-in par invariant, pas seulement par politique. Les claims produits aujourd'hui contre Starknet sont consommables par de futurs adaptateurs ciblant d'autres environnements de règlement. Un Internet-Draft IETF pour standardiser l'algèbre de claims Vauban est en préparation, dans la continuité de la RFC 9449 (DPoP) et des W3C Verifiable Credentials. Le STRK20 de Starknet apporte la confidentialité de valeur on-chain ; il masque qui a payé qui et combien ("suivre l'argent"). Vauban opère sur un axe différent ; il prouve des attributs sur un sujet sans révéler son identité, et compose ces preuves entre domaines ("prouver l'acteur"). Les deux sont complémentaires : une action anonyme on-chain peut être conditionnée à un claim Vauban attestant que l'acteur est un humain unique ou une partie éligible.

Invariant d'architecture

VPSF est chaîne-agnostique par invariant. Starknet est l'implémentation de référence actuelle (ZK-STARK, sans trusted setup). Les adaptateurs multi-chaînes sont en recherche ; première cible testnet non-Starknet Q3 2027.

Lire les fondations techniques → Internet-Draft IETF de l'algèbre de claims en préparation
Invariant Chaîne-agnostique par conception
Impl. actuelle Starknet-first, système de preuve ZK-STARK
Adaptateurs multi-chaîne En recherche (testnet cible Q3 2027)
Couche de règlement Starknet (mainnet live)
Standard ouvert x402 : I-D soumis (ISE) · algèbre de claims : en préparation