Доказательство мошенничества
Доказательство мошенничества — это технологический метод, функционирующий как гарантия обеспечения в децентрализованной среде, использующей оптимистичные роллапы (OR).
Что такое доказательство мошенничества?
Термин "мошенничество" определяется как противоправное действие, совершенное с целью получения незаконного преимущества путем лишения потерпевшего права. Примерами могут служить налоговое мошенничество, мошенничество с кредитными картами, мошенничество с использованием электронных средств и многое другое. Мошенничество может быть совершено одним человеком, группой людей или компанией в целом.
В мире
блокчейна термином доказательства мошенничества (англ. fraud proofs) называют технический метод, имеющий решающее значение для обеспечения масштабируемости блокчейнов (например, за счет шардинга или более крупных блоков), гарантируя при этом доступность и корректность данных в сети. Доказательства мошенничества используются в оптимистичных роллапах (Optimistic Rollups или OR), которые выполняют две функции: уменьшают затраты и снижают величину задержки для децентрализованных приложений в блокчейн-сети.
Чтобы вознаградить хорошую работу, секвенсор, обязанный обрабатывать опитимистичные роллапы, должен предоставлять доказательство мошенничества к своей работе. Секвенсоры получают финансовую компенсацию за исполнение роллапов в соответствии с правилами консенсуса, а за их нарушение они несут денежное наказание.
Доказательства мошенничества работают хорошо при переходе состояний, но они опираются на критическое предположение, что все данные
блока доступны.
Невозможно установить, что блок майнеранекорректен, если он просто публикует заголовок блока без корректного содержимого.
Более того,
даже если 99% данных доступны, оставшийся 1% может потребоваться для установления достоверности блока, так как требуется полной доступность всех данных. В этом есть строгая необходимость для валидации блоков, потому что данные могут быть недоступны по самым разным причинам, не только по злому умыслу. Правильное решение — сделать недоступность данных сложной задачей для неавторизованного
узла.
Масштабирование публичных блокчейнов требует использования доказательств мошенничества и кодов стирания. Они позволяют лёгким узлам принимать собственные решения о том, какие блоки отвергать, не полагаясь на множественность надёжных полных узлов.
Даже если для подтверждения корректности можно использовать краткие доказательства нулевого разглашения (zk-proofs),
злоумышленнику или мошеннику сойдёт с рук публикация недоступных блоков и включение их в цепочку. Это по-прежнему серьезная проблема, потому что это мешает всем остальным валидаторам полностью вычислить состояние или сформировать блоки, взаимодействующие с той частью состояния, которая больше недоступна.
Доказательства мошенничества показывают, что переход в состояние был сделан неверно. Фундаментальное преимущество доказательств мошенничества заключается в том, что они требуются не для каждого перехода состояния, а только когда что-то идёт не так. В результате они используют меньше вычислительных ресурсов и больше подходят для систем с ограниченной масштабируемостью. Взаимодействие этих протоколов является их самым большим недостатком: они устанавливают "диалог" между многочисленными участниками. Диалог/взаимодействие/общение требует присутствия сторон, особенно стороны, заявляющей о мошенничестве, и позволяет другим сторонам вмешиваться в обсуждение различными способами.