Доказательство мошенничества

Что такое доказательство мошенничества?

Доказательство мошенничества — это механизм блокчейна, который показывает, что предложенный переход состояния, результат транзакции, вывод средств или другое вычисление вне блокчейна выполнено неверно.

Доказательства мошенничества чаще всего связаны с оптимистичными роллапами. Они обрабатывают транзакции криптовалюты вне базового блокчейна, а затем публикуют в нем сжатые данные и обязательства по состоянию.

Оптимистичная система временно принимает отправленный результат, не требуя криптографического доказательства корректности для каждой группы транзакций.

В течение установленного периода оспаривания независимый участник может оспорить неверный результат и предъявить доказательства того, что правила системы были нарушены.

Если оспаривание успешно, недействительное утверждение отклоняется, правильное состояние сохраняет силу, а недобросовестный или ошибившийся участник может потерять финансовое обеспечение.

В документации Ethereum об оптимистичных роллапах объясняется, что такие системы считают ончейн-транзакции корректными, пока кто-либо не оспорит их с помощью механизма доказательства мошенничества.

Доказательство мошенничества не обязательно свидетельствует о намерении человека совершить мошенничество: неверный результат может быть вызван ошибкой программного обеспечения, конфигурации, оборудования или случайной вычислительной ошибкой.

Поэтому многие современные разработчики блокчейнов используют более широкий термин «доказательство ошибки» (fault proof).

Почему доказательства мошенничества важны для криптовалют?

Доказательства мошенничества позволяют блокчейн-системам вынести сложные вычисления за пределы базового слоя, не требуя от пользователей полностью доверять одному централизованному оператору.

Базовому блокчейну не нужно исполнять каждую транзакцию роллапа сразу после ее поступления.

Ему достаточно хранить сведения, необходимые для восстановления состояния роллапа и разрешения споров, если кто-либо заявит, что было отправлено недействительное значение.

Такая оптимистичная модель может снизить стоимость транзакций, поскольку дорогостоящая проверка в блокчейне требуется главным образом при разногласиях участников.

Доказательства мошенничества также поддерживают самостоятельное хранение активов: пользователи могут оспорить недействительный вывод или утверждение о состоянии, не полагаясь только на организацию, управляющую роллапом.

В этой модели базовый блокчейн выступает нейтральным арбитром, который проверяет доказательства по правилам смарт-контракта.

Правильно спроектированная система может оставаться безопасной, если хотя бы один честный и компетентный участник следит за блокчейном и успевает отправить оспаривание.

Эту модель безопасности часто называют предположением об одном честном участнике.

Как работает доказательство мошенничества?

Секвенсор роллапа собирает транзакции пользователей, упорядочивает их, исполняет и формирует новую версию состояния роллапа.

Затем роллап публикует данные транзакций или обязательства по ним, а также утверждение о полученном состоянии в блокчейне расчетного уровня.

В зависимости от протокола это утверждение может называться заявлением, корнем выходных данных, корнем состояния, обязательством по состоянию или контрольной точкой.

Смарт-контракт расчетного уровня не считает это утверждение окончательным сразу.

Вместо этого он запускает период оспаривания, в течение которого валидаторы или участники, оспаривающие результат, могут самостоятельно повторить вычисления.

Честный участник сравнивает предложенный результат с результатом исполнения опубликованных транзакций по официальным правилам роллапа.

Если результаты совпадают, доказывать мошенничество не требуется, и после окончания периода оспаривания утверждение может стать окончательным.

Если результаты отличаются, участник начинает спор через смарт-контракт расчетного уровня.

В ходе спора область разногласия сужается, пока блокчейн расчетного уровня не сможет проверить конкретную операцию, из-за которой результаты расходятся.

Затем смарт-контракт определяет, какое утверждение соответствует правилам протокола, и отклоняет другое.

Упрощенный пример доказательства мошенничества

Предположим, что изначально у Alice 10 токенов, а у Bob — 2 токена.

Корректная транзакция переводит 3 токена от Alice к Bob.

В правильном итоговом состоянии у Alice будет 7 токенов, а у Bob — 5.

Предположим, что оператор роллапа ошибочно отправил обязательство по состоянию, согласно которому у Alice 6 токенов, а у Bob — 6.

Независимый валидатор повторно исполняет транзакцию и рассчитывает правильные балансы.

Валидатор оспаривает обязательство оператора, поскольку отправленный результат не следует из предыдущего состояния и действительной транзакции.

Доказательство мошенничества указывает на спорный этап исполнения и предоставляет данные, необходимые смарт-контракту расчетного уровня для проверки правил перевода.

Смарт-контракт подтверждает, что должно было переместиться только 3 токена, и отклоняет неверное обязательство по состоянию.

Этот пример упрощен, но реальные системы доказательства мошенничества применяют тот же принцип к сложному исполнению смарт-контрактов, расчету газа, обновлению хранилища и криптографическим обязательствам.

Что такое оптимистичный роллап?

Оптимистичный роллап — это решение масштабирования второго уровня, которое исполняет транзакции криптовалюты вне базового блокчейна, используя его для доступности данных, расчетов и разрешения споров.

Термин «оптимистичный» означает, что группы транзакций по умолчанию считаются корректными, а не сразу сопровождаются доказательством правильности каждого вычисления.

Пользователи обычно получают быстрое подтверждение внутри роллапа, поскольку секвенсор сообщает результаты вскоре после обработки транзакций.

Однако перевод средств из роллапа обратно на расчетный уровень может занять больше времени: соответствующее утверждение о состоянии должно пройти период оспаривания.

Оптимистичные роллапы отличаются от обычных сайдчейнов тем, что их безопасность в значительной степени должна зависеть от блокчейна расчетного уровня, а не только от независимой группы валидаторов.

В документации Ethereum по масштабированию оптимистичные роллапы, которые исполняют оспариваемые вычисления с помощью доказательств мошенничества, отличаются от роллапов с нулевым разглашением, отправляющих доказательства корректности.

Что такое корень состояния?

Корень состояния — это компактное криптографическое обязательство, представляющее полное состояние блокчейна или роллапа в определенный момент времени.

Состояние может включать балансы аккаунтов, код смарт-контрактов, значения в хранилище, nonce и другие данные, необходимые для обработки будущих транзакций.

Корень состояния намного меньше полной базы данных, которую он представляет.

Изменение даже одного значимого значения обычно меняет итоговое обязательство.

Предлагающая сторона роллапа может опубликовать корень состояния, не размещая все состояние целиком в смарт-контракте расчетного уровня.

Другие участники могут восстановить состояние по доступным данным транзакций и проверить, получили ли они тот же корень.

Спор о доказательстве мошенничества часто начинается потому, что две стороны получили разные корни из одних и тех же исходного состояния и последовательности транзакций.

Что такое переход состояния?

Переход состояния — это преобразование прежнего состояния блокчейна в новое путем исполнения одной или нескольких действительных транзакций.

Упрощенная формула:

.

Функция перехода состояния включает правила протокола для подписей, балансов, газа, исполнения контрактов, хранилища и порядка транзакций.

Все честные участники, использующие одинаковые входные данные и версию протокола, должны получить одинаковый результат.

Доказательство мошенничества показывает, что предлагаемое новое состояние неправильно выведено из старого состояния и опубликованных данных.

Детерминированное исполнение необходимо, поскольку спор невозможно надежно разрешить, если честные компьютеры могут выдавать разные результаты при одинаковых входных данных.

Что такое период оспаривания?

Период оспаривания — это время, в течение которого оптимистичный результат можно оспорить до того, как он станет окончательным для расчетов.

Во многих конструкциях оптимистичных роллапов этот период близок к одной неделе, хотя точная продолжительность зависит от протокола и может меняться в результате управления или обновлений.

Период ожидания дает независимым валидаторам время скачать данные, повторить исполнение, обнаружить недействительное утверждение, получить средства на комиссии или обеспечение и отправить оспаривание.

Слишком короткий период может сделать безопасность в значительной степени зависимой от постоянного мониторинга, быстродействующей инфраструктуры и непрерывного доступа к блокчейну расчетного уровня.

Слишком длинный период может снизить эффективность использования капитала и сделать стандартный вывод средств неудобным.

В руководстве Ethereum по доступности данных объясняется, что оптимистичные роллапы обычно предоставляют период для споров, чтобы независимые проверяющие могли изучить опубликованные данные и оспорить неверные переходы состояния.

Пользователям следует проверять фактические правила оспаривания и финализации конкретной сети, а не предполагать, что в каждом оптимистичном роллапе период составляет ровно семь дней.

Почему вывод средств занимает время?

Стандартный вывод из оптимистичного роллапа может задерживаться, поскольку смарт-контракт расчетного уровня должен исключить выпуск активов на основании недействительного утверждения о состоянии.

Если ложное утверждение могло бы немедленно стать окончательным, злоумышленник мог бы выдумать баланс и вывести активы, заблокированные на расчетном уровне, прежде чем кто-либо успел бы отреагировать.

Период оспаривания дает валидаторам время доказать, что вывод основан на недействительном состоянии роллапа.

После финализации соответствующего обязательства по состоянию вывод можно завершить согласно правилам моста протокола.

Сторонние поставщики ликвидности могут обеспечить более быстрый доступ к средствам, но такие схемы предполагают отдельные комиссии, требования к ликвидности, риск смарт-контракта и контрагентские допущения.

В руководстве Ethereum по роллапам с нулевым разглашением объясняется, что выводы из оптимистичных роллапов задерживаются для возможности оспаривания с помощью доказательств мошенничества, тогда как системы с доказательствами корректности могут завершать вывод после проверки доказательства.

Что такое интерактивное доказательство мошенничества?

Интерактивное доказательство мошенничества использует многоэтапную игру между сторонами, которые не согласны с результатом длительного вычисления.

Публикация и повторное исполнение целого блока роллапа непосредственно в блокчейне расчетного уровня могут быть слишком дорогими или выходить за пределы лимитов транзакций.

Поэтому предлагающая сторона и участник, оспаривающий результат, фиксируют разные трассы исполнения и постепенно сужают область разногласия.

Один из распространенных подходов — делить трассу на меньшие части в ходе процесса, называемого бисекцией.

На каждом этапе определяется, в какой половине находится первое расхождение.

Процесс продолжается, пока предметом спора не станет одна машинная инструкция или другая небольшая операция, которую смарт-контракт расчетного уровня может проверить напрямую.

Блокчейну расчетного уровня не нужно повторять каждый шаг: он проверяет только обязательства, ходы в споре и последнюю оспариваемую инструкцию.

В официальной документации о современной интерактивной системе споров объясняется, как спор можно свести к доказательству одного шага, проверяемому родительским блокчейном.

Что такое доказательство одного шага?

Доказательство одного шага предоставляет смарт-контракту расчетного уровня достаточно данных для проверки одной оспариваемой инструкции в трассе исполнения роллапа.

В доказательстве указываются состояние виртуальной машины до исполнения инструкции, сама инструкция, необходимые входные данные и заявленное состояние после исполнения.

Смарт-контракт расчетного уровня применяет правила инструкции и рассчитывает корректное следующее состояние.

Если результат совпадает с утверждением оспаривающей стороны, а не предлагающей стороны, первая выигрывает спор.

Проверка одного шага позволяет обеспечить исполнение крупных вычислений вне блокчейна, не заставляя блокчейн расчетного уровня регулярно запускать всю программу роллапа.

Виртуальная машина для проверки доказательства должна быть детерминированной и точно соответствовать правилам консенсуса роллапа.

Что такое неинтерактивное доказательство мошенничества?

Неинтерактивное доказательство мошенничества должно предоставлять все необходимые данные для подтверждения недействительного перехода в одном сообщении или в рамках ограниченного процесса проверки.

Такая конструкция может снизить потребность в многократном обмене сообщениями между предлагающей и оспаривающей сторонами.

При этом доказательство может содержать больше данных или использовать специальный метод для выделения ошибочного вычисления.

Интерактивные системы могут сокращать объем вычислений в блокчейне, сужая область разногласий за несколько раундов, а неинтерактивные — ускорять разрешение споров и уменьшать зависимость от своевременных ответов в ходе спора.

Оптимальная конструкция зависит от сложности вычислений, затрат расчетного уровня, размера доказательства, безопасности реализации и видов сбоев, которые протокол должен обрабатывать.

Доказательство мошенничества и доказательство ошибки

Термины «доказательство мошенничества» и «доказательство ошибки» часто обозначают один и тот же общий механизм разрешения споров в оптимистичных системах.

Исторически чаще использовался термин «доказательство мошенничества», поскольку он описывает доказательства, применяемые для оспаривания недобросовестных действий.

Термин «доказательство ошибки» точнее, поскольку механизм проверяет неверность результата, а не намерения оператора.

Ошибка в выходных данных может быть следствием злонамеренной манипуляции, устаревшего программного обеспечения, неправильной конфигурации, поврежденной базы данных или обычной ошибки программирования.

В современной документации протоколов при описании работающих систем разрешения споров все чаще используется термин «доказательство ошибки».

В официальной документации о системе доказательства ошибки описана модульная архитектура, включающая программу доказательства ошибки, виртуальную машину для проверки и протокол игры в спор.

Доказательство мошенничества и доказательство корректности

Доказательство мошенничества показывает, что отправленный результат неверен, после того как кто-либо его оспорил.

Доказательство корректности показывает, что переход состояния выполнен правильно, до того как расчетный контракт принимает его.

Оптимистичные роллапы обычно публикуют утверждения о состоянии без доказательств корректности и полагаются на период оспаривания.

Роллапы с доказательствами корректности генерируют криптографические доказательства, часто на основе технологии доказательств с нулевым разглашением, для каждой группы вычислений вне блокчейна.

Верификатор доказательств корректности может немедленно отклонить неверную группу транзакций, поскольку злоумышленник не должен иметь возможности создать действительное доказательство недействительного перехода.

В обычном режиме система доказательства мошенничества может требовать меньше вычислительных ресурсов, поскольку при правильности всех утверждений вычислять доказательства для споров не нужно.

Система доказательства корректности может быстрее завершать расчеты после генерации доказательства, однако ей могут требоваться сложная инфраструктура и специализированная криптография.

Ни одна конструкция не является безусловно лучшей: безопасность также зависит от доступности данных, качества реализации, полномочий по управлению, механизмов обновления и расчетного уровня.

Доказательство мошенничества и доказательство с нулевым разглашением

Доказательство с нулевым разглашением позволяет одной стороне доказать истинность утверждения, не раскрывая все использованные для этого закрытые входные данные.

Во многих системах проверки корректности в блокчейне используются краткие доказательства с нулевым разглашением, даже если данные транзакций остаются общедоступными для восстановления состояния.

Доказательство мошенничества обычно применяется в ответ на событие: его создают после того, как предложен неверный результат.

Доказательство корректности с нулевым разглашением обычно применяется заранее: оно сопровождает новое состояние или предоставляется до его принятия.

Доказательства мошенничества зависят от возможности честного участника заметить ошибку и оспорить ее.

Доказательства корректности зависят от криптографической надежности и правильной реализации верификатора.

В будущих архитектурах роллапов могут сочетаться доказательства ошибки, доказательства корректности, аттестации и несколько независимых реализаций, чтобы снизить зависимость от одной системы.

Доказательство мошенничества и доказательство Меркла

Доказательство Меркла показывает, что определенный элемент входит в набор данных, представленный корнем Меркла.

Например, с его помощью можно показать, что баланс аккаунта, транзакция или сообщение о выводе включены в дерево с зафиксированным корнем.

Доказательство мошенничества показывает, что заявленное вычисление или переход состояния недействительны.

Доказательства мошенничества часто включают доказательства Меркла, чтобы смарт-контракт расчетного уровня мог получить лишь небольшие части состояния, необходимые для проверки спорного шага.

Доказательство Меркла может подтвердить включение данных, не доказывая правильность исполнения включенной транзакции.

Таким образом, эти два типа доказательств выполняют разные функции, но часто используются вместе.

Роль доступности данных

Доказательства мошенничества не могут защитить роллап, если участникам, оспаривающим результат, недоступны данные, необходимые для восстановления состояния и выявления ошибочного исполнения.

В противном случае злонамеренный оператор мог бы опубликовать обязательство по состоянию, скрыв лежащие в его основе транзакции.

Независимые валидаторы понимали бы, что не могут повторить вычисления, но могли бы оказаться не в состоянии составить необходимое доказательство конкретной ошибки.

Оптимистичные роллапы решают эту проблему, публикуя сжатые данные транзакций или признанные протоколом обязательства по данным в расчетном уровне.

Роллапы Ethereum могут публиковать данные в обычных данных вызова транзакции или в специальных blob-транзакциях, предназначенных для данных роллапов.

В спецификации EIP-4844 введены транзакции с blob-данными, позволяющие роллапам экономичнее публиковать временные данные, чем в случае бессрочно хранящихся данных выполнения вызова.

Поскольку протокол хранит blob-данные ограниченное время, системам мониторинга необходимо своевременно получать и сохранять информацию, требующуюся в период оспаривания.

Поэтому доступность данных — ключевой компонент безопасности доказательств мошенничества, а не отдельная необязательная функция.

Роль блокчейна расчетного уровня

Блокчейн расчетного уровня хранит обязательства роллапа, принимает транзакции для разрешения споров, управляет обеспечением участников и исполняет итоговую логику проверки.

Он выступает нейтральным арбитром, поскольку его правила консенсуса определяют, какие ходы и доказательства в споре считаются действительными.

Роллап наследует часть безопасности расчетного уровня: финальность, устойчивость к цензуре, исполнение смарт-контрактов и доступность данных.

Если блокчейн расчетного уровня перестанет финализировать блоки, утверждения и выводы средств из роллапа также могут перестать обрабатываться.

Если злоумышленники смогут цензурировать все честные оспаривания в течение всего периода спора, остановить недействительное утверждение может быть сложно.

Поэтому безопасность доказательств мошенничества зависит и от кода роллапа, и от доступности блокчейна расчетного уровня, а также его устойчивости к длительной цензуре.

Роль секвенсора

Секвенсор получает транзакции пользователей, выбирает их порядок, создает блоки роллапа и публикует группы транзакций или обязательства по ним.

Централизованный секвенсор может быстро подтверждать транзакции, но при этом задерживать их, менять порядок или подвергать цензуре.

Доказательства мошенничества защищают от некорректного исполнения, но автоматически не предотвращают все виды цензуры транзакций или вредоносной расстановки порядка.

Секвенсор может опубликовать состояние, соответствующее правилам протокола, и при этом временно исключить транзакцию пользователя.

В роллапах могут быть предусмотрены механизмы принудительного включения, позволяющие отправлять транзакции через расчетный уровень, если секвенсор отказывается их обрабатывать.

Пользователям следует различать корректность исполнения, которую обеспечивают доказательства мошенничества, и справедливость порядка транзакций и непрерывность работы, для которых нужны дополнительные механизмы.

Роль участника, оспаривающего результат

Участник, оспаривающий результат, — это пользователь или автоматизированный сервис, который отслеживает предлагаемые состояния роллапа и оспаривает недействительные утверждения.

Такой участник запускает совместимое программное обеспечение узла и повторяет исполнение роллапа на основе данных расчетного уровня.

Он должен оставаться в сети, учитывать обновления протокола, хранить необходимые исторические данные и отправлять транзакции до истечения установленных сроков.

Для оплаты газа в расчетном уровне и внесения финансового обеспечения участнику может понадобиться криптовалюта.

Современное программное обеспечение для оспаривания может отслеживать споры, защищать действительные предложения, оспаривать недействительные и получать обеспечение после победы.

В официальной документации об участнике, оспаривающем результат, описана работающий сервис, которому нужны синхронизированный узел роллапа и детерминированный поставщик трассы исполнения.

Открытое участие наиболее значимо, когда технически независимые стороны могут запускать такие сервисы без разрешения центральной организации.

Зачем нужно финансовое обеспечение?

Финансовое обеспечение — это криптовалюта, которую участник блокирует, когда предлагает утверждение или выполняет определенные действия в споре.

Обеспечение мешает злоумышленникам без ограничений выдвигать ложные утверждения или заставлять честных валидаторов тратить ресурсы без финансовых последствий.

Участник, поддержавший неверное утверждение, может потерять часть или все связанное с ним обеспечение.

Победивший участник, оспаривавший результат, может вернуть обеспечение и, в зависимости от протокола, получить вознаграждение.

Размер обеспечения должен быть достаточным для предотвращения злоупотреблений, но не настолько большим, чтобы участвовать могли только состоятельные организации.

Чрезмерно высокое обеспечение может сделать теоретически открытый для всех механизм доказательства мошенничества фактически недоступным.

Слишком низкое обеспечение может поощрять спам, намеренное создание проблем и атаки с задержкой.

При выборе размера обеспечения следует учитывать комиссии расчетного уровня, волатильность актива, продолжительность спора, альтернативную стоимость капитала и стоимость активов под риском.

Открытые и ограниченные доказательства мошенничества

Система с открытым участием позволяет любому пользователю, соответствующему публичным техническим и экономическим требованиям, предлагать или оспаривать утверждение о состоянии.

Система с ограниченным участием допускает к выдвижению утверждений, их оспариванию или обоим действиям только одобренные адреса или организации.

Проверка участниками с разрешением может уменьшить спам и операционную неопределенность на раннем этапе разработки.

Однако она создает дополнительные допущения в отношении доверия: пользователям приходится рассчитывать, что одобренные валидаторы будут честными, доступными и независимыми.

Системы с открытым участием обеспечивают большую доступность, но требуют надежной защиты от намеренного создания проблем, атак с задержкой, манипуляций с обеспечением и уязвимостей программного обеспечения.

Сеть может разрешать всем участвовать в играх по разрешению споров и при этом сохранять чрезвычайный совет или полномочия на обновление, позволяющие приостановить или заменить отдельные компоненты системы.

Пользователям следует изучать всю модель безопасности, а не считать, что открытая процедура оспаривания устраняет любые административные полномочия.

Современное развитие доказательств мошенничества

По состоянию на июль 2026 года работающие системы доказательства ошибки продолжают развиваться: появляются новые клиенты, обновленные виртуальные машины, улучшенные протоколы разрешения споров и более широкое открытое участие.

В официальной документации OP Stack описаны открытые оспаривания и переход в 2026 году на новый клиент для доказательства ошибки. Это показывает, что операторы таких сервисов должны использовать актуальное программное обеспечение и правильные абсолютные исходные состояния.

В официальном уведомлении о миграции клиента для доказательства ошибки в 2026 году объясняется, что поддержка старого ПО для создания доказательств завершилась и операторам сетей нужно перейти на заменяющую реализацию.

Согласно официальной документации Arbitrum, BoLD — это ограниченная по времени система разрешения споров, поддерживающая открытое участие в проверке и ограничивающая возможность злоумышленников бесконечно затягивать споры.

В обзоре BoLD за 2026 год объясняется, как интерактивные доказательства мошенничества позволяют проводить открытые оспаривания и одновременно ограничивать продолжительность спора.

Эти разработки показывают, что доказательства мошенничества — это действующие системы безопасности, используемые в производственной среде, а не только теоретические идеи для блокчейна.

Они также показывают, что системам доказательств нужны постоянные аудиты, обслуживание клиентов, координация обновлений, мониторинг и реагирование на инциденты.

Доказательства мошенничества и обновления программного обеспечения

Программа доказательства ошибки должна исполнять те же правила консенсуса, что и версия роллапа, состояние которой оспаривается.

Обновление протокола может менять исполнение транзакций, стоимость газа, предварительно скомпилированные контракты, правила блоков, системные контракты или интерпретацию данных.

Участник, оспаривающий результат и использующий устаревший набор правил, может ошибочно признать действительное утверждение недействительным или не оспорить действительно недействительное.

В системах доказательства часто используется абсолютное исходное состояние (prestate), которое фиксирует начальные условия виртуальной машины для проверки.

Изменение программы доказательства или правил консенсуса может потребовать нового исходного состояния и обновленных ончейн-контрактов.

Операторам необходимо тщательно координировать обновления, чтобы старые и новые споры разрешались по правильным правилам.

Эта сложность — одна из причин, по которым несколько независимых реализаций системы доказательств считаются важными для долгосрочной безопасности.

Что такое атака с задержкой?

Атака с задержкой направлена на затягивание разрешения спора или блокирование финализации действительного состояния без успешного доказательства недействительности.

Злоумышленник может создавать противоречивые утверждения, вынуждать участников проходить новые раунды оспаривания, использовать временные ограничения или блокировать капитал честных участников.

Старые интерактивные конструкции могли позволять злоумышленникам запускать последовательные споры и неоднократно продлевать задержку вывода средств.

Системы споров с ограничением по времени призваны обеспечить предсказуемый максимальный срок разрешения даже множества злонамеренных утверждений.

Финансовое обеспечение делает атаки с задержкой затратными, но не отменяет необходимости в корректных правилах сроков и игры.

Система должна обеспечивать безопасность, то есть не допускать финализации недействительных утверждений, и одновременно сохранять работоспособность — действительные утверждения должны в итоге финализироваться.

Безопасность и работоспособность

Безопасность означает, что система доказательств мошенничества не принимает недействительное состояние и не допускает несанкционированного вывода.

Работоспособность означает, что честные транзакции, утверждения о состоянии и выводы средств со временем доходят до завершения.

Система может сохранять безопасность, приостанавливая все выводы при неопределенности, но это ухудшает ее работоспособность.

Система может повышать работоспособность за счет быстрого подтверждения утверждений, но слишком короткий период оспаривания способен ослабить безопасность.

Эти две задачи уравновешиваются чрезвычайными полномочиями, тайм-аутами споров, обеспечением, периодами оспаривания и правилами допуска участников.

При оценке роллапа пользователям следует выяснить не только то, могут ли средства украсть, но и то, могут ли средства надолго стать недоступными.

Основные допущения безопасности системы доказательств мошенничества

Для обеспечения безопасности роллап с доказательствами мошенничества обычно предполагает, что хотя бы один честный участник сможет восстановить состояние и оспорить недействительные утверждения.

Данные транзакций должны оставаться доступными достаточно долго, чтобы этот участник мог провести проверку.

Блокчейн расчетного уровня должен продолжать обрабатывать транзакции и не подвергать цензуре все честные оспаривания в течение всего периода спора.

Функция перехода состояния роллапа и виртуальная машина для проверки доказательств должны правильно реализовывать предполагаемые правила.

Ончейн-контракты для разрешения споров должны корректно проверять ходы, сроки, обеспечение, обязательства и итоговые доказательства.

Честные участники, оспаривающие результаты, должны использовать актуальное программное обеспечение, располагать достаточными вычислительными ресурсами и надежными источниками данных, а также иметь средства для оплаты газа и обеспечения.

Ключи обновления, хранители, советы безопасности и контракты управления не должны злоупотреблять полномочиями, позволяющими обходить или заменять систему доказательств.

Может ли один честный участник защитить всех?

Теоретически один честный участник может помешать финализации недействительного утверждения о состоянии, если протокол открыт для всех и соблюдены все необходимые предпосылки.

Ему не нужна поддержка большинства пользователей роллапа, поскольку спор разрешается смарт-контрактом расчетного уровня по объективным правилам исполнения.

Однако честный участник должен обнаружить ошибку, располагать необходимыми данными, оставаться онлайн, иметь возможность оплатить участие и не подвергаться цензуре.

Система, которой технически достаточно одного участника, будет надежнее, если в ней участвуют несколько независимых проверяющих с разной инфраструктурой и программными реализациями.

Разнообразие снижает риск того, что одна ошибка, сбой, правовое ограничение или неисправность облачного сервиса одновременно отключит всех наблюдателей.

Могут ли доказательства мошенничества остановить любую атаку на роллап?

Доказательства мошенничества могут отклонить недействительные переходы состояния, но не решают все проблемы безопасности роллапа.

Они автоматически не предотвращают цензуру со стороны секвенсора, кражу пользовательских ключей, атаки на смарт-контракты приложений, фишинг, манипуляции оракулами или атаки на управление.

Они могут не защитить пользователей, если данные хранятся вне расчетного уровня и для их доступности установлены более слабые требования.

Они также не помогут, если в самой системе доказательств есть серьезная общая ошибка, из-за которой честные и нечестные участники получают одинаковый неверный результат.

Безопасный роллап требует не только доказательств мошенничества, но и надежной доступности данных, аудированных контрактов моста, безопасных процедур обновления, надежных узлов и прозрачного управления.

Доказательства мошенничества в Plasma

В системах Plasma родительский блокчейн используется для разрешения споров об активности в отдельной дочерней сети.

Пользователи могут отправить доказательство мошенничества, если оператор пытается финализировать недействительную транзакцию или состояние.

В традиционных системах Plasma значительная часть данных о транзакциях обычно хранится вне родительского блокчейна.

Это создает проблему сокрытия данных: если оператор отказывается предоставлять нужную информацию, пользователи могут не суметь составить доказательство мошенничества.

В документации Ethereum о Plasma объясняется, что роллапы улучшают эту модель безопасности, публикуя данные транзакций в расчетном уровне.

Доказательства мошенничества используются и в Plasma, и в оптимистичных роллапах, однако гарантии доступности данных в этих системах различаются.

Доказательства мошенничества в каналах состояния

Каналы состояния позволяют определенной группе участников обмениваться подписанными обновлениями состояния вне блокчейна.

Обычно участники используют блокчейн только для открытия канала, фиксации итогового состояния или разрешения спора.

Недобросовестный участник может попытаться закрыть канал с использованием устаревшего состояния, которое обеспечивает ему более выгодный баланс.

Честный участник может ответить в течение периода разрешения спора, предъявив более новое, корректно подписанное состояние.

Такие данные выполняют функцию доказательства мошенничества, поскольку показывают, что попытка расчета основана на устаревшем или недействительном состоянии.

В руководстве Ethereum по каналам состояния объясняется, как разрешение споров защищает пользователей при отправке недействительного или устаревшего состояния.

Как доказательства мошенничества влияют на пользователей криптовалют

Большинство пользователей роллапов не отправляют доказательства мошенничества лично, поскольку специализированные валидаторы и службы мониторинга постоянно проверяют данные.

Тем не менее пользователи зависят от этого механизма, когда хранят активы, работают с приложениями или выводят средства через канонический мост оптимистичного роллапа.

Транзакция может быстро получить подтверждение в роллапе, хотя ее финализация в расчетном уровне еще не завершена.

Успешное оспаривание может отменить результаты, которые еще не финализированы и основаны на недействительном утверждении о состоянии.

Кошельки и приложения должны различать подтверждение секвенсора, подтверждение в расчетном уровне и завершенную финализацию вывода.

Пользователям также следует выяснять, активна ли система доказательств мошенничества в сети, открыта ли она для всех, допускает ли обновление и предусмотрены ли чрезвычайные административные полномочия.

Как разработчикам проектировать систему с доказательствами мошенничества

Разработчики роллапа должны обеспечить возможность детерминированно воспроизвести в среде проверки каждую операцию, значимую для консенсуса.

Следует избегать зависимостей от локального времени, случайного поведения операционной системы, недокументированных внешних сервисов или результатов, зависящих от конкретного оборудования.

Код доказательств, код узлов и контракты проверки в блокчейне должны одинаково трактовать семантику инструкций и форматы данных.

Разработчикам следует тестировать неверные выходные данные, задержку ответов, противоречивые утверждения, отсутствие данных, исчерпание обеспечения и обновления протокола.

Необходимо предоставить четкие инструкции по запуску участников, оспаривающих результаты, и проверке требуемых исходных состояний и адресов контрактов.

Аудиты безопасности должны охватывать как обычный процесс исполнения роллапа, так и редкий процесс разрешения споров.

Система разрешения споров, которую никогда не испытывали в реалистичных условиях противодействия злоумышленникам, может не сработать, когда она понадобится.

Как оценить систему доказательств мошенничества

Сначала убедитесь, что в сети уже действует система доказательств мошенничества, а не только опубликована дорожная карта или план ее внедрения.

Проверьте, может ли оспаривание отправить любой участник или участие контролируется списком разрешенных адресов.

Выясните продолжительность периода оспаривания и задержки вывода, требования к обеспечению, сроки разрешения спора и ожидаемое максимальное время его обработки.

Определите, где публикуются данные транзакций и могут ли пользователи самостоятельно восстановить состояние роллапа.

Проверьте, могут ли чрезвычайные хранители, советы безопасности, администраторы или контракты управления отменять финализированные результаты.

Ищите сведения о нескольких независимых операторах проверки, публичном ПО узлов, воспроизводимых сборках, аудитах, раскрытии уязвимостей и программах поиска ошибок.

Уточните, как система доказательств обрабатывает обновления протокола и споры, начавшиеся при использовании предыдущей версии ПО.

В качественном описании безопасности должны быть раскрыты ограничения и допущения, связанные с доверием, а не только утверждаться, что роллап наследует всю безопасность базового уровня.

Распространенные заблуждения о доказательствах мошенничества

Одно из распространенных заблуждений состоит в том, что каждую транзакцию роллапа сопровождает доказательство мошенничества.

Обычно такие доказательства создаются только тогда, когда участник оспаривает спорный результат.

Другое заблуждение — считать, что доказательство мошенничества устанавливает преступный или недобросовестный умысел.

Механизм доказывает неверность вычисления или утверждения, тогда как наличие юридически значимого умысла — отдельный вопрос.

Некоторые пользователи считают, что недельная задержка вывода означает, будто сама транзакция в роллапе исполняется неделю.

Транзакция в роллапе может исполниться за несколько секунд, а более длительный период относится к расчетам и безопасности канонического вывода.

Еще одна ошибка — предполагать, что открытая для всех система доказательств мошенничества устраняет любой централизованный контроль.

В роллапе могут разрешаться открытые оспаривания, но при этом сохраняться централизованное упорядочивание транзакций, ключи обновления, полномочия хранителей или право приостановить работу в чрезвычайной ситуации.

Риски, связанные с доказательствами мошенничества

Риск реализации возникает, если в программе доказательств, виртуальной машине или смарт-контрактах есть ошибки.

Риск недоступности данных возникает, когда участники, оспаривающие результат, не могут получить информацию, необходимую для восстановления состояния.

Риск цензуры возникает, когда честная транзакция с доказательством мошенничества не может попасть в блокчейн расчетного уровня до истечения срока.

Риск снижения работоспособности возникает, когда злонамеренные утверждения или сбои программного обеспечения задерживают действительные выводы.

Экономический риск возникает, если комиссии за газ или требования к обеспечению делают оспаривание слишком дорогим.

Риск обновления возникает, когда узлы, программы доказательств, контракты и исходные состояния используют разные версии протокола.

Риск управления возникает, если привилегированные стороны могут приостанавливать, заменять или обходить систему разрешения споров.

Операционный риск возникает, если все участники, оспаривающие результаты, зависят от одного поставщика облачной инфраструктуры, кодовой базы, базы данных или службы мониторинга.

Часто задаваемые вопросы

Что такое доказательство мошенничества простыми словами?

Это данные, показывающие, что предложенный результат в блокчейне или роллапе рассчитан неверно.

Зачем в криптовалютной индустрии используют доказательства мошенничества?

Они позволяют масштабировать блокчейн за счет вычислений вне блокчейна и дают независимым участникам возможность отклонять недействительные результаты.

Чем доказательство мошенничества отличается от доказательства ошибки?

Обычно эти термины обозначают один и тот же механизм, но термин «доказательство ошибки» не подразумевает, что каждый неверный результат был намеренно сфальсифицирован.

В каких криптовалютных системах используются доказательства мошенничества?

В основном они используются в оптимистичных роллапах, хотя похожие механизмы разрешения споров встречаются также в системах Plasma и каналах состояния.

Создается ли доказательство мошенничества для каждой транзакции оптимистичного роллапа?

Нет, обычно доказательство создается только тогда, когда участник оспаривает неверное утверждение о состоянии.

Кто может отправить доказательство мошенничества?

В полностью открытой системе его может отправить любой участник, а в системе с ограниченным доступом оспаривать результат разрешено только одобренным участникам.

Кто такой участник, оспаривающий результат?

Это участник или автоматизированный сервис, который проверяет утверждения о состоянии роллапа и оспаривает те из них, которые не соответствуют правилам протокола.

Что такое период оспаривания?

Это срок, в течение которого предложенное оптимистичное состояние можно оспорить до его финализации.

Сколько длится период оспаривания?

Продолжительность зависит от протокола, однако в работающих оптимистичных роллапах часто используются периоды, близкие к одной неделе.

Почему вывод из оптимистичного роллапа занимает несколько дней?

Такая задержка дает участникам время остановить выводы, основанные на недействительных или сфабрикованных состояниях роллапа.

Может ли доказательство мошенничества отменить транзакцию?

Согласно правилам оспаривания и восстановления конкретного роллапа, оно может аннулировать еще не финализированное утверждение о состоянии и основанные на нем результаты.

Что такое интерактивное доказательство мошенничества?

Оно использует несколько раундов спора, чтобы сузить область длительного вычисления до одного небольшого шага, который можно проверить в блокчейне.

Что такое бисекция при создании доказательства мошенничества?

Это последовательное деление трассы исполнения, позволяющее спорящим сторонам определить первое место, в котором их результаты расходятся.

Что такое доказательство одного шага?

Оно позволяет смарт-контракту расчетного уровня проверить одну оспариваемую инструкцию виртуальной машины и определить, кто из участников выполнил вычисление правильно.

Что такое корень выходных данных?

Это криптографическое обязательство, представляющее состояние роллапа и связанные с ним сведения на определенном блоке.

Что означает предположение об одном честном участнике?

Это допущение, что хотя бы один компетентный участник обнаружит и оспорит недействительное состояние до истечения срока.

Нужно ли системе доказательств мошенничества много валидаторов?

Теоретически может быть достаточно одного честного участника, оспаривающего результат, но несколько независимых участников обеспечивают более высокую операционную устойчивость.

Зачем нужна доступность данных?

Участникам, оспаривающим результат, нужны данные транзакций, чтобы восстановить состояние роллапа и точно определить, где произошел неверный переход.

Могут ли доказательства мошенничества работать, если данные транзакций скрыты?

Они могут не сработать, если для повторного исполнения нужны скрытые данные, а протокол не предоставляет отдельного доказательства их доступности.

Чем доказательство мошенничества отличается от доказательства корректности?

Доказательство мошенничества показывает, что результат неверен, после оспаривания, а доказательство корректности подтверждает его правильность до принятия.

Является ли доказательство мошенничества доказательством с нулевым разглашением?

Нет, обычно это оптимистичный механизм разрешения споров, хотя в современных системах доказательства ошибки могут сочетаться с технологией нулевого разглашения.

Одно ли и то же доказательство Меркла и доказательство мошенничества?

Нет. Доказательство Меркла подтверждает включение данных в зафиксированный набор, а доказательство мошенничества показывает, что вычисление или переход состояния неверны.

Что происходит после успешного оспаривания?

Недействительное утверждение отклоняется, правильное состояние сохраняется, а проигравший участник может лишиться обеспечения.

Что происходит, если оспаривание не удалось?

Оспариваемое утверждение может продолжить путь к финализации, а неудачный участник, подавший оспаривание, может потерять часть заблокированных средств.

Зачем требуется обеспечение?

Обеспечение препятствует ложным утверждениям, спаму и ненужным спорам, делая недобросовестное или небрежное участие затратным.

Могут ли доказательства мошенничества остановить цензуру секвенсора?

Нет, они проверяют корректность исполнения, а для устойчивости к цензуре обычно нужны механизмы принудительного включения и другие функции протокола.

Могут ли доказательства мошенничества предотвратить взлом смарт-контракта?

Нет, транзакция, которая выполнена по правилам перехода состояния роллапа, все равно может быть вредоносной или затрагивать уязвимое приложение.

Может ли в контракте для доказательств мошенничества быть ошибка?

Да, уязвимости реализации могут присутствовать в программах доказательств, виртуальных машинах, контрактах разрешения споров и программном обеспечении участников, оспаривающих результаты.

Что такое атака с задержкой?

Это попытка затянуть разрешение спора или заблокировать финализацию действительного результата, не доказав, что состояние неверно.

Что такое спор с ограничением по времени?

Это спор, который должен завершиться в пределах предсказуемого максимального срока, даже если отправлено много злонамеренных утверждений.

Все ли системы доказательств мошенничества открыты для участия?

Нет, некоторые сети ограничивают круг валидаторов или участников, оспаривающих результаты, а другие допускают публичное участие при соблюдении технических требований и условий по обеспечению.

Могут ли в открытой для участия системе доказательств мошенничества оставаться администраторы?

Да, важные полномочия могут сохраняться у чрезвычайных хранителей, органов, отвечающих за обновления, структур управления или советов безопасности.

Нужно ли пользователям запускать программное обеспечение для оспаривания?

Обычные пользователи, как правило, полагаются на независимых валидаторов, хотя запуск собственного ПО для проверки может уменьшить зависимость от других участников.

Что следует проверить перед использованием оптимистичного роллапа?

Пользователям следует выяснить, действует ли система доказательств мошенничества, кто может оспаривать результаты, где хранятся данные, сколько занимает вывод и кто обладает чрезвычайными полномочиями.

Заключение

Доказательство мошенничества — это механизм разрешения споров, показывающий, что группа транзакций криптовалюты, переход состояния, корень выходных данных или утверждение о выводе средств рассчитаны неверно.

Это один из ключевых компонентов безопасности оптимистичных роллапов, поскольку они временно принимают результаты вычислений вне блокчейна, не требуя немедленного доказательства корректности.

Независимые участники повторяют исполнение и оспаривают неверные утверждения в течение установленного периода.

Интерактивные игры по разрешению споров могут сузить область разногласий в миллионах шагов вычисления до одной инструкции, которую блокчейн расчетного уровня проверяет напрямую.

Доступность данных имеет решающее значение: участники не смогут доказать ошибку, если у них нет доступа к транзакциям, лежащим в основе обязательства по состоянию.

Финансовое обеспечение препятствует ложным оспариваниям и помогает компенсировать часть расходов на защиту системы.

Открытые для всех доказательства мошенничества снижают зависимость от одобренных валидаторов, но не устраняют все допущения, связанные с управлением, обновлениями, упорядочиванием транзакций и эксплуатацией системы.

Доказательства мошенничества отличаются от доказательств корректности: первые отклоняют неверный результат после оспаривания, а вторые подтверждают правильность каждого результата до его принятия.

В 2026 году работающие системы доказательства ошибки продолжают развиваться благодаря обновлению клиентов, протоколам разрешения споров с ограничением по времени и расширению открытого участия.

Понимание принципов работы доказательств мошенничества помогает пользователям оценивать безопасность роллапов, задержки вывода, доступность данных, предположения об участниках, оспаривающих результаты, и реальные ограничения оптимистичного масштабирования блокчейна.