Solvency. Proven in Real-Time.
Cryptographically prove that stablecoin reserves exceed customer liabilities on Stellar without unmasking individual balances or exposing proprietary reserve totals.
Real on-chain ZK — no wallet needed
Re-verify a real BN254 Groth16 solvency proof against the deployed oracle’s attest_reserves, live on Testnet.
Public Verification Panel
Verify that your balance was included in the latest solvency report. The verification runs entirely in your browser using zero-knowledge inputs.
Issuer Attestation Panel
Connect Issuer Account
Connect your Freighter wallet to authorize reserve audits and publish solvency proofs.
ZK Circuit Hashing Cost (Poseidon vs SHA-256)
Comparing in-circuit constraint cost (proving-side) for a depth-10 Merkle-Sum Tree (1,024 accounts). On-chain verification is a constant BN254 pairing, independent of the hash.
Fewer circuit constraints mean faster client-side proof generation; on-chain, Crisp verifies a single constant-size BN254 pairing regardless of the hash.
ZK Oracle Security Invariants
- Balance Integrity: Ensures individual user balances cannot be negative.
- Verification Invariant: Attestations fail automatically if liabilities > reserves.
- Zero Knowledge: Public users cannot scan overall reserve balances or competitor positions.
Frequently Asked Questions
Secure Your Issuer Trust Ecosystem
Ready to integrate Crisp with your stablecoin reserves? Deploy the solvency oracle contract on Stellar testnet today.
Get the SDK & Contract