Generate a proof that a spend is under a cap and bound to a receipt
No wallet required — proof generation uses Noir + Barretenberg. Independent browser verification is not shipped yet.
A zero-knowledge proof is math that shows a statement checks out without revealing what’s inside it — like proving you’re over 21 without handing over your ID. You type a statement; the server returns a proof plus public inputs. Independent browser verification is not shipped yet.
Your statement is hashed, then our Noir circuit (law25_spend_gate) — the rulebook, written as code — checks a real spend gate: amount at or under cap, and a Pedersen hash that binds the statement, the amount, the receipt, and the policy. It does not prove a live allowlist. The Barretenberg backend — the proving engine — does the heavy math on our own hardware and returns the proof plus its public inputs in seconds.
AI agents are starting to hold budgets. IronBridge is the hard gate underneath the model that decides what clears. Every action here lands on a tamper-evident hash-chain — 10,800+ sealed rows — anchored to the Base blockchain nightly. Proofs are the final layer: compliance you can hand to an auditor or a counterparty without exposing your prompts or your data.
Walk the live chain at /trust · plain-English docs at /docs · circuit internals at /zk-demo.