Saya sedang meneliti berkas tata kelola untuk integrasi kolateral BTC asli Babylon, mencoba memahami apa sebenarnya yang membuat jalur likuidasi itu bekerja. Tertanam di justifikasi teknis ada rujukan ke sebuah makalah bernama BaBe. Setelah saya membukanya, ceritanya terasa berbeda dari rangkuman pemasaran.
Bitcoin tidak bisa memverifikasi SNARK secara native. Itulah inti hambatan bagi DeFi BTC tanpa perantara kepercayaan selama bertahun-tahun.
Protokol terdahulu, BitVM2, menyelesaikan ini secara teoretis. Namun catatan risetnya sendiri menyebutkan bahwa menantang klaim penipuan di-chain dapat menelan biaya lebih dari 14.000 dolar dalam biaya. Itu hanya bekerja jika penipuan tidak pernah benar-benar ditantang.
Desain lanjutan, BitVM3, memangkas biaya on-chain itu dengan memindahkan verifikasi ke dalam sirkuit garbled yang dijalankan di luar rantai (off-chain). Memang berhasil, tetapi setiap sirkuit berukuran 42 gibibytes. Proses setup dan penyimpanan menjadi bottleneck baru.
BaBe adalah jawaban Babylon untuk masalah kedua itu. Menurut eprint bertanggal Februari 2026, ia mempertahankan penghematan on-chain BitVM3 sekaligus memangkas biaya penyimpanan dan setup. BaBe dikembangkan bersama UC Berkeley dan dijadwalkan tampil di konferensi keamanan yang ditelaah sejawat (peer-reviewed) pada akhir 2026.
Inilah yang membuat saya tergelitik. Alur likuidasi yang saat ini sedang dipilih/diberi suara oleh tata kelola sebuah protokol pinjaman besar mengasumsikan bahwa kriptografi ini tetap kokoh di produksi seperti halnya di atas kertas.
Sanggahan satu: riset Bitcoin sering meluncur lebih dulu dibanding publikasi formal. Menunggu tanggal konferensi tidak sama dengan menunggu mekanismenya benar-benar solid, dan tinjauan keamanan independen bisa memvalidasi sebuah desain sebelum makalah akademisnya dipresentasikan secara resmi.
Sanggahan dua: asumsi kepercayaan yang mendasarinya tidak nol, tapi kecil. Setup sirkuit garbled bergantung pada metode cut-and-choose, dan para peneliti yang mengkaji silsilah desain ini memperkirakan probabilitas kegagalan kira-kira 2 pangkat negatif 40. Dalam praktiknya, itu diperlakukan sebagai hal yang dapat diabaikan (negligible) di seluruh bidang, bukan sebagai risiko yang terbuka.Saya terus memikirkannya seperti sistem pemadam kebakaran yang lolos semua uji laboratorium dan sekarang sedang dipasang di gedung yang sedang ditempati; sidang sertifikasinya dijadwalkan.$BABY #baby @BabylonLabs_io
Bitcoin tidak bisa memverifikasi SNARK secara native. Itulah inti hambatan bagi DeFi BTC tanpa perantara kepercayaan selama bertahun-tahun.
Protokol terdahulu, BitVM2, menyelesaikan ini secara teoretis. Namun catatan risetnya sendiri menyebutkan bahwa menantang klaim penipuan di-chain dapat menelan biaya lebih dari 14.000 dolar dalam biaya. Itu hanya bekerja jika penipuan tidak pernah benar-benar ditantang.
Desain lanjutan, BitVM3, memangkas biaya on-chain itu dengan memindahkan verifikasi ke dalam sirkuit garbled yang dijalankan di luar rantai (off-chain). Memang berhasil, tetapi setiap sirkuit berukuran 42 gibibytes. Proses setup dan penyimpanan menjadi bottleneck baru.
BaBe adalah jawaban Babylon untuk masalah kedua itu. Menurut eprint bertanggal Februari 2026, ia mempertahankan penghematan on-chain BitVM3 sekaligus memangkas biaya penyimpanan dan setup. BaBe dikembangkan bersama UC Berkeley dan dijadwalkan tampil di konferensi keamanan yang ditelaah sejawat (peer-reviewed) pada akhir 2026.
Inilah yang membuat saya tergelitik. Alur likuidasi yang saat ini sedang dipilih/diberi suara oleh tata kelola sebuah protokol pinjaman besar mengasumsikan bahwa kriptografi ini tetap kokoh di produksi seperti halnya di atas kertas.
Sanggahan satu: riset Bitcoin sering meluncur lebih dulu dibanding publikasi formal. Menunggu tanggal konferensi tidak sama dengan menunggu mekanismenya benar-benar solid, dan tinjauan keamanan independen bisa memvalidasi sebuah desain sebelum makalah akademisnya dipresentasikan secara resmi.
Sanggahan dua: asumsi kepercayaan yang mendasarinya tidak nol, tapi kecil. Setup sirkuit garbled bergantung pada metode cut-and-choose, dan para peneliti yang mengkaji silsilah desain ini memperkirakan probabilitas kegagalan kira-kira 2 pangkat negatif 40. Dalam praktiknya, itu diperlakukan sebagai hal yang dapat diabaikan (negligible) di seluruh bidang, bukan sebagai risiko yang terbuka.Saya terus memikirkannya seperti sistem pemadam kebakaran yang lolos semua uji laboratorium dan sekarang sedang dipasang di gedung yang sedang ditempati; sidang sertifikasinya dijadwalkan.$BABY #baby @BabylonLabs_io