Bizans Generalleri Problemi, bilgisayar biliminde dağıtık sistemlerin kararlılığı ve doğruluğu için kritik bir sorundur. 1982 yılında Leslie Lamport, Robert Shostak ve Marshall Pease tarafından ortaya atılmıştır. Problem, dağıtık bir sistemdeki bileşenlerin (node’ların), aralarındaki iletişimde doğruluk ve tutarlılık sağlamaya çalışması sırasında karşılaşabileceği güvensizlik durumunu tanımlar.
Problem adını, farklı konumlarda bulunan ve şehri kuşatmış olan Bizanslı generallerin ortak bir saldırı planı yapmaya çalışması senaryosundan alır. Bizans Generalleri Problemi, farklı kalelerde konumlanmış generallerin ortak bir saldırı planı üzerinde anlaşmak zorunda olduğu bir senaryoyu temel alır.
Her general yalnızca sınırlı sayıdaki diğer generalle iletişim kurabilir ve aralarındaki haberleşme güvenli değildir; bazı generaller hain olabilir ya da gönderilen mesajları bozabilir. Başarılı bir saldırı için tüm generallerin aynı anda ve aynı kararda birleşmesi gerekir: ya hep birlikte saldırmalı ya da hep birlikte geri çekilmelidir. Eğer bazıları saldırırken diğerleri çekilirse, tüm ordu dağılır ve kaybeder. Bu nedenle, sistemdeki güvenilir olmayan unsurlara (hain generaller gibi) rağmen doğru ve tutarlı bir kararın nasıl alınabileceği sorusu, dağıtık sistemler açısından da kritik bir problem olarak kabul edilir. Bu senaryo, blokzincir gibi merkeziyetsiz sistemlerde konsensüs sağlama ihtiyacını somut bir biçimde temsil eder.
Bu durum, dağıtık sistemlerdeki aynı zorluklara işaret eder: Her node’un doğru veriye sahip olduğu ve buna dayanarak aynı sonuca ulaştığı nasıl garanti edilir? İşte Bizans Generalleri Problemi tam olarak bu soruyu yanıtlamaya çalışır.
Romalı General Problemi Olarak da Bilinir
Bizans İmparatorluğu’nun Doğu Roma’nı temsilen kullanılması nedeniyle bu problem bazen “Romalı General Problemi” olarak da adlandırılır. Ad seçimi tamamen temsili olup, problemi dramatikleştirerek daha kolay anlatılabilir hale getirir.
Bizans Hata Toleransı (Byzantine Fault Tolerance – BFT) Nedir?
Bizans Hata Toleransı, sistemin belirli oranda hatalı ya da düşman node bulundurmasına rağmen doğru sonuca ulaşmasını ifade eder. Teorik olarak, 3f + 1 node’dan en fazla f kadarı hatalıysa sistem hala doğru çalışabilir.
Bu tolerans, blokzincir ağları için kritik öneme sahiptir. Bitcoin gibi sistemler, merkeziyetsizliği ve güvenliği garanti etmek için Bizans hata toleransına dayanır.
Blokzincir Teknolojisinde Bizans Generalleri Probleminin Çözümü
Blokzincirler, bu problemi açık defter (open ledger), şifreleme (cryptography) ve konsensüs algoritmaları ile çözmeye çalışır. Örneğin:
- Bitcoin, Proof of Work (PoW) algoritması ile çalışır. Madenciler karmaşık matematik problemlerini çözerek blok oluşturur. En uzun zincir en doğrusu olarak kabul edilir. %51’lik bir çoğunluğa sahip olmayan hiçbir taraf ağı manipüle edemez.
- Ethereum gibi sistemler Proof of Stake (PoS) veya gelişmiş versiyonlarını kullanarak ağı daha verimli çalışacak şekilde optimize eder.
Konsensüs algoritmalarının temel amaçlarından biri, ağda %50’den fazlası dürüstse (ya da gerekli eşik sağlanıyorsa) ağın doğru kararlar alabilmesini garanti etmektir.
%51 Saldırısı ve Bizans Problemi
Bizans Generalleri Problemi, %51 saldırısı (51% attack) ile yakından ilgilidir. Bir blokzincir ağında, madencilik gücünün %51’ini kontrol eden bir grup, kendi lehine blok oluşturabilir, çift harcama yapabilir. Bu, Bizans modelinde hain generallerin karar mekanizmasını ele geçirmesine benzetilebilir.
