Zero-Knowledge Proof of Reserves & Solvency Oracle
Solvency. Proven in Real-Time.
Cryptographically prove that stablecoin reserves exceed customer liabilities on Stellar without unmasking individual balances or exposing proprietary reserve totals.
Solvency Status
SOLVENT & ACTIVE
Verified: Just nowTotal Liabilities$500,000 USDCSum of all user balances
Verified Reserves$520,000 USDCustodian confirmed bank balance
Solvency Cushion+$20,000 USDBuffer asset value
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.
Soroban CPU Hashing Telemetry
Comparing the CPU instruction execution costs on-chain for a depth-10 Merkle-Sum Tree (1,024 accounts).
SHA-256 MST (Baseline)12.89M Instructions
Poseidon2 MST (Protocol 25)1.48M Instructions
Poseidon2 instruction reduction: 88.5%
Protocol 25 Poseidon2 host functions enable high-performance solvency verifications inside standard Soroban transaction CPU limits.
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.
Latest Root Commit
ce0c91e8487da3df68c969baf128f766474a5d2c7f1e954acc6dbf3460600de2
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