Rekayasa Jalur yang Tidak Bahagia: Memahami Arsitektur BitVM2 Bagian Satu: Keamanan Hidup di Jalur Sengketa Bitcoin L2 hidup atau mati di jalannya yang tidak bahagia. Di Bitcoin, Anda tidak mendapatkan "jalankan verifikator on-chain dan lanjutkan". Anda mendapatkan lingkungan eksekusi yang dibatasi, grafik transaksi yang telah ditandatangani sebelumnya, dan penguncian waktu yang menentukan dengan tepat kapan setiap pihak dapat bertindak. BitVM2 adalah pola penegakan yang optimis untuk Bitcoin: eksekusi off-chain, lalu buat kebenaran dapat ditegakkan melalui protokol sengketa on-chain yang dibangun dari transaksi yang telah ditandatangani sebelumnya. Itu mengarah pada aturan teknik sederhana: Jika perselisihan mahal atau dapat dihentikan biaya, model keamanan tidak berfungsi. Sistem berbasis BitVM bekerja dengan membiarkan operator mengeksekusi off-chain, kemudian memberi siapa pun kemampuan untuk menantang on-chain dan memaksa protokol ke jalur sengketa di bawah asumsi kejujuran 1-of-n (setidaknya satu penantang jujur untuk validitas; setidaknya satu operator jujur untuk keaktifan). Jalur sengketa ini adalah mekanismenya. Transaksi yang telah ditandatangani sebelumnya dan tanda tangan satu kali (jendela tantangan, tenggat waktu respons, finalisasi) adalah "runtime" jembatan dan pintu keluarnya. Jadi ketika kita berbicara tentang membangun di BitVM2, bintang utara bukanlah istilah pemasaran seperti "tidak dapat dipercaya". Bintang utara adalah: • sengketa yang cukup murah untuk dieksekusi, • konteks rantai yang cukup objektif untuk mencegah keluar dari "membuktikan keadaan yang salah" • Arus transaksi yang terus berkembang dalam kondisi biaya riil. Seri ini menguraikan bagaimana kami mendekati kendala tersebut dalam desain GOAT BitVM2, satu bagian pada satu waktu. Akan datang di Bagian Dua: pemblokir praktis untuk menyebarkan zkRollup siap produksi di Bitcoin.