Rekayasa Jalur yang Tidak Bahagia: Memahami Arsitektur BitVM2 Bagian Tiga: Keadaan Kanonik Membutuhkan Konteks Rantai Bukti peg-out BitVM2 hanya sebagus keadaan yang dibuktikannya. Jika operator dapat memilih input publik selama sengketa, mereka dapat menghasilkan bukti yang valid atas riwayat L2 yang salah/bercabang dan masih mencoba keluar. Kriptografi diperiksa; Konteksnya salah. Perbaikan GOAT Network adalah untuk menambatkan riwayat L2 mana yang kanonis dengan melakukan sequencer aktif yang ditetapkan pada Bitcoin. Cara kerjanya (secara konseptual): • L2 menjalankan jaringan sequencer terdesentralisasi, dan kunci publik sequencer (atau komitmen terhadapnya) berlabuh pada Bitcoin. • Pembaruan set sequencer dijalankan melalui alur transaksi yang telah ditandatangani sebelumnya di mana pembaruan hanya valid jika disetujui oleh ambang batas yang memadai (misalnya 2/3) dari set saat ini. • Alur pembaruan melakukan hash set sequencer putaran berikutnya pada Bitcoin (termasuk komitmen OP_RETURN untuk verifikasi yang lebih mudah). Kemudian, selama verifikasi peg-out, sistem tidak "mempercayai status terbaru operator". Ini memaksa operator untuk membuktikan bahwa: • transaksi pembaruan sequencer-set yang relevan dikonfirmasi pada rantai Bitcoin terpanjang yang valid (konteks rantai), dan • status L2 yang direferensikan berasal dari set sequencer yang dikomitmenkan terbaru (kanonikalitas), dan • pembakaran aset termasuk dalam keadaan L2 kanonik itu. 'Menara pengawas' ada secara khusus untuk memasok dan membuktikan konteks rantai Bitcoin yang digunakan dalam tantangan (header/bukti rantai terpanjang), sehingga perselisihan dapat mengikat "terbaru" dengan realitas Bitcoin, daripada pilihan operator. Efek bersihnya: operator tidak dapat keluar dengan aman menggunakan bukti melalui fork pribadi, karena bukti harus konsisten dengan riwayat set sequencer yang berlabuh pada Bitcoin. Berikutnya: penarikan pengguna sewenang-wenang - memisahkan alur "tarik x BTC" pengguna dari alur bukti penggantian operator.