Bizans Generalleri Problemi Nedir?

Bizans generalleri problemi, dağıtık sistemlerde güven sorununu anlatmak için kullanılan klasik bir düşünce deneyidir. 1982'de Leslie Lamport, Robert Shostak ve Marshall Pease tarafından yayımlanan bir makaleyle bu adı almıştır.

Bizans generalleri problemi nedir?

Hikâye şöyledir: Birkaç Bizans generali, ordularıyla bir şehri kuşatmıştır. Saldırının başarılı olması için hepsinin aynı anda saldırması ya da hep birlikte geri çekilmesi gerekir. Generaller yalnızca ulaklar aracılığıyla haberleşebilir. Ancak bazı generaller hain olabilir ve farklı generallere farklı mesajlar gönderebilir; ulaklar da yolda yakalanabilir.

Soru şudur: Sadık generaller, hainlere rağmen aynı karara nasıl varır?

Blokzincirle ilişkisi

Bir blokzincir ağında da durum benzerdir:

• Generaller ağdaki düğümlerdir.
• Hain generaller kötü niyetli ya da hatalı düğümlerdir.
• Ortak karar, hangi işlemlerin geçerli olduğu ve defterin son durumudur.

Merkezi bir otorite olmadan herkesin aynı kayıtta uzlaşması, örneğin çift harcamanın önlenmesi bu problemin pratik bir çözümünü gerektirir.

Bitcoin'in yaklaşımı

Bitcoin, iş ispatı ile bu probleme pratik bir çözüm sundu. Blok üretmek maliyetli olduğu için hile yapmak pahalılaşır; en fazla iş harcanmış zincir geçerli kabul edilir. Hisse ispatlı ağlar ise teminat ve oylama tabanlı Bizans hata toleransı protokolleri kullanır.

Nelere dikkat etmeli?

Hiçbir çözüm sınırsız güvenlik sağlamaz. İş ispatında madencilik gücünün, hisse ispatında teminatın büyük kısmı tek elde toplanırsa ağ saldırıya açık hâle gelebilir. Bu yüzden bir ağın güvenliği teknik tasarım kadar katılımcıların dağılımına da bağlıdır.