Awalnya saya mengira bukti pengetahuan-nol (zero-knowledge proof) di Babylon's Trustless Bitcoin Vaults adalah keseluruhan cerita keamanan; bukti yang valid berarti penebusan (redemption) yang valid, selesai. Saat saya membaca lebih dalam tentang bagaimana TBV sebenarnya memproses penarikan, ternyata bukti itu hanya setengah dari semuanya. Ketika seseorang mengajukan permintaan penebusan, didukung oleh bukti ZK bahwa suatu peristiwa terjadi di rantai host seperti Ethereum, klaim itu tidak langsung dieksekusi. Pertama, klaim membuka jendela fraud-proof, yaitu periode di mana siapa pun yang berhak dapat menantang klaim tersebut jika ada yang salah. Pihak penyetor sendiri selalu diizinkan untuk bertindak sebagai penantang bagi dirinya sendiri, yang terdengar menenangkan sampai Anda menyadari apa yang sebenarnya dituntut: Anda pribadi harus tetap waspada cukup untuk menangkap klaim yang keliru sebelum jendela itu menutup. Jika Anda tidak memantau, dan tidak ada orang lain yang melakukannya juga, penebusan yang tidak valid punya peluang nyata untuk berjalan begitu saja tanpa ditantang. Ada juga detail yang mengejutkan saya lebih dari seharusnya. Penebusan tidak bersifat parsial. Ini hanya whole-vault—satu bagian masuk, satu bagian keluar—jadi tidak ada pembubaran bertahap; hanya satu jendela di mana seluruh posisi sama ada benar-benar ditantang secara tepat atau tidak. Dan di bawah semua itu ada BABE, lapisan verifikasi bukti yang membuat semuanya dapat dicek secara kriptografis sejak awal. Tim telah menyatakan dengan gamblang bahwa tanpa BABE, tidak ada verifikasi trustless sama sekali; seluruh sistem hanya berhenti berfungsi. Jadi deskripsi yang jujur bukanlah "matematika mengamankan Bitcoin Anda." Melainkan: "matematika membuat klaim palsu dapat dibuktikan, asalkan ada seseorang yang memang siap untuk membuktikannya tepat waktu." @BabylonLabs_io #baby
$BABY
$COTI