Инженерия Неприятного Пути: Понимание Архитектуры BitVM2 Часть Первая: Безопасность Живет в Пути Спора Bitcoin L2 живет или умирает на своем неприятном пути. В Bitcoin вы не получаете "запустите проверяющий на цепочке и двигайтесь дальше". Вы получаете ограниченную среду выполнения, заранее подписанные графы транзакций и временные блокировки, которые точно определяют, когда каждая сторона может действовать. BitVM2 — это оптимистичный паттерн принуждения для Bitcoin: выполняйте вне цепочки, затем сделайте корректность принудительной через протокол спора на цепочке, построенный на заранее подписанных транзакциях. Это приводит к простому инженерному правилу: если споры дорогие или могут быть остановлены из-за сборов, модель безопасности просто не работает. Системы на основе BitVM работают, позволяя операторам выполнять действия вне цепочки, а затем предоставляя любому возможность оспорить на цепочке и принудить протокол к пути спора при предположении о честности 1 из n (по крайней мере один честный оспорщик для действительности; по крайней мере один честный оператор для жизнеспособности). Этот путь спора — это механизм. Заранее подписанные транзакции и одноразовые подписи (окна оспаривания, сроки ответов, финализация) являются "временем выполнения" моста и его выходов. Поэтому, когда мы говорим о строительстве на BitVM2, северная звезда — это не маркетинговые термины, такие как "без доверия". Северная звезда: • споры, которые достаточно дешевы для выполнения, • контекст цепочки, который достаточно объективен, чтобы предотвратить "доказательство неправильного состояния" выходы • потоки транзакций, которые продолжают прогрессировать при реальных условиях сборов. Эта серия разбирает, как мы подошли к этим ограничениям в дизайне GOAT BitVM2, по одному элементу за раз. В следующей части: практические препятствия для развертывания готового к производству zkRollup на Bitcoin.