Оригинальное название: Что такое сертификат заповедника деревьев Меркель на CEX? Какие потенциальные проблемы у него есть?
Поскольку FTX оказалась в беде из-за незаконного присвоения средств пользователей и стала неплатежеспособной, крупные биржи заявили, что они выпустят собственные сертификаты 100%-ных резервов деревьев Меркель, чтобы доказать, что их резервы активов на 100% достаточны и не будут незаконно присвоены. инцидентов не произойдет.
Итак, что такое доказательство резерва дерева Меркла, почему оно может доказать 100% резервность и каковы потенциальные проблемы с ним?
Для начала давайте разберемся, что такое Дерево Меркла. Дерево Меркла — это структура данных. Как показано на рисунке, у нас есть 4 части данных, каждая часть данных — это идентификатор пользователя и баланс. Хэшируйте четыре части данных по отдельности, чтобы сформировать листья дерева Меркла. Затем объедините хеш-значения двух листьев, а затем хешируйте. Благодаря этой итерации мы получим полное дерево Меркла. Верхний узел называется корнем дерева. Из-за особенностей алгоритма хеширования изменения в любом узле данных приведут к изменению хэш-значения корня дерева.
А когда нам нужно доказать, что определенный пользователь действительно присутствует в дереве, например, подтвердить User1 и его баланс, нам нужно только указать значение синего узла на рисунке. Пользователю1 необходимо знать только свой идентификатор пользователя и баланс, а также Hash2 и Hash34 (эти два хеша предоставляются биржей), чтобы проверить, находится ли он в корне дерева. Очевидно, что простого указания этих нескольких узлов достаточно для хэширования до корня дерева, и вам нужно только проверить, совпадает ли значение корня дерева. Мы называем [User1, Hash2, Hash34] доказательством Меркла или путем, который доказывает User1.
Резервное доказательство Меркель может быть реализовано во многих формах. Давайте сначала посмотрим на решение Gate.io. Идея реализации такова:
1. Обнажить корни дерева Меркель.
2. Возможность доказать любому пользователю, что его баланс и UID находятся на дереве.
3. Сторонняя аудиторская компания проведет аудит общего баланса всех пользователей дерева.
4. Сторонняя аудиторская компания проведет проверку суммы балансов всех адресов кошельков на бирже.
1 и 2 являются динамическим сдерживающим фактором со стороны математики и общества. Ни пользователи, ни аудиторская компания не могут быть уверены, может ли этот корень дерева Меркла соответствовать всем пользователям Gate. Но поскольку каждый может проверить, находится ли он на дереве (очевидно, из-за вопросов конфиденциальности обычные пользователи не могут проверить других пользователей), как только кто-то предоставит доказательства того, что меня нет на дереве, то Gate, несомненно, является мошенничеством. Когда никто не утверждает, что Gate мошеннический, мы все предполагаем, что корень дерева правильный, и аудиторская компания также может на основании этого проверять каждый узел в дереве и суммировать баланс пользователя.
3 и 4 основаны на доверии третьей стороны. Здесь это можно критиковать, но для CEX найти безнадежный метод практически невозможно. Надо просто обратить внимание на проблемы, которые здесь могут возникнуть.
Потенциальные проблемы включают в себя:
Проблема частоты обновления корня дерева. На CEX большое количество транзакций в секунду, и обновлять корень дерева для каждой транзакции нереально. Высока вероятность, что корни деревьев, которые вы увидите, окажутся не самыми последними, а значит, и понятная вам ситуация не самая последняя. Частота обновлений является ключевым параметром, обеспечивающим эффективность этой системы.
Проблемы внешнего мошенничества. Пользователи обычно открывают интерфейсную страницу биржи, чтобы проверить, находятся ли они в дереве. Эта страница может возвращать ложные результаты. Для решения этой проблемы доверия может потребоваться стороннее программное обеспечение с открытым исходным кодом.
Кредитные проблемы со сторонним аудитом. Многие компании, пережившие бури в сфере традиционных финансов, также прошли аудит на всех уровнях. Наличие аудита не означает, что они надежны.
Проблемы с доступностью осведомителей. Даже если пользователь обнаружит, что корень дерева фальшивый, сможет ли он понять, что ему следует делать, сможет ли он эффективно доказать, что то, что он сказал, верно, и распространить этот факт?
Хотя мы упомянули ряд проблем, большая прозрачность, как правило, является лучшей тенденцией для пользователей CEX.
Есть надежда, что все биржи в будущем смогут внедрить аналогичные или лучшие системы сертификации 100% маржинальных резервов, чтобы обеспечить более открытую и прозрачную среду.