Agent payments -- demo.pay.vauban.tech/agents
Watch an autonomous agent pay
Autonomous agents are starting to spend money on their own. When they do, the party on the other side needs a settlement receipt it can verify, that survives quantum attack, and that does not leak the buyer. x402 gives agents a payment protocol over HTTP, but it stops at the payment ; it has no proof-grade settlement receipt to hand back.
Vauban Pay adds that missing layer: a post-quantum STARK receipt, a privacy-preserving value rail on Starknet, and a verifiable credential for audit. Below are five demos where a real agent settles real value on Starknet Sepolia. Pick a demo and watch the run replay line by line. Every transaction links to Voyager so you can check it yourself.
Replay a verified run
Pick one of the five demos. The terminal replays that exact run from real recorded data: the 402, the on-chain STRK transfer, off-chain proof verification, the data served, and the demo-specific final step. Nothing is fetched live ; this is an in-browser replay of runs that already happened on Sepolia.
Off-chain verified today plus an on-chain commitment anchor (demo 05) ; full on-chain proof verification is the next milestone. STARK throughout ; never SNARK. Vauban Pay is the Starknet-first reference implementation of the chain-agnostic Vauban Claim Algebra (VPSF).
What is real, what is demo, what is not yet
These demos are Phase 1. Nothing below is dressed up. Here is the exact boundary between what runs for real, what is a demo binding, and what is still ahead on the roadmap.
- agent autonomy ; the payer agent decides and acts without a human in the loop
- STRK transfer on Starknet Sepolia ; a real on-chain value movement
- STARK proof generation ; 13.4 MB Stwo Circle STARK M31 artifact
- off-chain verify_cairo per request ; the proof is checked on every settlement
- wire receipt + verifiable credential ; emitted in x402 V2 format
- preste Ed25519 RunCertificate ; the agent run is signed and attestable
- witness == live transfer ; bound by hash, not by witness (Phase 1 binding)
- the proof witness and the live Sepolia transfer are linked by a shared hash, not by a single joint witness
- on-chain proof verification ; deferred to Wave 3
- the honest near-term on-chain step is a commitment anchor, not full on-chain proof verification
Read the Phase 1 binding plainly: the STARK proof witness and the live Sepolia transfer are tied together by a shared hash, not yet by a single joint witness. Full on-chain proof verification arrives in Wave 3 ; until then the honest on-chain step is a commitment anchor (demo 05).
Agent-payment demos
Each card shows what the demo demonstrates, the command to run it, and the real Starknet Sepolia transaction it produced. Replay any of them in the terminal above. Every link goes to Voyager, the canonical block explorer.
preste run vauban-payer --demo baseline Runs under the preste vauban-payer agent with an Ed25519 RunCertificate. Block 10331604.
preste run vauban-payer --demo dogfood Same payer agent, a Vauban-operated x402 endpoint as the merchant.
preste run vauban-payer --demo a2a Agent A is the buyer, agent B is the worker and merchant.
preste run vauban-payer --demo compliance Produces an SD-JWT-VC (ES256, RFC 9901) over the settlement receipt.
preste run vauban-payer --demo anchor Two transactions: the payment, then the commitment anchor emitted via emit_receipt.
All five settlements ran on Starknet Sepolia via the self-hosted validator at
https://sepolia.rpc.vauban.tech/rpc/v0_10 ; never a SaaS RPC provider.
STARK throughout ; never SNARK. Vauban Pay is the Starknet-first reference
implementation of the chain-agnostic Vauban Claim Algebra (VPSF).
An agent decided, paid, and walked away with a receipt anyone can verify offline, today, on a public testnet. That is the part that was missing.