Ethereum kembali mencatat perkembangan dalam upayanya mempercepat finality jaringan, setelah desain decoupled consensus mencapai milestone baru melalui formal verification yang dapat diperiksa secara matematis oleh mesin.
Perkembangan itu berasal dari formalization verified-consensus milik Francesco D’Amato yang dirilis pada 23 September 2026. Proyek tersebut membangun model Lean 4 untuk decoupled consensus sekaligus membuktikan sejumlah jaminan konsensusnya secara machine-checked.
Model tersebut mencakup mekanisme fork choice, tugas validator, finality gadget hingga bagaimana node membaca confirmed, stable dan finalized chain. Satu theorem utama membundel 13 properti, termasuk konsistensi finality antar-node jujur, pertumbuhan finalized chain dan kondisi ketika proposal dapat difinalisasi.
Dokumentasinya juga menyebut proof tersebut tidak menggunakan sorry, yakni placeholder dalam Lean untuk bagian bukti yang belum diselesaikan, maupun axiom khusus proyek.
Namun, hasil ini tetap bergantung pada sejumlah asumsi model, termasuk tanda tangan validator jujur yang tidak dapat dipalsukan, mayoritas komite jujur dan kondisi pengiriman pesan tertentu.
Ethereum Ingin Pangkas Finality dari Belasan Menit
Formal verification ini berkaitan dengan salah satu agenda besar pengembangan Ethereum, yakni fast finality.
Menurut Protocol Consensus Ethereum Foundation, waktu finality Ethereum saat ini berada di kisaran 13 hingga 19 menit dalam kondisi normal. Target jangka panjangnya adalah memangkas waktu tersebut secara signifikan tanpa mengorbankan accountable safety, dynamic availability maupun desentralisasi validator.
Finality merupakan kondisi ketika suatu blok telah memperoleh jaminan konsensus yang sangat kuat sehingga pembalikannya membutuhkan pelanggaran serius terhadap asumsi keamanan jaringan.
Ethereum Foundation pada awal September juga memasukkan fast finality sebagai salah satu dari lima jalur riset multi-fork Ethereum. Dalam pembaruan prioritas Protocol Cluster, organisasi tersebut menyebut arah desain saat ini memisahkan proses finality dari produksi blok dan membangun ulang consensus layer di sekitar available chain dan finality gadget.
Tujuannya jelas, yakni membawa finality Ethereum dari skala menit menuju hitungan detik.
EF juga mengungkapkan bahwa spesifikasi dan prototype untuk pendekatan tersebut tengah dikerjakan, dengan decoupled consensus kini menjadi kandidat utama untuk menjadi salah satu fitur besar pada upgrade yang sementara disebut I*.
Status kandidat tersebut penting. Artinya, decoupled consensus belum menjadi spesifikasi final Ethereum dan belum dipastikan masuk mainnet.
Finality dan Produksi Blok Dipisahkan
Masalah yang coba diselesaikan decoupled consensus berasal dari hubungan erat antara produksi blok dan finality pada desain Ethereum saat ini.
Dalam proposal riset yang diterbitkan D’Amato, memperkecil committee validator dapat memungkinkan slot lebih cepat, tetapi pada saat bersamaan berpotensi memperlambat finality. Sebaliknya, committee lebih besar dapat mempercepat finality namun menambah beban pada produksi blok.
Decoupled consensus mencoba memutus kompromi tersebut dengan menjalankan dua pipeline secara terpisah.
Pipeline produksi blok dapat menggunakan committee acak yang relatif kecil, D’Amato memberi contoh sekitar 512 validator, sementara proses finality berjalan secara paralel dan tidak berada dalam jalur kritis produksi blok.
Dengan desain tersebut, kedua proses secara teori dapat dioptimalkan secara independen.
Fast finality sendiri dinilai dapat memberikan dampak langsung di luar consensus layer. Ethereum Foundation menilai finality lebih cepat berpotensi mempercepat cross-chain swap dan deposit ke layer-2, mengurangi kompleksitas manajemen risiko aplikasi, mempersempit waktu yang tersedia bagi penyerang serta menurunkan biaya modal bagi bridge dan solver.
Milestone formal verification terbaru belum berarti Ethereum siap mengganti sistem konsensus mainnet. Namun, perkembangan itu menunjukkan bahwa desain yang ditujukan untuk memangkas waktu finality kini telah bergerak dari gagasan riset menuju model yang properti keamanannya mulai dapat diuji secara resmi.
Tahapan berikutnya tetap panjang. Dalam pipeline pengembangan Ethereum, sebuah teknologi masih harus melalui spesifikasi, prototype, devnet hingga berbagai tingkat penerimaan sebelum akhirnya dapat mencapai mainnet.
Itulah rangkuman berita kripto hari ini yang bisa kamu simak untuk mengikuti perkembangan dunia aset digital dan teknologi blockchain. Tetap pantau Blockchain Media Indonesia untuk update terbaru seputar pasar kripto, berita bitcoin, hingga panduan belajar crypto untuk kamu yang masih pemula. [st]
Disclaimer: Konten di Blockchainmedia.id hanya bersifat informatif, bukan nasihat investasi atau hukum. Segala keputusan finansial sepenuhnya tanggung jawab pembaca.