Crypto Gloss

Masalah Para Jenderal Byzantium: Fondasi Teoritis Konsensus Terdistribusi

Penulis Lamport, Leslie; Shostak, Robert; Pease, Marshall
Tahun 1982
Proyek SRI International (Penelitian Akademis)
Lisensi Domain Publik
Sumber Resmi lamport.azurewebsites.net/pubs/byz.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.

Paper “The Byzantine Generals Problem” (1982) oleh Leslie Lamport, Robert Shostak, dan Marshall Pease di SRI International adalah makalah fondasi dalam teori konsensus sistem terdistribusi — dan landasan teoritis di mana setiap protokol konsensus blockchain dibangun. Paper ini secara formal mendefinisikan masalah mencapai kesepakatan yang dapat diandalkan di antara node terdistribusi ketika beberapa node mungkin gagal secara sembarang — tidak hanya dengan cara crash, tetapi dengan secara aktif mengirimkan pesan yang salah atau bertentangan. Node yang berperilaku buruk seperti itu disebut Byzantine.

Publikasi dan Konteks

Pada 1982, komputasi terdistribusi telah menetapkan bahwa node dapat gagal dengan crash (berhenti diam-diam), tetapi masalah yang lebih sulit tentang node yang gagal secara jahat belum diformalkan dengan baik. Lamport, Shostak, dan Pease bekerja di SRI International, didanai oleh US Army Research Office dan NASA Langley Research Center, yang membutuhkan komputer avionik yang dapat diandalkan yang tetap berfungsi meski beberapa komponen mengirimkan sinyal rusak.

Analogi: Para Jenderal Byzantium

Paper memframing masalah sebagai skenario militer untuk membangun intuisi: sebuah pasukan Byzantium yang terdiri dari beberapa divisi mengepung kota musuh. Jenderal-jenderal hanya dapat berkomunikasi melalui utusan. Beberapa jenderal (termasuk mungkin komandan) adalah pengkhianat yang mungkin mengirimkan pesan yang bertentangan. Tujuan: memastikan semua jenderal loyal mencapai keputusan yang sama (serang atau mundur), bahkan jika pengkhianat mencoba menyebabkan kebingungan.

Analogi ini memetakan langsung ke komputasi terdistribusi:

  • Jenderal → node terdistribusi (server, validator, replika)
  • Utusan → jaringan
  • Pengkhianat → node Byzantine (rusak, jahat, atau diretas)

Hasil Utama

Batas 3f+1: Paper membuktikan bahwa tidak ada solusi yang mungkin ketika ada kurang dari 3f+1 node total dengan f node Byzantine menggunakan pesan tidak bertanda tangan (oral). Dengan kata lain, untuk mentoleransi 1 pengkhianat, diperlukan minimal 4 jenderal. Untuk f=3 (tiga pengkhianat), diperlukan minimal 10 node.

Dengan tanda tangan digital: Jika pesan dapat ditandatangani secara kriptografis, diperlukan minimal 2f+1 node — jauh lebih baik. Ini adalah fondasi dari semua protokol BFT berbasis tanda tangan (Tendermint, HotStuff, PBFT) yang digunakan dalam blockchain modern.

Relevansi untuk Blockchain

Setiap protokol konsensus blockchain berhadapan langsung dengan Masalah Byzantine:

  • Bitcoin/Proof of Work: Memecahkan Byzantine dengan mengharuskan bukti komputasi (tidak ada yang bisa memalsukan blok dengan mudah)
  • Tendermint/HotStuff/PBFT: BFT klasik berbasis tanda tangan yang langsung mengimplementasikan batas 2f+1
  • Algorand BA*: Menggunakan sortisi kriptografis agar komite tidak diketahui sebelumnya
  • Ethereum PoS: Casper FFG menggunakan pendekatan BFT dengan dua putaran untuk finalitas

Tanpa paper Lamport-Shostak-Pease, kita tidak akan memiliki kerangka formal untuk bertanya: “berapa banyak validator yang bisa gagal sebelum jaringan putus?”

Keterbatasan / Catatan Sejarah

  • Paper berfokus pada analisis teoritis — tidak secara langsung menentukan sistem kinerja tinggi
  • Model komunikasi sinkron awal; banyak pekerjaan lanjutan menangani model asinkron (FLP impossibility theorem)
  • Pendekatan pesan lisan tidak praktis untuk jaringan besar (eksponensial dalam jumlah node)

Warisan dan Dampak

Paper ini dikutip dalam hampir setiap kertas akademis tentang konsensus blockchain. Istilah “Byzantine Fault Tolerance (BFT)” berasal langsung dari paper ini dan menjadi standar industri. Leslie Lamport kemudian memenangkan Turing Award 2013 sebagian atas kontribusinya pada sistem terdistribusi, termasuk paper ini dan paper “Time, Clocks, and the Ordering of Events in a Distributed System” (1978).

Istilah Terkait

Referensi