STARK proofs, built on hash functions
Vauban's proof stack uses STARK proofs, built on hash functions.
Sovereign · Post-Quantum
Sovereign cryptographic infrastructure for institutions
Regulated entities; banks, trust authorities, sovereign wealth funds; now face three simultaneous pressures: AI-driven decisions that must be auditable under the EU AI Act, cryptographic foundations that must survive the post-quantum transition, and compliance infrastructure that cannot depend on intermediaries whose interests diverge from yours. Vauban is built to answer all three: private payments available, post-quantum proof systems, no intermediary in the settlement path.
A payment made with Vauban Pay on Starknet can be checked by anyone in a public explorer, without taking our word for it.
Verifiable trust behind sovereign AI memory, proof of humanity, and auditable agents.
Live on Starknet mainnet Post-quantum STARK proofs Open governance
Why Vauban
Live on Starknet mainnet today. Built for 2030 requirements.
Proof of humanity, institutional DeFi settlement, and verifiable AI memory run on Starknet mainnet today. The compliance, sovereignty, and AI-accountability requirements that regulated entities will face in 2030 are already knowable; Vauban is built backwards from those requirements. We verify. We prove. We show our work at cryptographic precision.
Verifiable AI memory; every decision provable
When an AI agent makes a recommendation, executes a transaction, or produces a compliance assessment under EU AI Act Article 12, regulators may require an audit trail that cannot be retroactively altered. Brain Protocol anchors every AI decision chain with a Poseidon-hashed Merkle root, published on-chain. Every knowledge entry consulted, every reasoning step, every output is replayable and independently verifiable; not by policy, by cryptographic proof.
Proof of humanity without surveillance
EUDI Wallet and eIDAS 2.0 require identity assurance at Substantial and High levels; without centralising biometric data under a single custodian. Glacis Protocol delivers verifiable personhood via STARK proofs of ICAO CSCA passport data: the verifier learns the minimum required by compliance (age range, uniqueness) and nothing more. Personal data never touches the chain. V2 trustless live on Starknet mainnet; passports from 134 countries supported (ICAO CSCA registries): Schengen core plus UK, Turkey, Ukraine, the Balkans and micro-states, plus USA, India, China, Brazil, Japan, Australia, South Korea, Malaysia, Russia, and more. Designed for regulated onboarding, sovereignty-grade KYC, and EU Digital Identity Wallet integration.
DeFi settlement without custodial intermediaries
Institutional participation in decentralised finance has been structurally blocked by one unsolved problem: compliance requires knowing your counterparty, but DeFi mechanics assume pseudonymous participants. Bastion resolves this through verified transaction claims; STARK-backed attestations satisfying AML and MiCA requirements without routing assets through a custodian. Vault management and solver execution run directly on Starknet mainnet, with every action cryptographically receipted.
Bootstrapped by design, no VC misalignment
Venture capital introduces a structural conflict in sovereignty infrastructure: the pressure to grow user numbers quickly degrades the security posture and institutional credibility that make a system worth trusting. Vauban is bootstrapped by design, and governance decisions are logged publicly.
Open specification work at the IETF, auditable foundation
A proprietary standard for cryptographic claims is a vendor dependency, not a trust anchor. The Vauban x402 STARK receipt format is documented in an IETF Internet-Draft (draft-vauban-x402-stark-receipts-02).
How it works
Each part can be operated or replaced without disrupting the others.
Audit-grade AI memory
Brain Protocol; verifiable cognitive infrastructure, open agent standards, cryptographic provenance on every decision
AI-augmented decisions cannot be trusted in regulated contexts unless every step of the reasoning chain is provable. Brain Protocol provides institutional-grade memory for AI systems: every knowledge retrieval, every decision, every pattern consulted is Poseidon-hashed, Merkle-anchored on-chain, and replayable. Designed for environments where hallucination is not merely a quality problem; it is a record-keeping liability under EU AI Act Article 12.
Autonomous execution with accountability
Command Center; 5 AI agents, every action signed + audit-logged + on-chain anchored
Autonomous agents that act without cryptographic accountability are undeployable in regulated environments. Command Center answers three questions that conventional agent observability tools do not pose: what did each action cost in outcome terms, not token terms? Who approved it? Can you prove it? Every agent action produces a RunProofCertificate; a signed, on-chain-anchored attestation of the full decision-execution chain, independently verifiable by auditors and regulators.
One format for proofs
Production applications, deployable today
Bastion (DeFi mainnet), Glacis (STARK-proven Proof of Humanity; passports from 134 countries), Vauban Finance (wealth tech), and more
These proofs are in production. Bastion runs institutional DeFi vault management on Starknet mainnet today; verified transaction claims, STARK-anchored settlement, STARK proof of solver execution. Glacis delivers ICAO-rooted identity attestations for EUDI Wallet integration; V2 trustless live; passports from 134 countries supported (ICAO CSCA registries). Vauban Finance produces AI Act-compliant audit trails for wealth management recommendations. These are running systems, not proofs of concept.
Vauban Agent SDK
Build agents you can prove
The open-source toolkit for institutional AI agent development. Every action signed. Every memory cryptographically anchored. Every decision audit-replayable.
Agent frameworks built for developer productivity treat audit as an afterthought; observability dashboards, token counts, latency traces. None of this satisfies a regulator asking 'prove to me that this AI recommendation was grounded in verified data and approved by an accountable human.'
The Vauban Agent SDK makes cryptographic accountability the default, not the exception. Every run produces a RunProofCertificate: a signed, Poseidon-hashed decision chain anchored on-chain, independently verifiable without access to Vauban infrastructure. HITL (Human-in-the-Loop) approvals are themselves cryptographically signed, so the approval chain is as auditable as the action chain. Brain Protocol integration means every knowledge entry consulted by an agent carries its own provenance; no hallucination can silently enter the decision chain without leaving a cryptographic trace.
Key capabilities
- RunProofCertificate per agent run; signed, on-chain-anchored, independently verifiable
- HITL approval with cryptographic receipts; accountable human-in-the-loop by design
- Brain Protocol memory integration; every knowledge retrieval provenance-tracked
- MCP-native; compatible with any MCP server in the Vauban ecosystem and beyond
Products and infrastructure
Each Vauban product is an independently sovereign layer; its own cryptographic boundary, its own audit trail, its own deployment footprint. For institutional adopters, this means you can integrate a single capability (AI memory provenance, identity attestation, DeFi compliance) without committing to the full stack, then extend as requirements evolve.
Platform infrastructure
Brain Protocol
Verifiable Cognitive Infrastructure for AI agents
Institutional memory for AI systems. Every knowledge retrieval, decision chain, and contradiction resolution is Poseidon-hashed, Merkle-anchored, and audit-replayable. Open agent standards. Designed for environments where hallucination is an EU AI Act liability.
Verify: MerkleAnchor contract ↗
Glacis Protocol
STARK-proven Proof of Humanity; passports from 134 countries
ICAO CSCA-rooted identity attestations backed by STARK proofs. V2 trustless live on Starknet mainnet. Passports from 134 countries with registered CSCA: Schengen core plus UK, Turkey, Ukraine, the Balkans and micro-states; plus USA, India, China, Japan, Brazil, Australia, South Korea, Russia, Malaysia, and major emerging markets. Designed for eIDAS 2.0 assurance levels and EU Digital Identity Wallet integration. Zero personal data on-chain; only nullifier and age-range attestation.
Verify: Verifier V2 contract ↗ CA registry (134 countries) ↗
Vauban Finance
Wealth tech for institutional and high-net-worth clients
Institutional portfolio analytics and AI-assisted wealth optimisation with EU AI Act Article 12 audit trail on every recommendation. Via accredited intermediaries; no retail self-service.
Command Center
Autonomous agent orchestration with cryptographic accountability
Outcome-level accountability for AI agent operations; not just telemetry. Every run produces a signed RunProofCertificate: cost, approval chain, decision trace, and on-chain anchor. Built for CTOs and Heads of AI in regulated environments.
DeFi products
Bastion
Institutional DeFi vault · verified settlement, STARK-anchored
Verified financial transaction claims, in production. Solver-based CoW execution on Starknet mainnet. STARK proof of solver execution and non-discriminatory matching; publicly verifiable, every batch. Institutional vault management and DeFi compliance without custodial intermediaries.
Vauban Pay
Cryptographic proof layer for regulated AI and agent payments
x402 payments on Base and Starknet mainnet; receipts proven by STARK. STARK proof of payment conditions for x402-native flows. Designed for EU AI Act Article 12 logging obligations and MiCA record-keeping requirements. IETF Internet-Draft draft-vauban-x402-stark-receipts-02; Zero-Trust Receipt Verifier demo live (JCS · SHA-256 · felt252 · on-chain anchor); reproducible interop fixtures across Rust, Python, Node.js, Go, Java.
Check it yourself
A payment made with Vauban Pay can be checked by anyone.
A payment made with Vauban Pay on Starknet is a transaction anyone can read in a public explorer, without an account with us and without access to our systems.
To start with agent payments, go to pay.vauban.tech: one command, no sign-up. For anything else, write to hello@vauban.tech.
Verifiable by anyone
A payment is checked in a public explorer, not on our word.
Check In a public explorer
Recorded on Starknet (mainnet)