Crypto Gloss

Practical Byzantine Fault Tolerance: Fondasi Konsensus BFT Modern

Penulis Castro, Miguel; Liskov, Barbara
Tahun 1999
Proyek PBFT (MIT CSAIL)
Lisensi Public Domain
Sumber Resmi pmg.csail.mit.edu/papers/osdi99.pdf
Disclaimer: Halaman ini merupakan ringkasan dan analisis edukatif dari whitepaper atau makalah teknis resmi. Konten ini disajikan untuk tujuan pendidikan semata dan bukan merupakan saran investasi atau keuangan. Selalu baca dokumen asli dan lakukan riset mandiri sebelum mengambil keputusan keuangan apa pun.

“Practical Byzantine Fault Tolerance” adalah makalah landmark oleh Miguel Castro dan Barbara Liskov (MIT), dipresentasikan di konferensi OSDI 1999. Ini adalah protokol pertama yang praktis untuk replikasi state machine yang toleran terhadap kegagalan Byzantine di jaringan asinkron — memungkinkan sistem terdistribusi mencapai konsensus bahkan ketika hingga sepertiga dari node berlaku curang atau jahat. PBFT menjadi fondasi teori untuk hampir semua protokol konsensus Proof of Stake modern.

Publikasi dan Konteks

Masalah Byzantine Generals (Lamport, Shostak, Pease, 1982) memformalisasi tantangan: bagaimana node terdistribusi mencapai kesepakatan ketika sebagian node mungkin jahat? Solusi awal memerlukan kompleksitas pesan eksponensial — tidak praktis. Castro dan Liskov membuktikan bahwa 3f+1 replika (di mana f adalah jumlah node yang rusak) sudah cukup untuk BFT, dan merancang protokol tiga fase dengan kompleksitas pesan polinomial.

Cara Kerja PBFT

Model sistem: n = 3f+1 replika; hingga f bisa rusak secara Byzantine (bisa berbohong, menghilangkan, atau menunda pesan sewenang-wenang). Protokol menjamin keamanan (kesepakatan) di jaringan asinkron dan liveness di bawah sinkroni akhir.

Tiga fase per permintaan:

  1. Pre-prepare: Primary (leader) menetapkan nomor urut ke permintaan klien dan menyiarkan pesan PRE-PREPARE dengan ringkasan permintaan ke semua backup.
  2. Prepare: Setiap backup yang menerima pre-prepare menyiarkan pesan PREPARE. Replika “disiapkan” ketika mengumpulkan 2f pesan PREPARE yang cocok. Fase ini memastikan semua replika non-faulty setuju tentang nomor urut untuk permintaan tersebut.
  3. Commit: Setiap replika yang disiapkan menyiarkan COMMIT. Ketika 2f+1 pesan COMMIT terkumpul, replika mengeksekusi permintaan dan membalas ke klien. Klien menerima hasil ketika f+1 balasan identik diterima.

View change: Jika primary rusak atau tidak responsif, backup menginisiasi view change untuk memilih primary berikutnya. View change memerlukan 2f+1 tanda tangan untuk selesai.

Mengapa Penting untuk Kripto

PBFT sendiri tidak digunakan langsung di blockchain produksi — kompleksitas komunikasi O(n²) membuatnya tidak praktis di luar ~20 validator. Tetapi PBFT membuktikan konsensus BFT bisa dicapai dan menginspirasi semua protokol konsensus PoS modern:

  • Tendermint (Cosmos, ATOM) — keturunan langsung PBFT
  • HotStuff (Diem, Aptos, Sui) — varian PBFT komunikasi linear
  • Casper FFG (Ethereum PoS) — gadget finalitas terinspirasi PBFT
  • aBFT (Hedera Hashgraph) — BFT asinkron terinspirasi analisis PBFT

Prestasi Barbara Liskov

Barbara Liskov menerima Turing Award 2008 (hadiah tertinggi ilmu komputer) sebagian atas kontribusinya pada sistem terdistribusi yang dapat dipercaya, termasuk pekerjaan yang mengarah ke PBFT. Dia adalah wanita kedua yang menerima Turing Award.

Istilah Terkait

Referensi