Доказательство ошибки позволяет системе проверки блокчейна оспорить неверное утверждение о вычислении или переходе состояния. Оптимистические роллапы используют такие споры для отклонения неверных результатов, поданных в базовую сеть. Также применяется название fault proof: устанавливается ошибка, не обязательно умышленное мошенничество человека.
От утверждения к спору
Предлагающая сторона публикует обязательство, фиксирующее итоговое состояние роллапа. Проверяющие восстанавливают исполнение по доступным данным и оспаривают ошибку в установленный срок. Некоторые системы интерактивно сужают разногласие до небольшой вычислительной операции, которую проверяет контракт базовой сети.
Успешное оспаривание препятствует принятию результата по правилам протокола. Залоги и штрафы зависят от реализации. Доказательство включения вывода в роллап — не то же самое, что доказательство ошибки в утверждении о состоянии.
Безопасность всей системы
Доказательство корректности подтверждает правильное вычисление для принятия результата. Оптимистический подход вместо этого оставляет возможность оспорить ошибку, поэтому нужны доступные данные и проверяющие, способные ответить вовремя.
Сроки споров, права участия, обновления и аварийные полномочия различаются. Наличие fraud proofs не устраняет автоматически цензуру, ошибки контрактов или зависимость от администраторов и не гарантирует мгновенного вывода.