Bitcoin tidak bisa membaca kuitansi Ethereum, namun harus memutuskan BTC yang dikunci di Taproot harus dikembalikan kepada siapa. Ini seperti meminta seorang penjaga gerbang yang hanya mengenali stempel, memeriksa sebuah putusan pengadilan yang ditulis dalam bahasa asing.
Saya menguraikannya mengikuti alur BABE @BabylonLabs_io , dan menemukan bahwa ini bukan untuk menjalankan verifikator ZK secara lengkap melalui Script Bitcoin, melainkan mengubah pembuktian kebenaran dan kepalsuan menjadi permainan tantangan yang sudah dipersiapkan.
Saat penebusan, pipeline bukti pertama-tama memastikan bahwa blok Ethereum di area beacon sudah final, lalu mengaitkan blok eksekusi dengan kuitansi penebusan, dan terakhir SP1 menghasilkan bukti serta memadatkannya menjadi Groth16. Penerima kemudian menyiarkan Claim dan Assert, lalu menggunakan WOTS untuk menuliskan komitmen bukti ke dalam transaksi Bitcoin; setelah itu masuk ke testnet publik sekitar 432 blok BTC—dengan jendela tantangan hampir tiga hari.
Inti dari momen kunci sebenarnya ada pada Peg-in. Dengan parameter yang berlaku saat ini, setiap kelompok penerima dan penantang harus membuat 307 sirkuit kandidat yang membingungkan, memublikasikan 301 untuk memeriksa kecurangan, dan hanya menyisakan 6 yang dipilih secara acak untuk menangani sengketa di masa depan. Seperti membongkar hampir semua amplop jawaban tertutup untuk dicek isinya terlebih dahulu, dan sisanya baru dipakai untuk ujian resmi.
Jika pihak penerima mengirim bukti palsu, penantang mengulang verifikasi dan memulai Challenge; bukti palsu tidak bisa memulihkan label yang benar. Setelah sekitar 108 blok, penantang dapat mengambil jalur No-Payout, mencegah BTC dilepas dan menyita jaminannya. Jika bukti yang valid justru ditantang secara jahat, pihak penerima bisa mengekstrak label yang benar, menyiarkan WronglyChallenged untuk melanjutkan Payout, dan penantang kehilangan jaminannya.
Jadi BABE bukan membuat Bitcoin langsung memahami Ethereum, melainkan membuat para pembohong tidak mampu melangkah ke tahap berikutnya. Namun, sirkuit pembingung, pipeline bukti, dan tingkat keaktifan penantang—kalau ada satu saja yang salah, semuanya bisa memengaruhi keberhasilan keluarannya. Sebelum mainnet, hal yang paling ingin saya lihat adalah apakah satu sengketa nyata bisa berjalan utuh, bukan hanya Happy Path tanpa tantangan.
#baby $BABY
Saya menguraikannya mengikuti alur BABE @BabylonLabs_io , dan menemukan bahwa ini bukan untuk menjalankan verifikator ZK secara lengkap melalui Script Bitcoin, melainkan mengubah pembuktian kebenaran dan kepalsuan menjadi permainan tantangan yang sudah dipersiapkan.
Saat penebusan, pipeline bukti pertama-tama memastikan bahwa blok Ethereum di area beacon sudah final, lalu mengaitkan blok eksekusi dengan kuitansi penebusan, dan terakhir SP1 menghasilkan bukti serta memadatkannya menjadi Groth16. Penerima kemudian menyiarkan Claim dan Assert, lalu menggunakan WOTS untuk menuliskan komitmen bukti ke dalam transaksi Bitcoin; setelah itu masuk ke testnet publik sekitar 432 blok BTC—dengan jendela tantangan hampir tiga hari.
Inti dari momen kunci sebenarnya ada pada Peg-in. Dengan parameter yang berlaku saat ini, setiap kelompok penerima dan penantang harus membuat 307 sirkuit kandidat yang membingungkan, memublikasikan 301 untuk memeriksa kecurangan, dan hanya menyisakan 6 yang dipilih secara acak untuk menangani sengketa di masa depan. Seperti membongkar hampir semua amplop jawaban tertutup untuk dicek isinya terlebih dahulu, dan sisanya baru dipakai untuk ujian resmi.
Jika pihak penerima mengirim bukti palsu, penantang mengulang verifikasi dan memulai Challenge; bukti palsu tidak bisa memulihkan label yang benar. Setelah sekitar 108 blok, penantang dapat mengambil jalur No-Payout, mencegah BTC dilepas dan menyita jaminannya. Jika bukti yang valid justru ditantang secara jahat, pihak penerima bisa mengekstrak label yang benar, menyiarkan WronglyChallenged untuk melanjutkan Payout, dan penantang kehilangan jaminannya.
Jadi BABE bukan membuat Bitcoin langsung memahami Ethereum, melainkan membuat para pembohong tidak mampu melangkah ke tahap berikutnya. Namun, sirkuit pembingung, pipeline bukti, dan tingkat keaktifan penantang—kalau ada satu saja yang salah, semuanya bisa memengaruhi keberhasilan keluarannya. Sebelum mainnet, hal yang paling ingin saya lihat adalah apakah satu sengketa nyata bisa berjalan utuh, bukan hanya Happy Path tanpa tantangan.
#baby $BABY
