Lemma × x402

Trust for AI agent
payments.

x402 lets agents pay. Lemma proves who, under what authority, and on what data — via ZK, and out of scope, it never runs.

import wrapFetchWithProof from '@trust402/protocol'

// compose proof gating before the x402 payment
const fetch402 = wrapFetchWithProof(fetch, artifact, gate, lemma)

// keys and data stay put — only proofs flow
await fetch402('https://api.example/data')
const fetch402 = wrapFetchWithProof(fetch, …)
// compose proof gating before the x402 payment
example-x402$agent run --pay 0.01 GET /data [+] generating ZK identity proof… [+] role check (developer-tier)… [+] spendLimit 0.01 ≤ 100 USDC… [+] x402 settle 0x4a8f…e21 [+] anchor: Base Sepolia 200 OK { data: "…" } example-x402$

ETHGlobal Open Agents 2026 Finalist  ·  Aligned with Coinbase Developer Platform 2026-06 release  ·  x402 / MCP standards  ·  Source on GitHub

x402
¥
Payment protocol
+
What Trust402 adds
ZK identitywho
role membershipunder what authority
spend limitup to what
on-chain anchortamper-evident trail
=
Trust-verified payment
Who, under what authority, up to what amount, on what data
fail-closed · audit trail · independently verifiable

Scope

Out of scope,
it never runs.

Your agent runs only within the authority you delegate. Out of scope, it stops before the call is sent. No hand-rolled guardrails.

01

Stopped before it's sent.

Calls that fail proof verification stop before they're sent (fail-closed).

$500 POST → blocked
02

Authority is declared, not coded.

Declare role, limits and scope as a proof — no authorization branches in your code.

scope: payments:autonomous
03

Every stop leaves a trail.

Every allow and every stop lands in an independently verifiable audit trail.

audit trail · verifiable
trust402 · execution loglive
GET /data$0.01
proofrole · spend
→ settled · anchoredSETTLED
POST /admin$500
proofscope admin not granted
→ stopped before sendBLOCKED
GET /data$120
proofspend limit 100 USDC exceeded
→ stopped before sendBLOCKED

fail-closed by default · every stop lands in the audit trail · measured on the reference implementation

Before / After

Just paying
isn't enough.

x402 settles the payment. Trust402 attaches provable authority, identity, and scope to that payment — recording who paid on behalf of whom, within what bounds, and against what data in a tamper-evident form.

Without Trust402
Agent x402 pay ¥ ¥ ¥ ¥ ¥ ? Payment record only no audit trail

Who, within what bounds, on what data —
cannot be reconstructed afterward.

With Trust402
ZK Agent + proof x402 pay + proof ¥ payment + proof audit trail · verified

Who, under what authority
proven cryptographically.

Where it pays off

Four operational areas
Trust402 unlocks.

Where agent-delegated payments meet real workflows, Trust402's authority proof + audit trail earns its keep.

AI expense approval

Limits and scope as ZK proof — settle and approve without a human in the loop.

Metered API billing

Plan-holder proof at the wire — bill without provisioning credentials.

Cross-agent settlement

Prove the payment authority across an agent-to-agent chain.

Compliance flow

Attach KYC / AML attributes via selective disclosure — settle under regulation.

The reference implementation is live on GitHub.

How it works

One middleware,
over your existing x402 flow.

The standard stays intact. Trust402 sits as a ZK verification layer.

STEP 01 Present delegation proof STEP 02 ZK Trust402 verifies via ZK STEP 03 ¥ Settle on x402 STEP 04 on-chain anchor
● 4 step flow · one middleware line, done
Product

Trust402 is
Lemma's trust infrastructure.

x402 trust infrastructure. Grants agents ZK identity, role, and budget so they can pay autonomously — built on Lemma's shared "don't hold the data" design.

Design

Extending the "don't hold"
design to x402.

Trust402 takes Lemma's trust infrastructure and extends it into agent autonomous payment. Agents are handed neither keys nor data; only proofs flow. The receiving side independently verifies legitimacy.

Read more on the Trust Infrastructure →
ZK identity

Prove credentials via Poseidon commitments.

prover.prove(credential)
Role membership

Prove role assignment via Circom circuits.

Groth16 / BN254
Spend limit

Enforce budget caps via 128-bit LessEqThan.

fail-closed guarantee
Currency · settlement

USDC settled via EIP-3009.

extensible to other stablecoins
On-chain attestation

Tamper-evident settlement via the Lemma oracle.

Base Sepolia · mainnet ready
Pricing

Four tiers,
Explorer to Pro.

Explorer

Sandbox · testnet only

Coming soon

Builder

Production access · for individual developers

Coming soon

Studio

Team plan · priority support

Coming soon

Pro

High volume · SLA guaranteed

Coming soon

FAQ

Common questions.

How is this different from OAuth?

OAuth covers user access authorization. Trust402 complements it by ZK-proving the agent's delegated authority, identity, and scope. OAuth token + Trust402 proof together close authority governance for the agent era.

How does it integrate with MCP?

Works with Anthropic MCP server / client, OpenAI Agent SDK, or your own agent harness. The MCP server charges via x402; Trust402 verifies the calling agent's delegated authority.

Can I retrofit Trust402 onto an existing x402 setup?

Yes. Compose wrapFetchWithProof in front of wrapFetchWithPayment — payments without a valid proof are rejected before they're sent. The x402 standard is untouched; requests that clear the proof gate are processed as usual.

Does this apply to actions beyond payments?

Yes. Proofs are verified per call, so the same applies to non-payment API calls and MCP tool calls. Out-of-scope calls stop before they're sent. Start with payments, extend to everything your agent does.

Do you support enterprise-specific requirements?

Authority design, audit requirements, integration with existing systems — start with a discovery call. Book one via the contact form.

When does this ship?

2026-06, aligned with the Coinbase Developer Platform GA. The reference implementation is already on GitHub (testnet).

Agentic Economy

The trust infrastructure
for the agent era.

Pay autonomously without giving up keys — Lemma attaches provable authority.

Enterprise customization starts with a discovery call. Book a discovery call →