How can the provable solvency scheme possible prove solvency for fiat holdings? For example, I deposit $100 into the exchange. How can the exchange prove to me that it hasn't gone and gambled that $100? I think this could only be handled with human auditors going in and checking the actual amounts held in the exchange's bank accounts.