Інженерія «Нещасливий шлях»: розуміння архітектури BitVM2 Частина друга: Практичні блокувальники BitVM2 BitVM2 — це сильний фреймворк для мостів, але «працює в теорії» не є попередженням для Bitcoin. Бар'єр полягає в тому, чи є нещасливий шлях дешевим, однозначним і сумісним із стимулами. У розгортанні BitVM2 у стилі zkRollup швидко з'являються три практичні блокувальники: 1. Доведення неправильного штату Під час оскаржуваного виходу оператор може спробувати використати дійсне доведення на основі некоректної/розгалуженої історії L2. Якщо «останній стан» не визначений об'єктивно, докази можуть бути внутрішньо коректними, але економічно шахрайськими. 2. Користувачі не можуть знімати довільні суми Класичні peg-out-і BitVM2 пов'язані з фіксованими кількістю peg-in L1 та операторськими потоками. Від кінцевих користувачів не можна очікувати, що вони запускатимуть робочий процес оператора лише для того, щоб вивести «x BTC». 3. Стимули не гарантують надійної оплати чесному актору Якщо претенденти не отримують постійну оплату, вони перестають дивитися. Один конкретний спосіб невдачі: суб'єкт, який фінансує або ініціює виклик, не обов'язково є тією, що виконує фінальний крок спростування, тому винагороди можуть отримувати інші. Дизайн GOAT BitVM2 безпосередньо спрямований на ці напрямки з трьома архітектурними змінами: • Зафіксувати секвенсорний набір на Bitcoin так, щоб «canonical L2 state» був зовнішньо закріплений. • Перемістити заставу оператора/челленджера на L2 + використовувати атомарний своп потік зняття, щоб користувачі чисто знімали довільні суми, а оператори компенсували собі через L2-докази. • Зменшити накладні витрати на суперечки через спотворені схеми + DV-SNARK, щоб шлях оскарження був оперативно здійсненним. Далі в Частині третій: що означає закріпити канонічне L2-бачення на Біткоїні, зафіксувавши сет секвенсорів, і чому це закриває вихід «довести неправильний стан».