Full Implementation of Proof of Solvency for CEX based on Customized IOP

[enricobottazzi]

How would you compare your implementation to SNARKed Merkle Sum Tree: A Practical Proof-of-Solvency Protocol based on Vitalik's Proposal in terms of efficiency and privacy?