Dağıtık bir bilgisayar ağında, birbirini hiç tanımayan ve aralarında coğrafi mesafeler bulunan yüzlerce düğümün (node) ortak bir karar üzerinde uzlaşabilmesi, bilgisayar biliminin en köklü problemlerinden biridir. Sisteme dahil olan bazı bilgisayarlar donanımsal arızalar nedeniyle çökebilir, internet hatları kopabilir ya da daha da kötüsü, ağdaki bazı aktörler sisteme bilerek sahte veri sızdırmaya çalışan kötü niyetli siber korsanlara dönüşebilir. Bu tarz karmaşık ve haince senaryolar altında bile sistemin tek bir parça halinde, hatasız ve manipüle edilmeden çalışmaya devam edebilme yeteneğine Bizans Hata Toleransı (Byzantine Fault Tolerance - BFT) denir. BFT, dijital dünyadaki güvensizlik ortamını matematiksel bir güven denklemine dönüştüren en temel konsensüs felsefesidir.
Bizans Generalleri Problemi ve Dijital İhanet Senaryosu
Bu kavram, adını 1982 yılında ortaya atılan meşhur "Bizans Generalleri Problemi" isimli bir düşünce deneyinden alır. Senaryoya göre, bir düşman kalesini kuşatan birkaç Bizans generali bulunmaktadır ve zafer elde etmek için tek çareleri, tüm orduların aynı anda saldırması ya da aynı anda geri çekilmesidir. Generaller birbirleriyle sadece ulaklar aracılığıyla iletişim kurabilmektedir. Ancak asıl sorun, generallerin veya ulakların arasında kaleyi satmış hainlerin bulunma ihtimalidir. Hain generaller, saldırı kararı almak isteyen dürüst generallere "Saldırıyoruz", geri çekilmek isteyenlere ise "Geri çekiliyoruz" şeklinde sahte mesajlar göndererek ordunun bölünmesine ve yok olmasına zemin hazırlayabilir.
Bilgisayar biliminde bu hain generaller; ağa sahte işlem veya çifte harcama (double-spending) verisi göndermeye çalışan, oylamaları manipüle eden ya da mesajları bilerek geciktiren kötü niyetli doğrulayıcı düğümleri temsil eder. Matematiksel olarak kanıtlanmıştır ki, geleneksel asimetrik iletişim modellerinde dürüst generallerin ortak bir karara varabilmesi ve hainlerin bilgi kirliliğini tamamen nötralize edebilmesi için ağdaki hainlerin (kötü niyetli düğümlerin) oranının toplam ağ gücünün üçte birinden daha az olması gerekir. Yani sistem, ancak ve ancak toplam düğüm sayısının $3f + 1$ (burada $f$ hain düğüm sayısını temsil eder) formülüne uygun olduğu durumlarda güvenle çalışabilir.
Güven Denkleminin Blokzincir Altyapılarındaki Evrimi
Klasik Bizans Hata Toleransı algoritmaları (örneğin PBFT), ağdaki katılımcıların kimliklerinin önceden bilindiği ve herkesin birbiriyle doğrudan oylama yaptığı kapalı (permissioned) ağlarda harika çalışsa da, binlerce anonim kullanıcının olduğu açık internet ortamında hantal kalmaktadır. İşte bu noktada modern blokzincir teknolojileri, güven denklemini çözmek için oyun teorisini ve kripto ekonomik teşvikleri BFT felsefesiyle birleştirmiştir.
Satoshi Nakamoto, Bitcoin ağında İş Kanıtı (Proof of Work) ve en uzun zincir kuralını (Nakamoto Konsensüsü) devreye sokarak, Bizans Hata Toleransı problemini küresel ve açık bir ağda ilk kez çözmeyi başarmıştır. Bu yeni denklemde, düğümlerin sadece dürüstlük oranına değil, aynı zamanda harcadıkları matematiksel bilgi işlem gücüne (hashrate) veya kilitledikleri finansal teminatlara (Proof of Stake) bakılır. Saldırı yapmanın maliyeti, dürüst kalıp sistemi korumanın getireceği ekonomik ödülden çok daha yüksek olacak şekilde tasarlanmıştır. Bizans Hata Toleransı, insan doğasındaki güvensizliği ve dijital ihanet olasılıklarını katı matematiksel bariyerlerle çevreleyerek, merkezi kurumlara ihtiyaç duymadan küresel ölçekte çalışan kusursuz bir güven ağının inşa edilmesini sağlar.