Banyak orang ketika menyebut "finalitas", yang terlintas dalam pikiran adalah "setelah lewat berapa blok, tidak bisa diubah lagi", sebuah konsep tebas rata. Setelah membaca rancangan Dusk tentang rolling finality, saya mendapati pemikiran itu terlalu kasar.

Ia memecah status blok menjadi empat tingkat: accepted, attested, confirmed, final. Anda naik selangkah demi selangkah, tidak bersifat hitam-putih. Blok ber-pada putaran rendah yang tidak berhasil mengumpulkan "bukti kegagalan" masih dapat digantikan oleh blok-blok berikutnya, tetapi seiring semakin banyak blok yang terkonfirmasi ditumpuk, peluang terjadinya percabangan turun secara eksponensial, hingga akhirnya terkunci ke dalam status final yang tidak dapat diubah.

Inti dari desain ini adalah mengubah persoalan "berapa lama agar benar-benar merasa tenang" menjadi sebuah kurva terukur, bukan angka tetap.

Yang paling saya perhatikan adalah bagaimana mekanisme ini mencegah perilaku spekulatif—misalnya seseorang dengan sengaja ikut memfasilitasi agar dirinya yang giliran mengambil alih, menunggu imbalan blok pada putaran-putusan berikutnya untuk dipungut. Protokol ini secara khusus merancang beberapa lapis penangkal: insentif pemungutan suara, tambahan poin, dan pencabutan kelayakan untuk ikut menyusun blok pada putaran berikutnya, ditambah dengan batas atas jumlah iterasi. Artinya, celah pada tingkat teori permainan ditutup satu per satu, bukan sekadar mengandalkan denda.

Namun, semakin saya melihat detailnya, saya makin ragu: mekanisme ini dibangun dengan asumsi ukuran komite cukup besar dan komunikasi jaringan cukup cepat. Jika suatu hari terjadi partisi jaringan atau penundaan penyebaran pesan makin panjang, apakah asumsi "akumulasi blok terkonfirmasi secara cepat" akan runtuh lebih dulu? Finalitas dalam hitungan detik dan ketahanan pada kondisi jaringan ekstrem—bisakah keduanya benar-benar dipertahankan bersamaan? Untuk saat ini, saya belum melihat jawaban yang membuat saya benar-benar yakin.

@Dusk #dusk $DUSK