Інженерія «Нещасливий шлях»: розуміння архітектури BitVM2 Частина четверта: Зняття як користувацький потік Зняття — це те місце, де стандартний дизайн стає орієнтованим на оператора: фіксовані UTXO з прикріпленням, попередньо підписані графіки та таймлоки проникають у користувацький досвід. Ось чому GOAT BitVM2 розділяє «user отримує BTC» від «operator отримує компенсацію». 1) Виведення користувача = атомарний своп (проста, довільна сума) Зняття визначається як Atomic Swap + Peg-Out. У базовому потоці: • Користувач блокує PegBTC на L2 у HTLC (хеш-блокований). • Оператор фіксує BTC на L1 у відповідному HTLC. • Користувач заявляє про BTC і відкриває преобраз. • Оператор використовує цей преобраз, щоб отримати PegBTC. Це дає користувачу можливість зняти «суму X» без участі у механіці графа транзакцій BitVM2. У специфікації також зазначено покращення UX (наприклад, використання Bitcoin SPV), щоб уникнути ручної обробки преобразу користувачем. 2) Відшкодування оператора = вихід на вихід, доведено проти канонічного стану L2 Після обміну оператор виходить через шлях виходу і отримує відшкодування на основі доказів переходу стану L2, а не на координацію на рівні користувача. Операційно роль оператора явно включає «обмін PegBTC на нативний BTC з користувачами», а потім запускає робочий процес підтвердження/відшкодування. Загальний ефект: • Користувачі отримують шлях виведення з довільним обсягом, який не вимагає «поведінки оператора»....