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

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

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

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

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

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