Rekayasa Jalur yang Tidak Bahagia: Memahami Arsitektur BitVM2 Bagian Kedua: Pemblokir Praktis BitVM2 BitVM2 adalah kerangka kerja jembatan yang kuat, tetapi "bekerja secara teori" bukanlah batas pada Bitcoin. Barnya adalah apakah jalan yang tidak bahagia itu murah, tidak ambigu, dan kompatibel dengan insentif. Dalam penyebaran BitVM2 bergaya zkRollup, tiga pemblokir praktis muncul dengan cepat: 1. Membuktikan keadaan yang salah Selama pemakaian yang ditantang, operator dapat mencoba menggunakan bukti yang valid atas riwayat L2 yang salah/bercabang. Jika "status terbaru" tidak ditentukan secara objektif, buktinya bisa benar secara internal tetapi penipuan secara ekonomi. 2. Pengguna tidak dapat menarik jumlah arbitrer Peg-out BitVM2 klasik terikat pada jumlah peg-in L1 tetap dan alur gaya operator. Pengguna akhir tidak dapat diharapkan untuk menjalankan alur kerja operator hanya untuk menarik "x BTC". 3. Insentif tidak dapat diandalkan membayar aktor yang jujur Jika penantang tidak dibayar secara konsisten, mereka berhenti menonton. Satu mode kegagalan tertentu: entitas yang mendanai/memulai tantangan belum tentu entitas yang mendaratkan langkah penolakan terakhir, sehingga hadiah dapat ditangkap oleh orang lain. Desain GOAT BitVM2 menargetkan ini secara langsung dengan tiga langkah arsitektur: • Lakukan sequencer yang ditetapkan pada Bitcoin sehingga "status L2 kanonik" berlabuh secara eksternal. • Pindahkan agunan operator/penantang ke L2 + gunakan alur penarikan swap atom sehingga pengguna menarik jumlah sewenang-wenang dengan bersih, sementara operator mengganti diri mereka sendiri melalui bukti L2. • Kurangi overhead sengketa dengan sirkuit kacau + DV-SNARK sehingga jalur tantangan layak secara operasional. Selanjutnya di Bagian Tiga: apa artinya menambatkan pandangan L2 kanonik pada Bitcoin dengan melakukan set sequencer, dan mengapa ini menutup pintu keluar "membuktikan keadaan yang salah".