Інженерія «Нещасливий шлях»: розуміння архітектури BitVM2 Частина третя: Канонічний стан вимагає контексту ланцюга Доказ peg-out BitVM2 важливий лише настільки, наскільки хорош стан, який він доводить. Якщо оператор може обрати публічні вхідні дані під час спору, він може згенерувати дійсне доведення на основі неправильної/розгалуженої історії L2 і все одно спробувати вийти. Криптографія підтверджується; Контекст неправильний. Виправлення мережі GOAT полягає в тому, щоб закріпити, яку історію L2 є канонічною, зафіксувавши активний набір секвенсорів на Bitcoin. Як це працює (концептуально): • L2 керує децентралізованою мережею секвенсорів, а публічні ключі секвенсорів (або їхнє зобов'язання) прив'язані до Bitcoin. • Оновлення набору секвенсорів виконуються через попередньо підписаний транзакційний потік, де оновлення дійсне лише за умови затвердження на достатній поріг (наприклад, 2/3) поточного набору. • Оновлення фіксує хеш секвенсора наступного раунду на Bitcoin (включаючи OP_RETURN зобов'язання для полегшення верифікації). Потім, під час перевірки peg-out, система не «довіряє останньому стану оператора». Він змушує оператора довести, що: • транзакції оновлення відповідного секвенсорного набору підтверджуються на найдовшому дійсному ланцюжку Bitcoin (контекст ланцюга), та • L2-стан, на який посилається, походить із найновішого зафіксованого набору секвенсорів (канонічність), і • спалювання активів включено до цього канонічного стану L2. «Сторожові вежі» існують спеціально для того, щоб надавати та засвідчити контекст ланцюга Біткоїна, який використовується у викликах (найдовші ланцюжкові заголовки/докази), тому суперечки можуть пов'язувати «останнє» з реальністю Біткоїна, а не з вибором оператора. Сумарний ефект: оператор не може безпечно вийти, використавши доказ через приватний форк, оскільки доказ має бути узгодженим з історією секвенсорного набору, закріпленою на Bitcoin. Далі: довільні виведення коштів користувача — відокремлення потоку «withdraw x BTC» користувача від потоку підтвердження відшкодування оператора.