Lompat ke konten
Financial Context Wiki

Mekanisme konsensus: validitas, pilihan fork, dan finalitas

Mekanisme konsensus mengoordinasikan replika pada riwayat yang kompatibel di bawah asumsi kegagalan dan jaringan yang jelas. Analisis keputusan, peserta dan bobot, validitas, usulan, pilihan fork, finalitas, keamanan, keaktifan, dan penerapan secara terpisah.

Diperbarui

Hanya untuk tujuan edukasi; bukan merupakan nasihat investasi atau rekomendasi investasi. Investasi dapat mengakibatkan kerugian.

Jawaban langsung

Mekanisme konsensus adalah protokol yang membuat replika tanpa kegagalan mencapai keputusan yang kompatibel tentang log berurutan atau keadaan, meskipun ada penundaan, konkurensi, dan kegagalan yang dicakup modelnya. Dalam blockchain, mekanisme lengkap dapat mencakup pemilihan pengusul, validasi blok dan transisi keadaan, suara atau bukti, pilihan fork, komitmen atau finalitas, pemulihan, dan aturan keanggotaan. Mekanisme ini bukan sekadar “banyak komputer menyimpan berkas yang sama”, ambang suara, penambangan, staking, atau jadwal insentif.

Tiga sifat harus dinyatakan terpisah. safety (keamanan) mencegah peserta tanpa kegagalan membuat keputusan yang tidak kompatibel; liveness (keaktifan) menyatakan bahwa pekerjaan valid pada akhirnya dapat maju dalam kondisi tertentu; validity (validitas) membatasi hal yang boleh diputuskan. Protokol dapat berhenti sambil mempertahankan keamanan atau terus berjalan di bawah asumsi yang mengizinkan reorganisasi kemudian. Kata “konsensus” saja tidak menentukan jaminan mana yang berlaku, kapan berlaku, atau bukti apa yang harus dipercaya klien.

Validitas transaksi dan pemilihan riwayat resmi berbeda. Node penuh secara mandiri menolak transisi keadaan yang melanggar aturan saat ini. Jika dua transaksi yang masing-masing valid membelanjakan masukan yang sama, pengurutan atau pilihan fork menentukan transaksi yang masuk riwayat resmi; mayoritas sumber daya tidak membuat keduanya valid. Kesepakatan atas byte juga tidak membuktikan kebenaran fakta oracle, klaim jembatan, perhitungan aplikasi, atau pernyataan hukum.

Proof of Work dan Proof of Stake biasanya menyediakan ketahanan Sybil, pengaruh pengusulan, atau bobot suara yang dapat dimintai pertanggungjawaban, tetapi namanya tidak menentukan protokol lengkap. Bitcoin menggabungkan bukti kerja dengan validasi dan pemilihan berdasarkan kerja kumulatif. Gasper Ethereum menggabungkan pengesahan berbobot stake, pilihan LMD-GHOST, dan finalitas checkpoint Casper FFG. BFT berbasis putaran seperti CometBFT memiliki pesan, ambang, asumsi waktu, dan finalitas berbeda. Persentasenya tidak dapat saling dipertukarkan.

Cara menganalisis

  1. Sebutkan keputusan dan cakupannya. Nyatakan apakah replika memutuskan satu nilai, log transaksi berurutan, blok pada setiap ketinggian, checkpoint, atau keadaan aplikasi; identifikasi rantai, jaringan, lapisan, versi, dan titik awal tepercaya.
  2. Definisikan peserta dan pengaruh. Pisahkan pengusul, pemilih, validator penuh, klien ringan, dan pengamat. Catat cara identitas masuk dan keluar, apakah pengaruh mengikuti daya hash, stake, keanggotaan setara, atau bobot lain, serta pencegahan identitas duplikat yang murah.
  3. Pisahkan tahap protokol. Dokumentasikan validitas transaksi dan keadaan, pembangunan serta penyebaran usulan, suara atau bukti, pilihan fork, komitmen, finalitas, dan pemulihan. Blok valid dapat kalah dalam pilihan fork, dan kepala resmi mungkin belum final.
  4. Nyatakan model sistem. Definisikan kanal terautentikasi, sinkron atau sinkron parsial, asumsi penundaan dan batas waktu, kegagalan berhenti dan Bizantium, pernyataan bercabang, penghilangan, korupsi adaptif, pencurian kunci, partisi, serta jumlah atau bobot gagal maksimum f.
  5. Lacak satu keputusan. Ikuti domain pesan, ketinggian, putaran, induk, penguncian, sertifikat, dan keadaan lokal dari usulan hingga keputusan. Tunjukkan penanganan pesan terlambat, pengusul bercabang, putaran yang habis waktu, atau dua cabang valid.
  6. Verifikasi keamanan dan keaktifan terpisah. Turunkan perpotongan kuorum, pertumbuhan rantai, atau syarat lain dengan himpunan peserta dan cuplikan bobot yang tepat. Kemudian uji apakah konektivitas dan partisipasi jujur masih cukup untuk maju; jangan simpulkan keaktifan dari ambang keamanan.
  7. Petakan bukti ke penerapan. Periksa versi klien, perubahan parameter, konsentrasi anggota dan stake, penitipan kunci, keragaman peer, peran builder atau sequencer, checkpoint, aturan subjektivitas lemah, penanganan reorganisasi, dan kebijakan konfirmasi aplikasi.

FLP tidak menyatakan bahwa konsensus yang diterapkan mustahil. Dalam model pesan sepenuhnya asinkron, bahkan satu kegagalan berhenti menyisakan eksekusi yang diizinkan di mana protokol deterministik tidak berakhir. Protokol nyata memperoleh jaminan berguna dengan menambahkan sinkron atau sinkron parsial, keacakan, detektor kegagalan, asumsi ekonomi, atau janji terminasi yang lebih lemah. Tambahan itu harus disebutkan, bukan disembunyikan di balik label.

Contoh terurai

1. Validitas bukan pengurutan resmi

Keluaran belum terpakai U bernilai 1 BTC. Transaksi T_B membelanjakannya kepada Bob, sedangkan T_C membelanjakan keluaran yang sama kepada Carol. Terhadap keadaan induk yang sama, masing-masing dapat memiliki tanda tangan dan format yang benar, tetapi riwayat valid tidak dapat mengonsumsi U dua kali.

Jika dua blok valid yang bersaing masing-masing memuat satu transaksi, validasi mempertahankan kedua cabang kandidat secara lokal dan pilihan fork memilih cabang resmi. Setelah T_B masuk riwayat terpilih, T_C bertentangan dengan keadaan hasilnya. Konsensus memilih urutan; konsensus tidak memperbaiki tanda tangan buruk atau menentukan penerima yang secara moral berhak atas pembayaran.

2. Kerja kumulatif, bukan jumlah node

Misalkan dua cabang valid bergaya Bitcoin memiliki skor kerja kumulatif W_A=240 dan W_B=235 dalam satuan sembarang yang sama. Node pemvalidasi memilih A berdasarkan aturan kerja kumulatif meskipun lebih dahulu mendengar B dari lebih banyak peer. Jumlah peer bukan bobot konsensus.

Jika kemudian B mendapat 10 unit dan A tidak bertambah, hasilnya W_B=245 melawan W_A=240; node dapat bereorganisasi ke B setelah memvalidasi cabang. Aritmetika sederhana ini menunjukkan mengapa konfirmasi PoW bersifat probabilistik: riwayat lebih dalam makin mahal diganti, bukan menjadi mustahil secara logis setelah jumlah blok tertentu.

3. Kuorum BFT berbobot dan berhentinya keaktifan

Ambil bobot validator total 100 dan komitmen bergaya CometBFT yang mensyaratkan precommit >2/3 untuk blok yang sama pada ketinggian dan putaran yang sama. Bobot bulat 67 lolos. Dua kuorum berbobot 67 berpotongan sedikitnya 34, karena 67 + 67 - 100 = 34. Jika bobot Bizantium kurang dari sepertiga, perpotongan memuat bobot jujur yang tidak boleh menandatangani komitmen bertentangan.

Ambang yang sama memperlihatkan batas keaktifan. Jika bobot 34 offline, hanya 66 tersisa dan komitmen tidak dapat terbentuk meskipun semua validator online jujur. Protokol dapat berhenti sambil mempertahankan keamanan; suara tata kelola atau jumlah operator tidak menggantikan bobot konsensus yang hilang.

4. Pilihan fork dan finalitas checkpoint berbeda

Dalam jejak Gasper yang disederhanakan, ambil checkpoint C_0, C_1, dan anak langsung C_2. Suara yang mewakili 67/100 saldo efektif aktif dapat membentuk tautan supermayoritas dari C_0 ke C_1, sehingga C_1 dibenarkan. Tautan berikut yang memenuhi syarat dari C_1 ke C_2 dapat memfinalkan checkpoint lebih awal berdasarkan aturan FFG yang berlaku.

Di antara checkpoint, LMD-GHOST menggunakan pengesahan terbaru validator untuk memilih kepala dari keturunan checkpoint yang dibenarkan dan layak, sedangkan batas checkpoint final menyaring cabang bertentangan. Pemilihan kepala, pembenaran, dan finalisasi adalah transisi terkait tetapi berbeda; “67% memilih blok ini” tidak menjelaskan satu pun secara lengkap.

Risiko dan kegagalan peninjauan

Model dan jaminan

  • Mengatakan “jaringan mencapai konsensus” tanpa mendefinisikan keputusan, keamanan, keaktifan, validitas, dan terminasi.
  • Menganggap Proof of Work, Proof of Stake, penambangan, staking, atau persentase suara sebagai spesifikasi lengkap.
  • Menerapkan 51%, 2/3, atau n=3f+1 secara universal pada model kegagalan, waktu, bobot, dan finalitas yang berbeda.
  • Mencampur kegagalan berhenti, perilaku Bizantium, pencurian kunci, kanal gagal, perangkat lunak berkorelasi, dan penguasaan tata kelola.
  • Menyebut FLP sebagai larangan konsensus praktis, bukan hasil untuk deterministik, asinkron penuh, dan terminasi terjamin.
  • Menghitung node atau kunci tanpa mengukur operator independen, bobot, klien, cloud, dan penitipan.
  • Menganggap resmi, safe, dibenarkan, dikomit, dan final sebagai status yang dapat dipertukarkan.
  • Menyimpulkan kebenaran eksternal, urutan adil, privasi, desentralisasi, atau nilai dari kesepakatan replika.

Protokol dan implementasi

  • Menerima blok atau suara tanpa mengikat rantai, versi, ketinggian, putaran, induk, muatan, pengirim, dan era keanggotaan.
  • Membiarkan implementasi berbeda pada transisi, serialisasi, domain tanda tangan, pilihan, pemecah seri, atau pembulatan.
  • Memverifikasi sertifikat tanpa merekonstruksi cuplikan bobot yang berhak dan penanganan penanda tangan duplikat.
  • Memutar ulang suara, kerja, atau sertifikat lintas fork, jaringan, putaran, peningkatan, atau perubahan validator.
  • Salah memperbarui kunci, checkpoint yang dibenarkan, atau sertifikat tertinggi saat batas waktu, pergantian tampilan, atau pemulihan.
  • Menganggap kepala lokal atau label satu RPC sebagai bukti independen finalitas jaringan.
  • Hanya menguji jalur normal, bukan penundaan, partisi, pernyataan bercabang, usulan tidak valid, reorganisasi, dan pemulihan.

Penerapan dan aplikasi

  • Memusatkan hash, stake, klien, relay, builder, sequencer, cloud, atau penandatanganan di balik identitas yang secara nama terpisah.
  • Mengatur batas waktu atau interval blok di bawah waktu propagasi dan validasi nyata, merusak keaktifan atau menambah fork.
  • Mengkreditkan deposit, mencetak aset jembatan, atau menjalankan tindakan permanen sebelum finalitas sumber dan aplikasi yang diperlukan.
  • Menganggap slashing, imbalan, atau harga token selalu menciptakan anggaran keamanan yang cukup dan likuid.
  • Menggunakan pemulihan sosial atau tata kelola tanpa mengakui siapa yang berkoordinasi, rantai mana yang dipasang klien, dan jaminan lama mana yang berubah.

Kesalahpahaman umum

  • Konsensus dan validasi sama. Validasi menolak data yang melanggar aturan; konsensus memilih keputusan kompatibel di antara kandidat yang mungkin valid secara lokal.
  • Lebih banyak node otomatis lebih aman. Pengaruh, kemandirian, topologi, keragaman perangkat lunak, dan model kegagalan lebih penting daripada jumlah mentah.
  • Penyerang 51% dapat memalsukan tanda tangan siapa pun. Mayoritas sumber daya dapat memungkinkan sensor atau reorganisasi dalam protokol tertentu, tetapi tidak membuka kunci atau mengesahkan pengeluaran tidak valid.
  • Dua pertiga selalu berarti finalitas. Pertidaksamaan, pesan, putaran, cuplikan bobot, aturan penguncian, dan syarat finalitas ditentukan protokol.
  • Blok cepat membuktikan konsensus kuat. Interval pendek dapat menambah perlombaan propagasi dan tekanan sumber daya; nilai latensi bersama keamanan, keaktifan, dan finalitas.

Topik terkait

Sumber

Navigasi

Cari di wiki...