Finality Gadget

Apa Itu Finality Gadget?

Finality gadget adalah komponen konsensus blockchain yang menentukan kapan sebuah blok atau checkpoint harus dianggap final.

Blok yang telah difinalisasi dianggap sebagai bagian dari riwayat blockchain permanen berdasarkan asumsi keamanan normal protokol.

Membalikkan blok yang telah difinalisasi akan memerlukan kegagalan konsensus serius, voting power tidak jujur dalam jumlah besar, penalti ekonomi yang besar, atau intervensi sosial yang luar biasa.

Kata “gadget” menunjukkan bahwa mekanisme finality dapat ditambahkan ke atau digabungkan dengan sistem lain yang bertanggung jawab menghasilkan blok dan memilih chain saat ini.

Finality gadget tidak selalu menentukan peserta mana yang membuat blok berikutnya.

Sebaliknya, mekanisme ini mengumpulkan vote validator dan meningkatkan status blok terpilih dari blok yang baru diusulkan menjadi checkpoint yang justified dan finalized.

Contoh yang paling dikenal adalah Casper the Friendly Finality Gadget, yang umumnya disebut Casper FFG.

Casper FFG menjadi komponen finality dalam mekanisme konsensus proof-of-stake Ethereum.

Ethereum menggabungkan Casper FFG dengan aturan fork choice LMD-GHOST dalam desain konsensus lengkap yang disebut Gasper.

Dokumentasi resmi Ethereum tentang Gasper menjelaskan bahwa Casper memfinalisasi checkpoint, sedangkan LMD-GHOST membantu node memilih head chain yang benar.

Apa Arti Finality Blockchain?

Finality blockchain adalah tingkat keyakinan bahwa transaksi yang telah dikonfirmasi tidak akan dihapus atau diubah akibat reorganisasi chain di kemudian hari.

Transaksi pertama-tama masuk ke dalam blok yang diusulkan.

Blok tersebut dapat memperoleh blok tambahan dan vote validator di atasnya.

Seiring bertambahnya dukungan, kemungkinan atau kelayakan ekonomi untuk membalikkan transaksi semakin berkurang.

Transaksi yang telah difinalisasi telah mencapai tingkat konfirmasi standar terkuat dari protokol.

Finality bukan berarti setiap komputer, situs web, wallet, atau aplikasi sudah menampilkan transaksi tersebut.

Artinya, sistem konsensus blockchain telah berkomitmen pada blok yang memuat transaksi tersebut.

Glosarium Ethereum mendefinisikan finality sebagai jaminan bahwa sekumpulan transaksi tidak dapat diubah tanpa kehilangan ETH dalam jumlah sangat besar yang telah di-staking.

Mengapa Blockchain Membutuhkan Finality?

Blockchain memungkinkan banyak komputer independen memelihara riwayat transaksi bersama.

Penundaan jaringan dapat menyebabkan node yang berbeda menerima blok valid yang berbeda pada waktu yang hampir bersamaan.

Situasi ini dapat menimbulkan cabang-cabang yang saling bersaing untuk sementara waktu, yang dikenal sebagai fork.

Aturan fork choice membantu node menentukan cabang mana yang harus diikuti saat ini.

Namun, cabang yang saat ini unggul menurut aturan fork choice masih dapat digantikan ketika vote atau blok berikutnya mendukung cabang lain.

Finality gadget menciptakan komitmen yang lebih kuat terhadap blok-blok yang lebih lama.

Setelah sebuah checkpoint difinalisasi, node yang jujur seharusnya tidak menggantinya dengan checkpoint yang bertentangan.

Komitmen ini membantu pengguna kripto, aplikasi, kustodian, bridge, dan smart contract menentukan kapan transaksi telah diselesaikan secara memadai.

Mengapa Disebut Gadget?

Finality gadget disebut gadget karena dapat beroperasi sebagai modul tersendiri dalam mekanisme konsensus yang lebih besar.

Sistem dasarnya dapat terus mengusulkan blok dengan cepat meskipun blok tersebut belum mencapai finality penuh.

Gadget kemudian menerapkan aturan voting validator pada blok atau checkpoint terpilih.

Struktur modular ini memisahkan dua pertanyaan yang saling berkaitan tetapi berbeda.

Pertanyaan pertama adalah blok mana yang harus dianggap sebagai head chain saat ini.

Pertanyaan kedua adalah blok lama mana yang cukup aman untuk dianggap finalized.

Pemisahan fungsi ini memungkinkan blockchain menghasilkan blok secara berkala sambil menerapkan aturan kesepakatan yang lebih kuat dengan frekuensi lebih rendah.

Produksi Blok vs. Finality Blok

Produksi blok adalah proses memilih peserta untuk membuat dan menyiarkan blok baru.

Finality blok adalah proses mencapai kesepakatan kuat bahwa sebuah blok akan tetap berada di chain kanonis.

Blockchain dapat menggunakan satu protokol untuk produksi blok dan protokol lain untuk finality.

Ethereum menggunakan validator proof-of-stake untuk mengusulkan blok dalam slot.

Aturan fork choice-nya menggunakan pesan validator untuk mengidentifikasi head chain.

Casper FFG secara terpisah menggunakan vote checkpoint untuk memberikan status justified dan memfinalisasi bagian-bagian chain tersebut.

Blockchain lain dapat menggunakan protokol produksi blok yang berbeda sekaligus menambahkan finality gadget tersendiri.

Bagaimana Cara Kerja Finality Gadget?

Finality gadget umumnya bekerja dengan mengumpulkan vote dari validator yang telah mempertaruhkan nilai ekonomi atau bentuk otorisasi lain di balik keputusan mereka.

Validator memeriksa blockchain dan memberikan vote atas hubungan antara checkpoint yang lebih lama dan checkpoint yang lebih baru.

Checkpoint yang lebih lama biasanya disebut source.

Checkpoint yang lebih baru biasanya disebut target.

Jika voting power yang memadai mendukung hubungan tersebut, protokol mengakui adanya tautan supermajority.

Checkpoint target dapat memperoleh status justified.

Jika hubungan voting yang diwajibkan berlanjut melalui checkpoint berikutnya, checkpoint justified yang lebih lama dapat difinalisasi.

Validator yang menandatangani vote yang saling bertentangan dapat dikenai slashing atau dikeluarkan dari validator set.

Penalti ini membuat finality yang bertentangan menimbulkan biaya ekonomi yang besar.

Apa Itu Checkpoint?

Checkpoint adalah blok yang dipilih pada batas waktu berkala untuk digunakan dalam voting finality.

Finality gadget tidak selalu mengharuskan validator melakukan voting finality penuh pada setiap blok individual.

Sebaliknya, validator dapat melakukan vote pada checkpoint yang mewakili sekelompok blok.

Di Ethereum, waktu dibagi menjadi slot dan epoch.

Saat ini, satu slot berlangsung selama 12 detik.

Satu epoch terdiri dari 32 slot sehingga berlangsung sekitar 6,4 menit.

Blok di awal epoch berfungsi sebagai checkpoint-nya.

Jika slot pertama suatu epoch tidak memiliki blok, blok terbaru sebelumnya dapat mewakili batas checkpoint berdasarkan aturan protokol.

Definisi checkpoint resmi Ethereum menjelaskan bahwa voting checkpoint memungkinkan aktivitas validator selama satu epoch digabungkan menjadi keputusan supermajority.

Apa Itu Attestation?

Attestation adalah vote validator mengenai kondisi blockchain dan riwayat chain.

Di Ethereum, attestation memuat informasi yang digunakan dalam proses fork choice maupun finality.

Validator memberikan vote untuk blok yang dianggap sebagai head chain.

Validator juga memberikan vote untuk checkpoint source dan target yang digunakan oleh Casper FFG.

Validator mendapat jadwal waktu tertentu untuk mengirimkan attestation.

Attestation yang benar dan tepat waktu membantu jaringan memilih chain dan memfinalisasi checkpoint.

Attestation yang tidak dikirim, terlambat, atau saling bertentangan dapat mengurangi reward validator atau menimbulkan penalti.

Apa Itu Tautan Supermajority?

Tautan supermajority terbentuk ketika vote validator yang mewakili setidaknya dua pertiga dari stake aktif yang relevan mendukung hubungan antara dua checkpoint.

Vote tersebut menyatakan bahwa checkpoint target merupakan turunan yang valid dari checkpoint source.

Ambang batas dua pertiga penting karena dua kelompok bertentangan yang masing-masing berukuran sebesar itu harus memiliki irisan setidaknya sepertiga dari total stake.

Jika kedua checkpoint yang bertentangan difinalisasi, setidaknya sepertiga dari stake harus telah melanggar aturan voting.

Stake yang beririsan tersebut dapat diidentifikasi dan dikenai penalti.

Dengan demikian, ambang batas ini menghubungkan keamanan konsensus dengan konsekuensi ekonomi yang dapat diukur.

Apa Itu Checkpoint Justified?

Checkpoint justified adalah checkpoint yang telah menerima dukungan supermajority yang diwajibkan dari checkpoint justified sebelumnya.

Status justified menunjukkan tingkat kesepakatan yang kuat, tetapi belum final.

Checkpoint justified kecil kemungkinannya untuk dihapus, tetapi protokol belum memberinya status finality terkuat.

Dalam proses Ethereum yang disederhanakan, validator terlebih dahulu memberikan status justified kepada checkpoint baru melalui tautan supermajority dua pertiga.

Voting berkelanjutan pada checkpoint berikutnya kemudian dapat memfinalisasi checkpoint justified sebelumnya.

Apa Itu Checkpoint Finalized?

Checkpoint finalized adalah checkpoint justified yang telah menerima hubungan voting tambahan sebagaimana diwajibkan oleh aturan finality.

Dalam contoh Ethereum yang umum, checkpoint A sudah berstatus justified.

Validator kemudian membuat tautan supermajority dari checkpoint A ke checkpoint berikutnya, yaitu checkpoint B.

Checkpoint B menjadi justified, sedangkan checkpoint A menjadi finalized.

Setiap blok pada atau sebelum checkpoint A yang telah difinalisasi menjadi bagian dari riwayat chain finalized.

Transaksi di dalam salah satu blok tersebut telah mencapai finality pada tingkat protokol Ethereum.

Apa Itu Casper FFG?

Casper FFG adalah singkatan dari Casper the Friendly Finality Gadget.

Ini adalah protokol finality proof-of-stake yang dirancang untuk ditambahkan ke atau melengkapi proses produksi blok dan fork choice suatu blockchain.

Makalah riset asli Casper FFG menjelaskan sistem finality proof-of-stake yang dapat menambahkan perlindungan lebih kuat terhadap pembalikan blok pada blockchain yang sudah ada.

Desain ini menggabungkan deposit validator, voting supermajority, finalisasi checkpoint, dan kondisi slashing.

Ethereum menggunakan versi Casper FFG yang telah dimodifikasi dalam sistem konsensus proof-of-stake saat ini.

Casper FFG tidak boleh disamakan dengan keseluruhan mekanisme konsensus Ethereum.

Casper FFG menyediakan aturan finality, sedangkan komponen lain menangani usulan blok, eksekusi transaksi, jaringan, dan fork choice.

Apa Itu Gasper?

Gasper adalah nama desain konsensus proof-of-stake Ethereum.

Nama ini menggabungkan GHOST dan Casper.

LMD-GHOST membantu node memilih head blockchain saat ini.

Casper FFG memberikan status justified dan memfinalisasi checkpoint.

Komponen fork choice dapat merespons blok baru dan pesan validator dengan cepat.

Komponen finality memberikan komitmen yang lebih lambat, tetapi lebih kuat secara ekonomi, terhadap riwayat blockchain.

Kombinasi ini memungkinkan Ethereum menghasilkan blok di setiap slot sekaligus mencapai finality penuh dalam waktu yang lebih lama.

Apa Itu LMD-GHOST?

LMD-GHOST adalah singkatan dari Latest Message Driven Greedy Heaviest Observed SubTree.

Ini adalah aturan fork choice yang digunakan oleh client konsensus Ethereum.

Aturan ini mempertimbangkan pesan valid terbaru dari setiap validator.

Aturan ini mengikuti cabang dengan bobot dukungan validator terbesar di sepanjang pohon blok.

LMD-GHOST mengidentifikasi head chain saat ini, yang dapat berubah seiring masuknya blok dan attestation baru.

Casper FFG menetapkan batas yang tidak boleh dilampaui oleh proses fork choice dalam kondisi normal.

Dengan demikian, kedua mekanisme ini menangani masalah konsensus yang berkaitan, tetapi berbeda.

Berapa Lama Finality Ethereum Berlangsung?

Saat ini, Ethereum memerlukan waktu sekitar 15 menit untuk memfinalisasi blok dalam kondisi jaringan normal.

Setiap epoch berlangsung sekitar 6,4 menit karena terdiri dari 32 slot berdurasi 12 detik.

Finality biasanya memerlukan dukungan checkpoint di beberapa epoch berturut-turut.

Waktu yang tepat untuk suatu transaksi bergantung pada posisi bloknya dalam epoch dan kapan vote validator yang memadai diproses.

Blok dapat dianggap semakin aman sebelum mencapai finality penuh, tetapi belum mencapai tingkat penyelesaian terkuat dari protokol.

Roadmap resmi Ethereum untuk single-slot finality menyebutkan bahwa proses saat ini memerlukan waktu sekitar 15 menit.

Finality vs. Konfirmasi Blok

Konfirmasi blok biasanya berarti blok lain atau unit progres chain telah ditambahkan setelah transaksi.

Semakin banyak konfirmasi, umumnya semakin kecil kemungkinan terjadinya reorganisasi.

Keamanan berbasis konfirmasi dapat bersifat probabilistik. Artinya, kemungkinan pembalikan semakin kecil seiring waktu, tetapi mungkin tidak pernah mencapai nol matematis absolut.

Finality gadget memberikan status protokol tersendiri berdasarkan kesepakatan validator dan penalti ekonomi.

Transaksi dapat memiliki beberapa konfirmasi tanpa berstatus finalized.

Aplikasi dapat menggunakan kedalaman konfirmasi terkini maupun status finality saat menetapkan kebijakan deposit atau penarikan.

Finality Probabilistik vs. Finality Ekonomi

Finality probabilistik semakin kuat seiring bertambahnya blok yang dibangun di atas transaksi.

Membalikkan blok yang lebih lama menjadi semakin sulit karena penyerang harus mengganti lebih banyak kerja atau bobot chain yang telah diterima.

Finality ekonomi bergantung pada komitmen validator yang dapat dikenai penalti.

Riwayat finalized yang bertentangan akan mengharuskan validator melanggar aturan dan mempertaruhkan aset yang mereka staking.

Casper FFG memberikan finality ekonomi karena finalisasi yang tidak jujur dapat menyebabkan sebagian besar stake validator terkena slashing.

Kata “ekonomi” penting karena finality bergantung pada biaya dan konsekuensi pelanggaran konsensus, bukan pada kemustahilan fisik.

Apakah Finality Benar-Benar Tidak Dapat Dibalik?

Finality bukan berarti pembalikan mustahil terjadi dalam segala situasi yang dapat dibayangkan.

Finality adalah jaminan protokol bahwa pembalikan tidak dapat terjadi selama asumsi keamanan sistem tetap terpenuhi.

Blok yang telah difinalisasi hanya dapat digugat setelah peristiwa serius, seperti pelanggaran aturan validator berskala besar, bug konsensus kritis, atau keputusan sosial setelah kegagalan besar.

Latensi jaringan biasa, satu blok yang terlewat, atau gangguan kecil pada validator seharusnya tidak membalikkan riwayat yang telah difinalisasi.

Dalam penggunaan kripto sehari-hari, transaksi yang telah difinalisasi dianggap selesai karena mengubahnya akan memerlukan biaya dan gangguan yang luar biasa besar.

Apa Itu Kondisi Slashing?

Kondisi slashing menetapkan perilaku validator yang dapat membuktikan bahwa validator telah menandatangani pesan konsensus yang saling bertentangan.

Slashing menghancurkan sebagian atau seluruh mata uang kripto yang di-staking oleh validator dan mengeluarkannya dari partisipasi aktif.

Finality bergaya Casper bergantung pada dua kategori utama vote checkpoint yang dilarang.

Kategori pertama adalah double voting.

Kategori kedua adalah surround voting.

Aturan ini dirancang agar checkpoint finalized yang bertentangan dapat mengungkap perilaku validator dalam jumlah besar yang dapat dikenai penalti.

Apa Itu Double Voting?

Double voting terjadi ketika validator mengirimkan dua vote checkpoint berbeda dengan epoch target yang sama.

Dengan kata lain, validator mendukung target yang saling bertentangan untuk periode finality yang sama.

Validator yang jujur hanya boleh menerbitkan satu vote target yang valid untuk epoch tersebut.

Dua vote bertentangan yang ditandatangani dapat digunakan sebagai bukti kriptografis atas pelanggaran tersebut.

Apa Itu Surround Voting?

Surround voting terjadi ketika satu vote validator mencakup vote lain yang dibuat oleh validator yang sama.

Artinya, source dari satu vote lebih awal, sedangkan target-nya lebih akhir daripada kedua titik pada vote lainnya.

Aturan ini mencegah validator mendukung riwayat checkpoint yang bertentangan pada rentang yang saling tumpang tindih.

Seperti double voting, surround voting dapat dibuktikan menggunakan pesan yang ditandatangani.

Mengapa Sepertiga Stake Penting?

Ambang batas sepertiga merupakan bagian penting dari aspek keamanan dan liveness Casper FFG.

Finalisasi memerlukan vote yang mewakili setidaknya dua pertiga stake aktif.

Dua kelompok bertentangan yang masing-masing memiliki dua pertiga harus memiliki irisan setidaknya sepertiga dari total voting power.

Kelompok yang beririsan tersebut harus telah melanggar kondisi slashing jika mendukung kedua finalisasi yang bertentangan.

Akibatnya, finalisasi riwayat yang bertentangan memerlukan setidaknya sepertiga dari total stake agar dapat dikenai slashing berdasarkan asumsi protokol.

Dokumentasi resmi Ethereum tentang proof-of-stake menjelaskan bahwa membalikkan riwayat yang telah difinalisasi akan mengharuskan penyerang mempertaruhkan setidaknya sepertiga dari total ETH yang di-staking untuk dihancurkan.

Apa yang Terjadi Jika Lebih dari Sepertiga Validator Offline?

Jika lebih dari sepertiga stake aktif gagal memberikan vote dengan benar, validator yang tersisa tidak dapat langsung mencapai ambang batas dua pertiga yang diperlukan untuk finality.

Blok masih dapat diusulkan dan aturan fork choice masih dapat mengidentifikasi head chain.

Namun, checkpoint mungkin tidak lagi difinalisasi.

Kondisi ini disebut penundaan finality atau kegagalan liveness.

Penundaan finality tidak otomatis berarti blockchain berhenti memproses semua transaksi.

Artinya, status penyelesaian terkuat dari protokol tidak mengalami kemajuan.

Apa Itu Inactivity Leak?

Inactivity leak adalah mekanisme Ethereum yang dirancang untuk memulihkan finality setelah partisipasi validator tidak memadai dalam waktu lama.

Ketika finality gagal selama beberapa epoch, stake validator yang tidak berpartisipasi dengan benar mulai berkurang dengan laju yang meningkat.

Secara bertahap, validator aktif mewakili persentase yang lebih besar dari total stake efektif yang tersisa.

Pada akhirnya, pihak yang aktif dapat kembali mencapai supermajority dua pertiga yang diperlukan untuk memfinalisasi checkpoint.

Dokumentasi reward dan penalti Ethereum menjelaskan bahwa inactivity leak mengurangi pengaruh validator yang tidak aktif sampai mayoritas yang berpartisipasi dapat memulihkan finality.

Mekanisme ini mendukung liveness, tetapi pemulihan dapat memerlukan waktu saat terjadi partisi jaringan besar atau kegagalan validator yang meluas.

Safety vs. Liveness

Safety berarti node yang jujur tidak memfinalisasi dua riwayat blockchain yang saling bertentangan.

Liveness berarti blockchain dapat terus mengalami kemajuan dan memfinalisasi checkpoint baru.

Finality gadget harus menyeimbangkan kedua sifat tersebut.

Menolak melakukan finalisasi saat terjadi ketidakpastian dapat menjaga safety, tetapi menunda penyelesaian.

Melakukan finalisasi terlalu mudah dapat meningkatkan kecepatan, tetapi melemahkan perlindungan terhadap riwayat yang bertentangan.

Casper FFG memprioritaskan safety yang kuat dan menggunakan inactivity leak untuk memulihkan liveness setelah gangguan berkepanjangan.

Apa Itu Penundaan Finality?

Penundaan finality terjadi ketika blok baru terus diproduksi, tetapi checkpoint tidak menerima cukup vote yang memenuhi syarat untuk difinalisasi.

Penundaan ini dapat disebabkan oleh gangguan validator, bug perangkat lunak, partisi jaringan, attestation yang tidak benar, atau serangan yang disengaja.

Aplikasi dapat terus menampilkan transaksi yang baru diusulkan selama penundaan tersebut.

Namun, sistem bernilai tinggi mungkin menunggu hingga finality kembali berjalan sebelum menganggap transaksi tersebut telah diselesaikan secara permanen.

Penundaan finality tidak boleh disamakan dengan reorganisasi chain yang telah dikonfirmasi.

Penundaan ini menandakan meningkatnya ketidakpastian mengenai blok terbaru, bukan bukti bahwa blok tersebut telah dihapus.

Apa Itu Double Finality?

Double finality terjadi ketika dua checkpoint yang saling bertentangan tampak sama-sama memenuhi aturan finalisasi protokol.

Ini merupakan kegagalan konsensus kritis.

Berdasarkan model Casper FFG normal, setidaknya sepertiga stake validator harus telah menandatangani vote bertentangan yang dapat dikenai slashing.

Node yang melihat dua riwayat finalized yang bertentangan tidak dapat menyelesaikan masalah ini secara otomatis menggunakan aturan fork choice biasa.

Koordinasi off-chain dan konsensus sosial mungkin diperlukan untuk menentukan riwayat mana yang harus diterima.

Karena itu, double finality jauh lebih serius daripada reorganisasi normal dalam rentang pendek.

Finality Gadget dan Reorganisasi Chain

Reorganisasi chain terjadi ketika node mengganti blok terbaru dengan cabang yang bersaing.

Reorganisasi kecil dapat terjadi sebelum finality karena validator mungkin menerima blok dan pesan pada waktu yang berbeda.

Finality gadget membatasi seberapa jauh reorganisasi normal dapat terjadi.

Node yang jujur tidak boleh mereorganisasi chain ke cabang yang bertentangan dengan checkpoint finalized terbaru.

Aplikasi yang menerima blok yang belum difinalisasi harus memperhitungkan kemungkinan reorganisasi jarak pendek yang masih tersisa.

Finality dan Deposit Kripto

Layanan deposit kripto dapat menunggu hingga transaksi mencapai jumlah konfirmasi tertentu atau finality protokol sebelum menyediakan dana tersebut.

Deposit bernilai lebih kecil dapat dikreditkan sebelum mencapai finality penuh jika layanan menerima risiko reorganisasi yang terbatas.

Deposit bernilai lebih besar mungkin memerlukan keyakinan penyelesaian yang lebih kuat.

Periode tunggu yang diwajibkan merupakan keputusan risiko operasional, bukan aturan universal blockchain.

Pengguna sebaiknya membedakan antara transaksi yang masuk ke blok, transaksi yang ditampilkan wallet, pengkreditan oleh layanan, dan penyelesaian final.

Finality dan Cross-Chain Bridge

Cross-chain bridge memantau satu blockchain dan bertindak di blockchain lain setelah mendeteksi peristiwa di chain sumber.

Bridge yang bertindak sebelum finality chain sumber dapat memproses transfer yang kemudian dihapus akibat reorganisasi.

Penyerang dapat mencoba menerima aset di chain tujuan sebelum transaksi di chain sumber menghilang.

Menunggu finality mengurangi risiko ini, tetapi memperpanjang waktu transfer.

Perancang bridge juga harus mempertimbangkan keamanan validator, relayer, smart contract, light client, dan chain tujuan.

Finality chain sumber hanya melindungi satu bagian dari keseluruhan sistem bridge.

Finality dan Jaringan Layer 2

Jaringan Layer 2 memproses transaksi di luar blockchain dasar dan menerbitkan data, proof, atau komitmen kembali ke blockchain tersebut.

Pengguna dapat menerima konfirmasi lokal dengan cepat sebelum transaksi terkait di base layer difinalisasi.

Penyelesaian penuh dapat bergantung pada desain Layer 2, sistem proof, periode challenge, ketersediaan data, dan finality base layer.

Transaksi yang disebut final dalam aplikasi Layer 2 mungkin belum mencapai penyelesaian final di blockchain yang mendasarinya.

Pengguna sebaiknya memeriksa jenis finality yang dimaksud oleh aplikasi.

Finality dan Smart Contract

Transaksi smart contract dapat berhasil dieksekusi sebelum bloknya difinalisasi.

Aplikasi lain mungkin langsung menjalankan operasi tambahan di atas status sementara transaksi tersebut.

Reorganisasi chain dapat menghapus transaksi dan setiap perubahan status yang bergantung padanya dalam cabang yang digantikan.

Karena itu, tindakan off-chain bernilai tinggi sebaiknya menunggu tingkat konfirmasi atau finality yang sesuai.

Smart contract yang berjalan di chain yang sama biasanya tidak dapat menunggu finality di tengah satu transaksi karena transaksi tersebut dieksekusi dalam satu blok.

Alur kerja yang bergantung pada finality biasanya memerlukan transaksi berikutnya, relayer, atau pemantauan off-chain.

Apa Itu Weak Subjectivity?

Weak subjectivity adalah karakteristik proof-of-stake ketika node baru atau node yang lama offline memerlukan checkpoint tepercaya terbaru untuk mengidentifikasi chain yang benar dengan aman.

Penyerang jangka panjang dapat mencoba membuat riwayat alternatif menggunakan kunci validator yang stake-nya telah lama ditarik.

Mantan validator tersebut mungkin tidak lagi memiliki stake aktif yang dapat dikenai slashing biasa.

Checkpoint weak subjectivity terbaru memberi tahu node riwayat blockchain mana yang diakui oleh komunitas aktif.

Dokumentasi resmi Ethereum tentang weak subjectivity menjelaskan cara checkpoint terbaru melindungi node yang sedang melakukan sinkronisasi dari riwayat alternatif yang sudah usang.

Weak subjectivity bukan berarti setiap transaksi harian memerlukan kepercayaan pada otoritas pusat.

Konsep ini terutama berlaku untuk memulai node dengan aman ketika node tersebut tidak memiliki informasi terbaru tentang chain.

Checkpoint Weak Subjectivity vs. Checkpoint Finalized

Checkpoint finalized dihasilkan melalui proses voting validator protokol.

Checkpoint weak subjectivity adalah referensi tepercaya terbaru yang diberikan kepada node baru atau node yang lama offline.

Jika node melihat dua checkpoint finalized yang bertentangan, node memiliki bukti kegagalan konsensus kritis, tetapi tidak dapat secara otomatis mengidentifikasi cabang yang diterima secara sosial.

Jika sebuah blok bertentangan dengan checkpoint weak subjectivity tepercaya milik node, node akan menolak blok tersebut.

Kedua konsep ini saling berkaitan, tetapi memiliki tujuan keamanan yang berbeda.

Apa Itu Checkpoint Sync?

Checkpoint sync memungkinkan node proof-of-stake mulai melakukan sinkronisasi dari checkpoint tepercaya terbaru, alih-alih memproses seluruh riwayat konsensus sejak genesis.

Hal ini dapat mengurangi waktu yang diperlukan untuk menjalankan node.

Node harus mendapatkan checkpoint dari sumber tepercaya atau yang telah diverifikasi secara independen.

Menggunakan checkpoint berbahaya dapat menempatkan node pada chain yang salah.

Operator node dapat membandingkan checkpoint dari beberapa sumber independen sebelum mengandalkan suatu nilai.

Finality Gadget vs. Aturan Fork Choice

Aturan fork choice memilih cabang yang harus diikuti node saat ini.

Finality gadget menentukan checkpoint lama mana yang tidak boleh lagi digantikan.

Hasil fork choice dapat berubah ketika pesan baru masuk.

Batas finalized seharusnya tetap stabil kecuali terjadi kegagalan konsensus yang serius.

LMD-GHOST Ethereum adalah aturan fork choice, sedangkan Casper FFG adalah finality gadget.

Finality Gadget vs. Mekanisme Konsensus

Mekanisme konsensus adalah keseluruhan kumpulan aturan, insentif, asumsi jaringan, logika fork choice, pemilihan validator, dan proses finality yang digunakan untuk menjaga kesepakatan.

Finality gadget adalah salah satu komponen dari sistem yang lebih besar tersebut.

Menyebut Casper FFG sebagai keseluruhan mekanisme konsensus Ethereum berarti mengabaikan usulan blok, LMD-GHOST, eksekusi transaksi, reward, jaringan, dan fungsi penting lainnya.

Dokumentasi mekanisme konsensus Ethereum menjelaskan bahwa konsensus mencakup rangkaian protokol dan insentif yang lengkap, bukan hanya proof-of-stake atau satu algoritma voting.

Finality Gadget vs. Proof-of-Stake

Proof-of-stake adalah metode untuk menetapkan pengaruh dalam konsensus berdasarkan aset kripto yang di-staking.

Finality gadget adalah sekumpulan aturan yang menggunakan vote validator untuk memfinalisasi blok atau checkpoint.

Blockchain proof-of-stake dapat menggunakan finality gadget, tetapi kedua istilah tersebut tidak dapat dipertukarkan.

Jaringan proof-of-stake yang berbeda dapat menggunakan aturan finality, ambang batas, jadwal voting, dan penalti yang berbeda.

Finality Gadget vs. Byzantine Fault Tolerance

Byzantine fault tolerance menggambarkan kemampuan sistem terdistribusi untuk mempertahankan kesepakatan meskipun sebagian peserta bertindak tidak benar atau dengan niat jahat.

Banyak finality gadget menggunakan gagasan dari konsensus Byzantine fault-tolerant.

Ambang batas voting supermajority memungkinkan sistem menoleransi bagian terbatas dari bobot validator yang bermasalah.

Penalti ekonomi menambahkan lapisan insentif proof-of-stake pada aturan voting tersebut.

Dengan demikian, finality gadget adalah komponen praktis blockchain, sedangkan Byzantine fault tolerance merupakan sifat dan bidang riset sistem terdistribusi yang lebih luas.

GRANDPA sebagai Finality Gadget

GRANDPA adalah singkatan dari GHOST-based Recursive ANcestor Deriving Prefix Agreement.

GRANDPA adalah finality gadget yang digunakan dalam desain konsensus Polkadot.

GRANDPA terpisah dari mekanisme yang menghasilkan blok kandidat.

Validatornya memberikan vote pada chain dan dapat memfinalisasi leluhur bersama dari beberapa blok, alih-alih hanya memfinalisasi satu blok baru setiap kali.

Dokumentasi konsensus resmi Polkadot menjelaskan GRANDPA sebagai finality gadget yang asinkron dan akuntabel.

Casper FFG dan GRANDPA menunjukkan bahwa konsep finality gadget dapat diterapkan melalui algoritma yang berbeda.

Keunggulan Finality Gadget Terpisah

Gadget terpisah memungkinkan produksi blok berlangsung cepat sementara finality yang lebih kuat berkembang melalui vote validator.

Gadget ini dapat memberikan finality yang eksplisit sehingga pengguna tidak perlu memperkirakan keamanan hanya berdasarkan kedalaman konfirmasi.

Kondisi slashing membuat pelanggaran konsensus tertentu dapat dibuktikan secara publik dan dikenai penalti ekonomi.

Desain modular ini dapat memungkinkan peneliti meningkatkan fork choice dan finality sebagai komponen protokol yang terpisah.

Desain ini juga dapat mendukung mekanisme produksi blok yang tetap tersedia selama penundaan finality sementara.

Keterbatasan Finality Gadget

Finality gadget menambah kompleksitas protokol.

Validator harus mengelola kunci, jadwal voting, koneksi jaringan, dan risiko slashing.

Mencapai supermajority memerlukan waktu dan komunikasi.

Gangguan besar pada validator dapat menunda finality meskipun blok terus diproduksi.

Konsentrasi validator dapat memperburuk dampak kegagalan terkoordinasi atau penyensoran.

Node baru dan node yang lama offline mungkin memerlukan checkpoint tepercaya terbaru berdasarkan asumsi weak subjectivity.

Finality ekonomi juga bergantung pada nilai aktual dan distribusi aset yang di-staking.

Konsentrasi Validator dan Risiko Finality

Finality gadget lebih aman ketika stake validator tersebar di antara operator, client perangkat lunak, lokasi, dan penyedia infrastruktur yang independen.

Stake yang terkonsentrasi dapat memungkinkan satu organisasi atau kelompok terkoordinasi menunda finality.

Bug perangkat lunak yang sama juga dapat memengaruhi banyak validator secara bersamaan.

Jika satu client konsensus mengendalikan lebih dari sepertiga stake, bug serius dapat menghambat finality.

Jika satu implementasi yang bermasalah mengendalikan supermajority, konsekuensinya dapat lebih parah.

Panduan keragaman client Ethereum menjelaskan alasan penyebaran penggunaan validator ke berbagai implementasi client independen dapat mengurangi risiko konsensus yang berkorelasi.

Partisi Jaringan dan Finality

Partisi jaringan terjadi ketika kelompok validator tidak dapat berkomunikasi satu sama lain dengan andal.

Setiap kelompok mungkin melihat kumpulan blok dan attestation yang berbeda.

Jika tidak ada pihak yang menguasai dua pertiga stake aktif, tidak satu pun seharusnya memfinalisasi checkpoint baru.

Hilangnya liveness ini melindungi safety karena kelompok-kelompok tersebut tidak dapat dengan mudah memfinalisasi riwayat yang saling bertentangan.

Inactivity leak pada akhirnya dapat memungkinkan salah satu pihak memulihkan finality jika partisi berlangsung cukup lama.

Pemulihan mungkin memerlukan koordinasi yang cermat karena validator di kedua pihak dapat terkena penalti.

Dapatkah Finality Gadget Memfinalisasi Transaksi yang Tidak Valid?

Finality gadget tidak menggantikan validasi transaksi dan blok normal.

Execution client memverifikasi tanda tangan, saldo, aturan smart contract, dan persyaratan transaksi lainnya.

Consensus client memverifikasi aturan blok dan validator.

Node yang jujur menolak blok yang tidak valid sebelum menerima dukungan validator sebagai sesuatu yang dapat diterima.

Karena itu, finalisasi blok yang tidak valid memerlukan kegagalan serius yang melibatkan perilaku validator, perangkat lunak client, asumsi implementasi, atau tata kelola jaringan.

Finality membuat riwayat valid yang telah diterima sulit dibalikkan, tetapi tidak mengubah transaksi yang jelas-jelas tidak valid menjadi valid ketika client berfungsi dengan benar.

Dapatkah Validator Membalikkan Blok yang Telah Difinalisasi?

Validator yang mengikuti protokol tidak memberikan vote untuk chain yang bertentangan dengan checkpoint finalized.

Kelompok yang mencoba memfinalisasi riwayat alternatif memerlukan voting power yang cukup untuk melanggar aturan konsensus.

Vote yang bertentangan akan membuat setidaknya sebagian stake yang tidak jujur berisiko terkena slashing.

Serangan yang melibatkan lebih dari dua pertiga stake dapat mengendalikan finalisasi untuk sementara, tetapi konsekuensi ekonomi dan sosialnya akan luar biasa besar.

Karena itu, pengguna sebaiknya memperlakukan blok finalized secara berbeda dari blok yang baru diusulkan.

Apa Itu Single-Slot Finality?

Single-slot finality adalah desain blockchain yang diusulkan, di mana sebuah blok dapat diusulkan dan difinalisasi dalam satu slot.

Proses finality Ethereum saat ini memerlukan waktu sekitar 15 menit.

Single-slot finality akan mempersingkat waktu tunggu bagi aplikasi dan pengguna.

Hal ini juga dapat membatasi waktu ketika blok terbaru masih terbuka terhadap upaya reorganisasi.

Penerapannya pada skala Ethereum memerlukan agregasi dan verifikasi yang efisien untuk validator dalam jumlah sangat besar.

Per Juli 2026, single-slot finality masih menjadi bagian dari roadmap Ethereum mendatang dan belum digunakan dalam proses finality di mainnet.

Mengapa Finality yang Lebih Cepat Sulit Dicapai?

Finality yang lebih cepat mengharuskan validator berkomunikasi, melakukan voting, mengagregasi tanda tangan, dan memverifikasi hasil dalam waktu yang lebih singkat.

Jaringan validator global mengalami latensi, gangguan sementara, dan kualitas koneksi yang tidak merata.

Mewajibkan setiap validator untuk melakukan vote pada setiap slot dapat menimbulkan kebutuhan bandwidth dan komputasi yang signifikan.

Penggunaan komite yang lebih kecil meningkatkan efisiensi, tetapi dapat mengurangi keamanan ekonomi yang diwakili setiap vote.

Perancang protokol harus menyeimbangkan kecepatan, desentralisasi, safety, kebutuhan perangkat keras, dan ketahanan.

Mengapa Finality Penting bagi Trader Kripto?

Finality membantu trader memahami kapan deposit atau transfer kecil kemungkinannya hilang akibat reorganisasi chain.

Transaksi yang hanya terlihat di blok yang baru diusulkan masih memiliki risiko reorganisasi.

Transaksi finalized telah melewati ambang batas konsensus normal terkuat dari jaringan.

Trader yang memindahkan jumlah besar dapat memilih untuk menunggu finality meskipun suatu layanan mengkredit transaksi yang lebih kecil lebih awal.

Finality tidak dapat melindungi trader dari pengiriman kripto ke alamat yang salah, penandatanganan transaksi berbahaya, atau pembelian aset yang nilainya turun.

Mengapa Finality Penting bagi Developer?

Developer harus menentukan kapan aplikasi sebaiknya menganggap suatu peristiwa on-chain telah diselesaikan.

Respons langsung meningkatkan kecepatan, tetapi menambah risiko reorganisasi.

Menunggu finality penuh meningkatkan keyakinan atas penyelesaian, tetapi menambah latensi.

Jika antarmuka jaringan mendukung konsep tersebut, aplikasi sebaiknya membedakan status blok proposed, safe, dan finalized.

Aplikasi cross-chain sebaiknya mempertimbangkan finality pada chain sumber dan tujuan.

Sistem pemantauan sebaiknya mendeteksi penundaan finality, bukan berasumsi bahwa finalisasi selalu berjalan sesuai jadwal.

Mengapa Finality Penting bagi Validator?

Validator membantu menciptakan finality dengan menerbitkan attestation yang tepat waktu dan konsisten.

Validator harus melindungi kunci penandatanganan dan menghindari konfigurasi yang dapat menghasilkan pesan bertentangan.

Sistem failover harus dirancang dengan cermat karena dua instance validator aktif yang menggunakan kunci sama dapat melakukan double voting.

Validator sebaiknya menggunakan database perlindungan slashing jika didukung oleh perangkat lunak mereka.

Keragaman client, sinkronisasi waktu yang andal, jaringan yang aman, dan pemantauan juga mengurangi risiko terkait finality.

Cara Pengguna Memeriksa Finality

Blockchain explorer atau antarmuka node dapat memberi label bahwa suatu blok telah finalized.

API konsensus Ethereum juga menyediakan informasi checkpoint finalized.

Wallet mungkin hanya menampilkan transaksi sebagai confirmed tanpa menunjukkan apakah finality penuh telah tercapai.

Pengguna yang menangani transfer bernilai tinggi dapat membandingkan blok transaksi dengan blok finalized terbaru di jaringan.

Antarmuka pihak ketiga dapat menampilkan data yang terlambat atau tidak akurat, sehingga sistem kritis dapat meminta data langsung dari node sendiri atau beberapa sumber independen.

Kesalahpahaman Umum tentang Finality Gadget

Finality gadget bukan keseluruhan mekanisme konsensus blockchain.

Finality gadget tidak selalu menghasilkan blok.

Blok yang baru dikonfirmasi belum tentu finalized.

Finality bukan berarti setiap aplikasi sudah mengkreditkan transaksi.

Transaksi finalized tidak dapat dibalikkan dalam operasi protokol normal, tetapi kegagalan konsensus yang dahsyat secara teori masih mungkin terjadi.

Slashing tidak diterapkan kepada setiap validator yang melewatkan satu vote.

Slashing ditujukan pada perilaku bertentangan yang dapat dibuktikan atau tindakan tidak jujur yang serius, sedangkan ketidakikutsertaan biasa umumnya menerima penalti yang lebih kecil.

Penundaan finality tidak otomatis berarti blockchain berhenti memproduksi blok.

Casper FFG tidak sama dengan LMD-GHOST.

Single-slot finality saat ini belum aktif di mainnet Ethereum.

Pertanyaan Umum

Apa arti finality gadget dalam kripto?

Finality gadget adalah komponen konsensus yang menggunakan voting validator dan aturan ekonomi untuk menentukan kapan blok atau checkpoint harus dianggap final.

Apa tujuan finality gadget?

Tujuannya adalah memberikan jaminan penyelesaian yang kuat dan mencegah reorganisasi chain normal menggantikan riwayat blockchain yang telah difinalisasi.

Apa finality gadget yang paling dikenal?

Casper the Friendly Finality Gadget, atau Casper FFG, adalah contoh yang paling dikenal dan digunakan dalam sistem konsensus proof-of-stake Ethereum.

Apa kepanjangan FFG?

FFG adalah singkatan dari Friendly Finality Gadget.

Apakah Casper FFG sama dengan proof-of-stake Ethereum?

Tidak. Casper FFG adalah komponen finality dalam mekanisme konsensus proof-of-stake Ethereum yang lebih luas.

Apa Itu Gasper?

Gasper adalah desain konsensus Ethereum yang menggabungkan finality gadget Casper FFG dengan aturan fork choice LMD-GHOST.

Apa perbedaan Casper FFG dan LMD-GHOST?

Casper FFG memfinalisasi checkpoint, sedangkan LMD-GHOST memilih head blockchain saat ini.

Apa Itu Blok Finalized?

Blok finalized adalah blok yang tidak dapat dihapus dalam operasi protokol normal tanpa kegagalan konsensus serius dan penalti validator yang besar.

Apa Itu Checkpoint Justified?

Checkpoint justified telah menerima tautan supermajority yang memenuhi syarat dari checkpoint justified sebelumnya, tetapi belum tentu mencapai finality.

Apa Itu Tautan Supermajority?

Tautan supermajority adalah vote checkpoint yang didukung oleh setidaknya dua pertiga stake validator aktif yang relevan.

Berapa lama finality Ethereum berlangsung?

Saat ini, Ethereum mencapai finality protokol penuh dalam waktu sekitar 15 menit dalam kondisi normal.

Berapa lama satu epoch Ethereum?

Satu epoch Ethereum terdiri dari 32 slot berdurasi 12 detik dan berlangsung sekitar 6,4 menit.

Apakah satu konfirmasi Ethereum berarti final?

Tidak. Blok dapat dikonfirmasi dan diterima sebagai head chain saat ini sebelum mencapai finality pada tingkat protokol.

Dapatkah transaksi finalized dibalikkan?

Tidak dalam operasi normal, karena pembalikan akan memerlukan pelanggaran aturan validator yang besar, penalti ekonomi, atau kegagalan konsensus yang luar biasa.

Berapa banyak stake yang diperlukan untuk memfinalisasi checkpoint?

Vote yang mewakili setidaknya dua pertiga stake aktif diperlukan untuk membuat tautan supermajority yang relevan.

Mengapa sepertiga stake penting?

Lebih dari sepertiga dapat menunda finality, sedangkan finalisasi yang bertentangan akan membuat setidaknya sepertiga stake dapat dikenai slashing berdasarkan asumsi normal Casper.

Apa yang terjadi jika sepertiga validator offline?

Jaringan mungkin berhenti memfinalisasi checkpoint baru karena voting power yang tersisa tidak dapat mencapai ambang batas dua pertiga yang diwajibkan.

Apa Itu Inactivity Leak?

Inactivity leak adalah mekanisme yang secara bertahap mengurangi stake validator yang tidak berpartisipasi selama kegagalan finality berkepanjangan, sehingga validator aktif pada akhirnya dapat kembali mencapai supermajority.

Apakah penundaan finality menghentikan semua transaksi?

Belum tentu, karena blok masih dapat diusulkan meskipun checkpoint baru belum mencapai finality.

Apa Itu Double Finality?

Double finality adalah kegagalan konsensus kritis ketika dua checkpoint yang saling bertentangan tampak sama-sama telah difinalisasi.

Apa Itu Double Voting?

Double voting terjadi ketika validator menandatangani target checkpoint yang berbeda untuk epoch target yang sama.

Apa Itu Surround Voting?

Surround voting terjadi ketika satu vote checkpoint yang dibuat validator secara tidak semestinya mencakup vote lain yang dibuat oleh validator yang sama.

Apa Itu Slashing?

Slashing adalah penghancuran stake validator dan pengeluarannya dari validasi aktif setelah terjadi pelanggaran konsensus serius yang dapat dibuktikan.

Apakah finality gadget hanya digunakan oleh Ethereum?

Tidak. Sistem blockchain lain menggunakan mekanisme finality terpisah, termasuk finality gadget GRANDPA.

Apa Itu GRANDPA?

GRANDPA adalah finality gadget yang melakukan voting pada chain dan memfinalisasi leluhur bersama secara terpisah dari proses produksi blok.

Apa Itu Weak Subjectivity?

Weak subjectivity berarti node proof-of-stake yang baru atau lama offline memerlukan checkpoint tepercaya terbaru agar dapat melakukan sinkronisasi dengan aman.

Apa Itu Checkpoint Sync?

Checkpoint sync memungkinkan node memulai sinkronisasi konsensus dari checkpoint tepercaya terbaru, alih-alih memproses seluruh riwayat sejak genesis.

Apa Itu Single-Slot Finality?

Single-slot finality adalah desain yang diusulkan, ketika sebuah blok diusulkan dan difinalisasi dalam slot yang sama.

Apakah Ethereum saat ini menggunakan single-slot finality?

Tidak. Per Juli 2026, fitur ini masih menjadi sasaran dalam roadmap mendatang.

Mengapa crypto bridge menunggu finality?

Bridge menunggu untuk mengurangi risiko menerbitkan aset atau pesan berdasarkan transaksi di chain sumber yang kemudian dihapus akibat reorganisasi.

Apakah finality melindungi dari pencurian wallet?

Tidak. Finality melindungi riwayat blockchain, bukan kunci privat, izin wallet, keamanan smart contract, atau nilai investasi.

Bagaimana pengguna dapat memeriksa apakah sebuah blok sudah finalized?

Pengguna dapat membandingkan blok transaksi dengan checkpoint finalized terbaru yang dilaporkan oleh blockchain explorer atau node konsensus tepercaya.

Kesimpulan

Finality gadget adalah komponen konsensus blockchain yang mengubah kesepakatan validator menjadi jaminan penyelesaian yang kuat.

Finality gadget bekerja bersama produksi blok dan aturan fork choice, bukan menggantikan seluruh mekanisme konsensus.

Casper FFG Ethereum menggunakan vote checkpoint, tautan supermajority dua pertiga, status justified, finalisasi, dan kondisi slashing untuk melindungi riwayat blockchain.

Ethereum menggabungkan Casper FFG dengan LMD-GHOST dalam desain konsensus yang lebih luas dan dikenal sebagai Gasper.

Checkpoint finalized tidak dapat digantikan dalam operasi normal tanpa pelanggaran aturan validator yang besar dan penalti ekonomi yang signifikan.

Finality gadget dapat menjaga safety dengan menunda finalisasi ketika terlalu banyak validator offline atau tidak sepakat.

Inactivity leak Ethereum dirancang untuk memulihkan liveness dengan mengurangi pengaruh stake yang tidak berpartisipasi selama kegagalan finality berkepanjangan.

Finality penting bagi deposit kripto, bridge, sistem Layer 2, smart contract, validator, dan aplikasi apa pun yang perlu menentukan kapan suatu peristiwa on-chain telah diselesaikan secara permanen.

Finality Ethereum saat ini memerlukan waktu sekitar 15 menit, sedangkan single-slot finality masih menjadi sasaran pengembangan di masa mendatang.

Memahami perbedaan antara usulan blok, fork choice, konfirmasi, status justified, dan finalisasi membantu pengguna kripto menilai risiko penyelesaian blockchain dengan lebih akurat.