Виталик Бутерин отметил, что при проверке надежности криптобирж вместо того, чтобы полагаться на фиатные инструменты, компании могли бы создавать криптографические доказательства, показывающие, что хранимых в блокчейне активов достаточно для покрытия обязательств. В пример он привел проверку баланса площадок по Дереву Меркла, а также внедрение zk-SNARK (крипто-протокола, использующего публичные вероятностно проверяемые доказательства с нулевым разглашением). 
https://profinvestment.com/