Инженерия Неприятного Пути: Понимание Архитектуры BitVM2 Часть Вторая: Практические Препятствия BitVM2 BitVM2 — это мощная мостовая структура, но «работает в теории» не является критерием для Bitcoin. Критерий заключается в том, является ли неприятный путь дешевым, однозначным и совместимым с интересами. В развертывании BitVM2 в стиле zkRollup быстро проявляются три практических препятствия: 1. Доказательство неправильного состояния Во время оспариваемого вывода оператор может попытаться использовать действительное доказательство по неправильной/разветвленной истории L2. Если «последнее состояние» не определяется объективно, доказательство может быть внутренне правильным, но экономически мошенническим. 2. Пользователи не могут выводить произвольные суммы Классические выводы BitVM2 привязаны к фиксированным суммам ввода L1 и потокам операторов. От конечных пользователей нельзя ожидать, что они будут выполнять рабочий процесс оператора только для того, чтобы вывести «x BTC». 3. Стимулы не всегда вознаграждают честного участника Если оспариватели не получают вознаграждение последовательно, они прекращают наблюдение. Один конкретный режим сбоя: сущность, которая финансирует/инициирует оспаривание, не обязательно является той сущностью, которая выполняет финальный шаг опровержения, поэтому вознаграждения могут быть захвачены другими. Дизайн GOAT BitVM2 нацелен на эти проблемы напрямую с помощью трех архитектурных шагов: • Зафиксировать набор последовательностей на Bitcoin, чтобы «каноническое состояние L2» было внешне закреплено. • Переместить залог оператора/оспаривателя на L2 + использовать поток вывода атомарного свопа, чтобы пользователи могли чисто выводить произвольные суммы, в то время как операторы возмещают себе через доказательства L2. • Снизить накладные расходы на споры с помощью запутанных цепей + DV-SNARK, чтобы путь оспаривания был операционно осуществим. В следующей части Третьей: что значит закрепить канонический взгляд L2 на Bitcoin, зафиксировав набор последовательностей, и почему это закрывает выход «доказать неправильное состояние».