Solvency proofs

Proof of solvency compares two quantities:

pool equity on Hyperliquid (publicly readable)
        ≥
commitment sum of internal liabilities (built to be proven, not revealed)

• Pool equity is read from Hyperliquid for the pool accounts.
• Internal liabilities are the committed balances of all users, aggregated inside a proof.
• The protocol over-collateralises pool equity relative to the sum of internal initial margin.

The protocol is designed to publish solvency proofs for the pool as a whole.