Защита с помощью доказательств мошенничества
Поскольку провизионные роллапы AltLayer оптимистичны по своей природе, их безопасность обеспечивается основными чейном с помощью доказательств мошенничества. AltLayer использует протокол биссекции, чтобы уменьшить зону конфликта до одной инструкции VM. После определения конкретной команды, по которой возникло противоречие, система переходит к повторному выполнению этой команды с соответствующим состоянием.
В данном разделе представлено разрешение споров на чейне с помощью биссекции. Биссекция сама по себе является интерактивным внечейновым протоколом между инициатором, утверждающим, что набор транзакций и последующие изменения состояния являются достоверными, и оспаривателем, утверждающим обратное. Конечным результатом протокола биссекции является транзакция и команда в этой транзакции, которая, по мнению оппонента, была выполнена неверно. Протокол работает следующим образом:
Оспариватель решает оспорить одно или несколько свойств финализируемого пакета, например, неправильный хэш перехода состояния, неправильный хэш корня транзакции;
Для каждого из оспариваемых параметров жюри уведомляется о спорной ситуации между инициатором и оспаривателем с помощью метода биссекции;
Оспариватель оспаривает любой корневой хэш Меркла, утверждаемый инициатором;
Претендент выдает два хэша, используемых для генерации корневого хэша Меркла, каждый из которых соответствует половине переходов между состояниями;
Оспариватель выбирает одну из двух сторон для спора, в результате чего инициатор выдает два хэша, используемых для генерации спорного хэша. И так продолжается до тех пор, пока спор не перейдет на хэш листовй ноды дерева Меркла;
Заметим, что эта листовая нода является предметом спора между оспаривателем и инициатором.
Last updated