Rekayasa Jalur yang Tidak Bahagia: Memahami Arsitektur BitVM2 Bagian Keempat: Penarikan sebagai Alur Pengguna Penarikan adalah tempat desain standar menjadi berpusat pada operator: UTXO peg-in tetap, grafik yang telah ditandatangani sebelumnya, dan timelock bocor ke dalam pengalaman pengguna. Inilah sebabnya mengapa GOAT BitVM2 memisahkan "pengguna mendapatkan BTC" dari "operator mendapatkan penggantian". 1) Penarikan pengguna = pertukaran atom (jumlah sederhana dan sewenang-wenang) Penarikan didefinisikan sebagai Atomic Swap + Peg-Out. Dalam alur dasar: • Pengguna mengunci PegBTC pada L2 di HTLC (hash-locked). • Operator mengunci BTC pada L1 di HTLC yang cocok. • Pengguna mengklaim BTC dan mengungkapkan preimage. • Operator menggunakan preimage itu untuk mengklaim PegBTC. Ini memberi pengguna penarikan "jumlah X" tanpa mengharuskan mereka berpartisipasi dalam mekanisme grafik transaksi BitVM2. Spesifikasi juga mencatat peningkatan UX (misalnya menggunakan Bitcoin SPV) untuk menghindari pengguna menangani preimage secara manual. 2) Penggantian operator = peg-out, terbukti terhadap status L2 kanonik Setelah swap, operator keluar melalui jalur peg-out dan diganti berdasarkan bukti transisi status L2, daripada mengandalkan koordinasi tingkat pengguna. Secara operasional, peran operator secara eksplisit mencakup "menukar PegBTC dengan BTC asli dengan pengguna" dan kemudian menjalankan alur kerja pembuktian/penggantian. Efek bersih: • Pengguna mendapatkan jalur penarikan jumlah sewenang-wenang yang tidak memerlukan "perilaku operator"....