Kapatılmış Zarf Sorunu: Açıklama Olmadan Doğrulama Byzantine General Problemi, birbirine güvenemeyen insanların açık bir geçmiş üzerinde nasıl anlaştıklarını sorar: Güven olmadan nasıl fikir birliğine varılır? Yanında, dik bir şekilde yer alan bir başka ikilem bulunur: Bir işlemi hiçbir üyesinin görmesine izin verilmeyen, güvensiz bir ağ, kurallarını nasıl zorlar? Bu, Sıfır Bilgi Kanıtı ile çözülen Kapatılmış Zarf Sorunudur. Dağıtılmış Güvenin İki Boyutu Bitcoin ve Zcash, dağıtılmış sistemlerin iki ayrı katmanını yönetir: * Byzantine General Problemi, sıralamayı yönetir: Güvenilmeyen node’lar hangi işlemlerin gerçekleştiğini ve hangi sırada gerçekleştiğini nasıl anlar? * Kapatılmış Zarf Problemi, geçerliliği yönetir: Bu node’lar, içeriğini incelemeden gizli bir işlemin yasal, solvanslı ve enflasyonist olmadığını nasıl doğrular? Bitcoin, tüm geçmişini şeffaf hale getirerek açık fikir birliğini çözdü. Her node, kitapları bağımsız olarak denetler: çıktıları takip eder, kamu bakiyelerini toplar ve imzaları kontrol eder. Bitcoin, her katılımcının aynı sayfayı okuması nedeniyle çalışır: * Bitcoin: Herkesin denetleyebileceği açık bir defter üzerinde nasıl anlaşırlar? $BTC * Zcash: Girdiler gizliyken defterin dengeli olduğunu nasıl kanıtlarız? Fikir birliği, hangi zarfın önce geldiğini kararlaştırır; Kapatılmış Zarf Problemi ise, bir kalabalığın zarfın sahte olmadığını nasıl kanıtladığını sorar. $ZEC Samarkand Çarşısı İpek Yolu üzerinde eski bir kavşağı hayal edin. Rakip imparatorluklardan satıcılar, kubbeli kemerler altında karışır: Sogdien ipek tüccarları, Fars para değiştiricileri ve Venedikli seyahatçiler. Ortak bir egemenlikleri yoktur, farklı diller konuşurlar ve birbirlerine şüpheyle bakarlar. İki örtülü garip kişi, meydanda buluşur. Kalabalık ve şehir muhafızlarının tam görüş alanında, biri diğerine kapatılmış mumlu bir zarf verir. Hiç kimse zarfı açamaz. Kimse göndereni, alıcıyı, hangi önceki madeni parayı temsil ettiğini veya değerini öğrenemez. İçeriği incelemek için güvenilir bir vezir ya da imparatorluk madeni paraları denetçisi yoktur. Ancak şüpheli kalabalık, şu durumlarda bu alışverişi matematiksel olarak reddetmeye yetkin olmalıdır: * İçindeki madeni para yoktur. * Gönderenin bunu harcamak için yasal hakkı yoktur. * Madeni para, dün başka bir kervansarayda zaten harcanmıştır. * Transfer, havada yeni madeni para üretip para arzını enflasyonist hale getirmiştir. Mum kırılmaz. İçerik gizli kalır. Ancak çarşıdaki her satıcı, ülkenin para kurallarının titizlikle korunduğunu bağımsız olarak doğrular. Tarihsel olarak fiziksel ticaret, işlem hakkında bilgi sahibi olmak ile işlemin geçerli olduğunu bilmek arasındaki iki farklı özelliği karıştırır. Geleneksel denetim, ikinciyi birinciyi ele geçirerek elde eder: altını ısırırsınız, madeni paraları sayarsınız, satıcının özel defterini denetlersiniz ya da bunu yapan imparatorluk damgasına güvenirsiniz. Sıfır bilgi kriptografisi bu bağlantıyı keser. Doğrulayıcı, temel gerçeklere ihtiyaç duymaz; sadece bu gizli gerçeklerin protokolün kısıtlamalarını karşıladığını gösteren kısa bir matematiksel kanıta ihtiyaç duyar. Fikir Birliği ve Açıklama İsim, teknolojiyi değil, kısıtlamayı tanımlar. Sıradan şifreleme yalnızca bir mesajı gizler ve doğrulamaya kapalı hale getirir. Daha zor para problemi, güvensiz ve düşmanca bir topluluğun gizli durumu denetlemesine izin vermektir. Dağıtılmış para sisteminin iki temel direği yan yana durur: * Byzantine General: Güven olmadan fikir birliği. * Kapatılmış Zarf: Açıklama olmadan doğrulama. Byzantine hata toleransı, değişmez kamu zaman çizelgesini sağlarken, sıfır bilgi kanıtları özel geçerliliği zorlar. Bitcoin, merkezi bir otoriteye güvenmeden garip kişilerin para tarihini nasıl koruyabileceğini kanıtladı. Zcash ise bu tarihin her özel yaşamın kamu malı hale gelmesini gerektirmeden para korumasını nasıl sağlayabileceğini kanıtladı. Bitcoin, çarşıya açık bir kitap üzerinde anlaşılmayı öğretti. Zcash ise sayfalar açılmadan kitabın dengeli olduğunu kanıtladı.