browser proving

Proof console

Generate a real Groth16 proof in this tab, verify it locally, then watch the same public inputs gate a payment or a regulated-asset mint. Private credential inputs never leave your browser.

browser proving session

No proof generated

idle

curveBLS12-381

constraints56,110

public signals19

proof time—

self-serve path

Wallet-issued credential

wallet required

01 Connect wallet Freighter pending

02 KYC not started

03 Secret commitment pending

04 Enroll root pending index pending

trace

Ready

Advanced witness upload

Payment witness RWA witness

Complete wallet onboarding to assemble a witness in this browser.

selected epoch -

live tx not submitted

replay check not run

The transaction submits the exact proof generated and verified in this browser — serialized to Soroban form client-side. The site no longer serves witness files or pre-generated proof pools.

prove against a gate

Eligibility gates

Pick a gate to prove against it — the active card tracks your latest proof.

paymentgate 01

Travel-rule payment gate

Proves the sender is KYC-cleared, sanctions-screened and within corridor limits before value moves over a Stellar SAC.

policy: 202
asset: 9001
amount: 250
recipient: 7000001

View tx

RWAgate 02

Regulated asset gate

Authorizes an exact OpenZeppelin SEP-57 mint with a one-time proof-bound attestation consumed by the compliance adapter.

policy: 303
asset: 9101
amount: 100
recipient: 8000001

View tx

failure theater

Tampered proofs must fail

Mutating a public signal after proving should break verification. Run the checks to see each mutation rejected live.

Payment amount mutationnot run
RWA recipient mutationnot run
Payment proof into RWA gaterejected in contract tests