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

Доказательство мошенничества (fraud proof) — это технический механизм, применяемый в оптимистичных роллапах (Optimistic Rollup, OR), который вместе с залогом (bond) помогает поддерживать честность децентрализованной системы. Тот, кто публикует результаты в основной сети, блокирует депозит, и действительное доказательство мошенничества, показывающее, что эти результаты неверны, может лишить его этого депозита.

Почему это важно

Оптимистичный роллап — это сеть Layer 2, которая обрабатывает транзакции вне основной сети, например Ethereum, а затем публикует результаты обратно в неё. Его называют «оптимистичным», потому что результаты по умолчанию считаются верными, а не доказываются заранее. В течение периода оспаривания любой, кто повторно выполнит транзакции и найдёт ошибку, может представить доказательство мошенничества. Если доказательство подтверждается, неверный результат отбрасывается, а нечестная сторона теряет свой залог. Таким образом, для выявления мошенничества достаточно одного честного наблюдателя, и основной сети не нужно заново выполнять каждую транзакцию. Период оспаривания — также причина, по которой вывод средств из оптимистичного роллапа через его собственный мост обычно занимает несколько дней. Роллапы с нулевым разглашением (zero-knowledge rollups) работают иначе: они публикуют доказательство корректности (validity proof) вместе с каждым пакетом.

Пример

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

Связанные термины

• Второй уровень (Layer 2)
• Доказательство с нулевым разглашением (Zero-Knowledge Proof)
• Первый уровень (Layer 1)