Инженерия Неприятного Пути: Понимание Архитектуры BitVM2 Часть Третья: Каноническое Состояние Требует Контекста Цепочки Доказательство вывода BitVM2 столь же хорошее, как и состояние, которое оно доказывает. Если оператор может выбрать публичные входные данные во время спора, он может сгенерировать действительное доказательство по неправильной/разветвленной истории L2 и все равно попытаться выйти. Криптография проверяется; контекст неверен. Решение GOAT Network заключается в том, чтобы зафиксировать, какая история L2 является канонической, путем закрепления активного набора секвенсеров на Bitcoin. Как это работает (концептуально): • L2 управляет децентрализованной сетью секвенсеров, и публичные ключи секвенсеров (или обязательство к ним) закреплены на Bitcoin. • Обновления набора секвенсеров выполняются через поток предварительно подписанных транзакций, где обновление действительно только в том случае, если одобрено достаточным порогом (например, 2/3) текущего набора. • Поток обновления фиксирует хэш набора секвенсеров следующего раунда на Bitcoin (включая обязательство OP_RETURN для упрощенной проверки). Затем, во время проверки вывода, система не "доверяет последнему состоянию оператора". Она заставляет оператора доказать, что: • соответствующие транзакции обновления набора секвенсеров подтверждены на самой длинной действительной цепочке Bitcoin (контекст цепочки), и • состояние L2, на которое ссылаются, выведено из этого наиболее недавно зафиксированного набора секвенсеров (каноничность), и • сжигание активов включено в это каноническое состояние L2. ‘Сторожевые башни’ существуют специально для предоставления и подтверждения контекста цепочки Bitcoin, используемого в вызовах (заголовки/доказательства самой длинной цепочки), чтобы споры могли связывать "последнее" с реальностью Bitcoin, а не выбором оператора. Чистый эффект: оператор не может безопасно выйти, используя доказательство по частной разветвленной цепочке, потому что доказательство должно быть согласовано с историей набора секвенсеров, закрепленной на Bitcoin. Скоро: произвольные выводы пользователей - отделение потока "вывести x BTC" пользователя от потока доказательства возмещения оператора.