Are you solvent?
This site is a demo implementation of the Provisions: Proof of Solvency protocol.
It is a zero-knowledge protocol that proves that an exchange has enough assets to cover its liabilities.
In this implementation we prove that \(Assets - Liabilities = 0\).
Fill in some example assets and liabilities on page below so that that equation holds (or don't!) and click the "Prove Solvency" button below to prove that in zero-knowledge.
This table is for listing your on-chain balances. This is equivalent to a list of address to balances. The protocol allows including extra public keys that you do not provide the private key for anonymity.
This table is for listing your customer account balances. These do not map directly to on-chain balances. Each customer can individually prove you computed their balance correctly and it is included in the total proof.