Don't trust our database. Verify our math.
Every 24 hours, the Enclave publishes a Merkle Sum Tree root.
Prove that Assets ≥ Liabilities without ever revealing a single user's balance.
Users deposit assets into the platform. Each balance is private.
The generated proof $\pi$ certifies that for specific public inputs (root hash $R$, total assets $A$), the prover knows a set of user balances $\{(u_i, b_i)\}$ such that:
1. $R = MerkleCommitment(\{(u_i, b_i)\})$ (Commitment Integrity)
2. $\sum b_i \le A$ (Solvency Constraint)
3. $\forall i, b_i \ge 0$ (Non-Negativity Constraint)Powered by Sentinel Enclave + Halo2 Prover