Give every AI agent a Proof Passport
Turn private policy compliance into a portable proof before capital moves. Prove the action, verify the limits, then let the agent execute.
npm run proof:testnet
npm run build:verifier
Now running
Trust the proof, not the trading bot
Generate a Proof Passport showing an AI agent stayed inside its risk policy without exposing its strategy, positions, or private trade data.
- Circuit
- Noir
- Proof
- UltraHonk
- Target
- EVM
Proof Passport protocol
One passport. Multiple proofs. One execution decision.
Proof Rails selects the checks. The Passport binds them to an agent, intent, policy, chain, target, and validity window. The router dispatches every rail to its registered verifier before the action continues.
- 01ProposeAgent action intent
- 02ProveAttach required rails
- 03RouteResolve verifiers
- 04ExecuteAccept or block
Proof Passport
0x7a91...e42c- Agent
- market-maker-demo
- Policy
- rwa-agent-policy-v1
- Intent
- site:standard
- Window
- 300 seconds
Envelope preview only. Cryptographic verification runs through registered proof-system verifiers.
Commercial pack
Proof rails for tokenized markets
Eligibility, compliance hooks, AI trading guardrails, portfolio risk, dividend claims, and issuer backing proofs for builders bringing real-world assets onchain.
Proof Rails Pack
Match an agent trade to the right proofs
Start from an agent policy and a proposed tokenized-market intent. The demo recommends the proof templates a hook, router, or app would check before execution.
node src/cli.js rails --policy integrations/proof-rails/agent-policy.example.json --intent integrations/proof-rails/trade-intent.example.json