Des preuves STARK fondées sur des fonctions de hachage
La pile de preuves Vauban utilise des preuves STARK, fondées sur des fonctions de hachage.
Souverain · Post-Quantique
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 : paiements privés disponibles, systèmes de preuve post-quantiques, aucun intermédiaire dans le chemin de règlement.
Un paiement fait avec Vauban Pay sur Starknet peut être vérifié par n'importe qui dans un explorateur public, sans nous croire sur parole.
Une confiance vérifiable derrière la mémoire IA souveraine, la preuve d'humanité et les agents auditables.
Live sur le mainnet Starknet Preuves STARK post-quantiques 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, open source sur GitHub. Lire la documentation → Chercheurs Comment vérifier un paiement vous-même, et nos travaux de spécification IETF. Comment ça marche →
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.
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-stark-receipts-02).
Comment ça fonctionne
Chaque partie peut être opérée ou remplacée sans perturber les autres.
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.
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.
Un format pour les preuves
Applications en production, déployables aujourd'hui
Bastion (mainnet DeFi), Glacis (Preuve d'humanité prouvée par STARK ; passeports de 134 pays), Vauban Finance (wealth tech), et plus
Ces preuves sont en production. Bastion opère aujourd'hui en gestion de coffre DeFi institutionnel sur le mainnet Starknet ; claims de transactions vérifiées, règlement ancré STARK, 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.
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à
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.
Infrastructure plateforme
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 ↗
Glacis Protocol
Preuve d'humanité prouvée par STARK ; 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.
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
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.
Produits DeFi
Bastion
Coffre DeFi institutionnel · règlement vérifié, ancré STARK
Des claims de transactions financières vérifiées, en production. 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
Couche de preuve cryptographique pour les paiements d'agents IA régulés
Paiements x402 sur Base et Starknet mainnet ; reçus prouvés par STARK. Preuve STARK 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-stark-receipts-02 ; 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érifiez vous-même
Un paiement fait avec Vauban Pay peut être vérifié par n'importe qui.
Un paiement fait avec Vauban Pay sur Starknet est une transaction que n'importe qui lit dans un explorateur public, sans compte chez nous et sans accès à nos systèmes.
Pour commencer avec les paiements d'agents : pay.vauban.tech, une commande, sans inscription. Pour tout le reste, écrivez à hello@vauban.tech.
Vérifiable par tous
Un paiement se vérifie dans un explorateur public, pas sur notre parole.
Vérification Dans un explorateur public
Enregistré sur Starknet (mainnet)