x402-gated verifier for on-chain execution proofs. sub-agent budgets via ERC-7710 delegation on base.
r402 is an x402-gated verifier for on-chain execution proofs on base.
agents pay per-verify in usdc via the x402 payment middleware. each call checks a signed execution payload against the ExecutionLog contract on base mainnet: signature recovered, payload hash recomputed, signer matched. no self-reported claims.
the cook-off track adds erc-7710 sub-agent budgets: a main metamask smart account grants a sub-agent a usdc spending cap via delegation. the sub-agent burns through it in metered x402 calls to the live verify endpoint; once the cap is hit, the delegation reverts on-chain at the enforcer. permissioned, metered, verifiable.
stack: node + typescript, @x402/core, @metamask/smart-accounts-kit, viem, solidity.
<p>- ported the verify logic to a node x402 endpoint (live: <a href="http://r402.rsynth.ai/api/verify">r402.rsynth.ai/api/verify</a>)</p><p>- integrated x402 payment middleware: 1 usdc per verify, settled on base</p><p>- built the erc-7710 sub-agent budget demo: main smart account delegates a 5 usdc cap to a sub-agent eoa</p><p>- mainnet smoke test: 5 successful 1 usdc redeems + caveat-enforced revert on the 6th (cap exhausted)</p><p>- recorded a demo showing payment, verify 200, and the on-chain anchor on basescan</p>