Aku sudah duduk dengan state-state finalitas milik Dusk, dan aku merasa pada awalnya aku salah membacanya.
Pendapat awalku tentang Succinct Attestation adalah yang umum: PoS berbasis komite, blok mendapat attestaasi, selesai—deterministik mengalahkan probabilistik, perkara tutup. Tapi protokol sebenarnya menyebut empat state yang dilalui sebuah blok: Accepted, Confirmed, Stable, Final. Kalau finalitas itu hanya satu peristiwa kriptografis yang bersih, kamu tidak akan butuh empat label untuk itu.
Jadi aku menelusurinya. Accepted berarti sebuah komite menyelesaikan ronde proposal, validasi, ratifikasi. Itu nyata, tapi cepat dan sempit. Confirmed hanya muncul sekali, saat blok-blok berikutnya dibangun di atasnya. Stable secara eksplisit "terkubur cukup" secara probabilistik tidak dapat dibatalkan, bukan secara matematis. Hanya Final yang benar-benar terkunci tanpa syarat.
Itulah bagian yang belum kupikirkan: bahkan sistem komite teragregasi BLS yang terdengar deterministik pun tetap menginginkan rantai mengumpulkan bukti tentang dirinya dari waktu ke waktu sebelum menyebut sesuatu benar-benar sudah ditutup. Attestation komite adalah klaim kuat dari satu subset yang bergiliran pada satu momen—tidak kebal terhadap perselisihan jangka pendek. Menumpuk state di atasnya mengompresi ketidakpastian itu menjadi hitungan detik, bukan blok, tapi tidak menghapusnya.
Bukan cacat. Namun itu mengubah cara memaknai "instant settlement" untuk aset teregulasi—arus sekuritas yang diasumsikan menunggu Final, bukan Accepted. Masih belum jelas bagiku bagaimana perbedaan itu dimunculkan di tahap selanjutnya.
#dusk $DUSK @Dusk
Pendapat awalku tentang Succinct Attestation adalah yang umum: PoS berbasis komite, blok mendapat attestaasi, selesai—deterministik mengalahkan probabilistik, perkara tutup. Tapi protokol sebenarnya menyebut empat state yang dilalui sebuah blok: Accepted, Confirmed, Stable, Final. Kalau finalitas itu hanya satu peristiwa kriptografis yang bersih, kamu tidak akan butuh empat label untuk itu.
Jadi aku menelusurinya. Accepted berarti sebuah komite menyelesaikan ronde proposal, validasi, ratifikasi. Itu nyata, tapi cepat dan sempit. Confirmed hanya muncul sekali, saat blok-blok berikutnya dibangun di atasnya. Stable secara eksplisit "terkubur cukup" secara probabilistik tidak dapat dibatalkan, bukan secara matematis. Hanya Final yang benar-benar terkunci tanpa syarat.
Itulah bagian yang belum kupikirkan: bahkan sistem komite teragregasi BLS yang terdengar deterministik pun tetap menginginkan rantai mengumpulkan bukti tentang dirinya dari waktu ke waktu sebelum menyebut sesuatu benar-benar sudah ditutup. Attestation komite adalah klaim kuat dari satu subset yang bergiliran pada satu momen—tidak kebal terhadap perselisihan jangka pendek. Menumpuk state di atasnya mengompresi ketidakpastian itu menjadi hitungan detik, bukan blok, tapi tidak menghapusnya.
Bukan cacat. Namun itu mengubah cara memaknai "instant settlement" untuk aset teregulasi—arus sekuritas yang diasumsikan menunggu Final, bukan Accepted. Masih belum jelas bagiku bagaimana perbedaan itu dimunculkan di tahap selanjutnya.
#dusk $DUSK @Dusk
