Vitalik proposes to use ZK-SNARKs to strengthen the privacy and robustness of Merkle tree exchange proof of reserves, and to hold user funds in something like a validium smart contract. CZ said the binance team will implement it and make it open-source.