Network · Testnet
Testnet, live facts
Stellar testnet: play money. Use the switch in the top bar to see mainnet.
Contracts
- Prize token (native XLM SAC)
- CDLZFC3SYJYDZT7K67VZ75HPJVIEUVNIXF47ZG2FB2RMQQVU2HHGCYSC
- Registry wasm (live)
- 3355be8f301ea4f9a0656501d6ed2673e33070ab5f56701e8d9d40041f5e4708
- Verifier wasm (live)
- 709b075ab66ef005578c459bc05e4645149b8ecf34d3bfbd88924a9cba019174
Relayer (pays network fees for passkey accounts and claims)
- Balance (live)
- 13272.93 XLM
- Sponsoring
- active
Trusted setup
- Testnet setup
- Single-party setup. Fine for testing, never for real funds.
Tests and evidence
- Registry unit tests
- 9 cargo tests pass (contracts/chest)
- Verifier unit tests
- 3 cargo tests pass, including a real proof verified against the ceremony keys (contracts/verifier-mainnet)
- Testnet end-to-end
- Real claim with the ceremony keys, and the same proof with the recipient swapped is rejected with InvalidProof. claim tx dd40ecb041…6421094497
Security scan (Kuyfi)
- Registry
- Kuyfi scan0 crit0 high0 medi0 low0 infoReport ↗
- Verifier
- Kuyfi scan0 crit0 high0 medi0 low0 infoReport ↗
- Caveat
- Fuzzing covers externally reachable inputs; it does not exercise successful claim paths or the Groth16 math. Those are covered by the unit tests and the testnet end-to-end claim above. This is not a formal audit.