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.

Aligné eIDAS Pertinent ANSSI Preuves STARK post-quantiques Gouvernance ouverte

Pourquoi Vauban

L'infrastructure cryptographique que les institutions utiliseront dans 5 ans

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 — non pas à partir de ce qui est commercialement commode à livrer aujourd'hui. 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 ; 83 pays supportés ; ~5,24 MILLIARDS d'utilisateurs couverts (~65% de la population mondiale éligible au passeport). 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é — discipline de walk-away, 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. Discipline de walk-away : aucune relation institutionnelle acceptée sous le seuil. Aucune obligation de compromettre l'architecture cryptographique pour boucler un tour. Les décisions de gouvernance sont journalisées publiquement.

Draft IETF déposé — standard ouvert, fondation auditable

Un standard propriétaire pour les claims cryptographiques est une dépendance fournisseur, non une ancre de confiance. Vauban a déposé un Internet-Draft IETF pour standardiser la spécification de l'algèbre de claims Vauban, 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 est une responsabilité au titre de l'article 22 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 ; 83 pays mainnet ; ~5,24 Mds utilisateurs), 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 ; 83 pays ; ~5,24 MILLIARDS d'utilisateurs couverts (~65% mondial). 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é.

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

GLACIS MAINNET LIVE

Glacis Protocol

Preuve d'Humanité Post-Quantique ; 83 pays ; ~5,24 MILLIARDS d'utilisateurs

Attestations d'identité enracinées ICAO CSCA adossées aux preuves STARK. V2 trustless live sur le mainnet Starknet. 83 pays avec CSCA enregistrée : 🇫🇷🇩🇪🇬🇧🇺🇸🇯🇵🇨🇳🇮🇳🇧🇷🇰🇷🇷🇺🇲🇾🇻🇳🇦🇷🇨🇴🇵🇱🇨🇿🇩🇰🇧🇬🇦🇪🇴🇲 + 62 pays supplémentaires — ~5,24 MILLIARDS d'utilisateurs couverts (~65% mondial). 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. Aligné eIDAS 2.0 et portefeuille EUDI. Aucune donnée personnelle on-chain ; uniquement nullifier et attestation de tranche d'âge.

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.

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.

REMPART LIVE

Rempart

Gouvernance souveraine et outillage communautaire

Outillage de gouvernance communautaire — intégration Discord, vote on-chain et gestion de réputation. Auto-hébergé, gouvernance ouverte. Opère sous l'ombrelle institutionnelle Vauban.

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.

VAUBAN PAY BETA Vertical paiement · spec track Phase 0

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çu pour l'obligation de journalisation de l'AI Act Article 12 et la tenue de registres MiCA Article 76. Phase 0 spec track au sein du working group x402 de la Linux Foundation ; coalition à quatre acteurs avec FeedOracle (signatures post-quantiques hybrides), andysalvo (work-receipt binding), et AlgoVoi (déterminisme du substrat JCS) ; fixtures d'interop reproductibles publiées en Rust, Python, Node.js, Go et Java.

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.

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.

Invariant d'architecture

VPSF est chaîne-agnostique par invariant. Starknet est le partenaire technique premium et l'implémentation de référence actuelle (ZK-STARK, sans trusted setup).

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)
Partenaire tech StarkWare (partenariat technique)
Standard ouvert Internet-Draft IETF en préparation