Bizans Hata Toleransı Nedir?
İngilizce: Byzantine Fault Tolerance
Yayın: · Son güncelleme:
Bizans Hata Toleransı Nedir? Kısaca
Bizans hata toleransı (BFT), dağıtık bir sistemin bazı katılımcıları hatalı, çevrimdışı ya da kötü niyetli olsa bile doğru biçimde uzlaşmaya devam edebilme yeteneğidir. Blokzincir konsensüs mekanizmalarının temel hedeflerinden biridir.
Bizans hata toleransı (Byzantine Fault Tolerance, BFT), dağıtık sistemlerde güvenilmez katılımcılara karşı dayanıklılığı ifade eder. Adını Bizans generalleri problemi adlı düşünce deneyinden alır.
Bizans hata toleransı nedir?
Bir ağdaki düğümler yalnızca çökmekle kalmayıp yanlış bilgi de gönderebilir, farklı düğümlere farklı mesajlar iletebilir. Bu tür en kötü durum hatalarına "Bizans hatası" denir. BFT bir sistem, bu tür düğümler belirli bir oranı aşmadıkça doğru ve tutarlı kararlar almaya devam eder.
Nasıl çalışır?
Klasik BFT protokollerinde temel kural şudur: Toplam düğüm sayısının üçte birinden azı hatalıysa sistem güvenli çalışır. Matematiksel olarak f sayıda hatalı düğüme dayanmak için en az 3f+1 düğüm gerekir. Örneğin 4 düğümlü bir ağ 1 hatalı düğümü tolere edebilir.
Bilinen yaklaşımlar:
- PBFT (Practical BFT): 1999'da önerilen ve pratik kullanımı mümkün kılan algoritma.
- Tendermint tabanlı protokoller: Hisse ispatlı ağlarda yaygın.
- Nakamoto konsensüsü: Bitcoin'in iş ispatı yöntemi; klasik BFT'den farklı olarak olasılıksal kesinlik sağlar.
Neden önemli?
Blokzincirde katılımcılar birbirini tanımaz ve bazıları kötü niyetli olabilir. BFT özellikleri, konsensüs mekanizmasının bu ortamda nasıl ayakta kaldığını belirler.
Nelere dikkat etmeli?
BFT garantileri varsayımlara dayanır. Doğrulayıcıların üçte birinden fazlası aynı kuruluşa bağlıysa ya da birlikte hareket ederse ağ durabilir ya da manipüle edilebilir. Bir ağın güvenliğini değerlendirirken doğrulayıcı sayısına ve bu doğrulayıcıların gerçekten bağımsız olup olmadığına bakmak gerekir.
Sıkça Sorulan Sorular
Bitcoin Bizans hata toleranslı mı?
Evet, ama klasik BFT protokollerinden farklı bir yolla. Bitcoin, iş ispatı ve en uzun zincir kuralıyla kötü niyetli katılımcılara karşı dayanıklılık sağlar; kesinlik ise blok onayları arttıkça güçlenir.
BFT ağlarda neden üçte bir sınırı var?
Matematiksel olarak, hatalı düğümler üçte bir veya daha fazla olduğunda dürüst düğümler doğru kararı güvenle ayırt edemez. Bu yüzden klasik BFT sistemleri bu sınırın altında güvenlik garantisi verir.