Overview
Live on Stellar testnet
Real UltraHonk proofs, verified on-chain inside verify_and_execute. Every number here is measured, not estimated.
VERIFIED on testnet
One atomic call moved 100 USDC — gated by a real ZK proof.
A Noir/UltraHonk proof was verified on-chain and the asset released in a single verify_and_execute — no identity revealed.
transaction214d788b…7e6703
proofs verifiedon-chain
Circuit size
1,540gates
Proving time
0.27seconds
On-chain verify
0.012XLM
Proofs ready
live10in pool
Recent activity
verify_and_execute outcomes on testnet
| Event | Policy | Amount | Status | Transaction |
|---|---|---|---|---|
| verify_and_execute | 1001 | 100 USDC | VERIFIED | 214d788b…7e6703 |
| replay of same nullifier | 1001 | — | REPLAY | 214d788b…7e6703 |
| PolicyPublished | 1001 | — | PUBLISHED | 2a3ba6e6…428fe6 |
| contract deployed | — | — | DEPLOYED | e16278f0…66007e |