Основатель криптовалюты Ethereum (ETH) Виталик Бутерин, предложил использовать доказательство с нулевым разглашением (zk-SNARKs) для проверки данных о резервах криптовалютных бирж. Кроме того, zk-SNARKs поможет исключить бирже возможность оперировать средствами клиентов без их согласия.
На данный момент платформы используют процедуру Merkle Tree Proof-of-Reserves, при которой биржа или независимая организация выполняет снапшот кошельков платформы и объединяет их в дерево Меркла. По мнению Бутерина, даже при простейшей реализации zk-SNARKs сделает процедуру PoR более конфиденциальной: «ветвь» древа Меркла, переданная конкретному пользователю в качестве доказательства платежеспособности, не позволит ему узнать информацию о балансах других обезличенных клиентов.
В заключении Бутерин отметил, что в будущем могут появиться «криптографически ограниченные» централизованные биржи. По его словам, они будут хранить активы в специализированных смарт-контрактах, которые исключают несанкционированное использование клиентских средств.
