Zcash'teki 4 Yıllık Gizli Tehlike: Bir 'Sağlamlık Hatası' Piyasayı Nasıl Sarstı?

Nasıl çalışıyordu: Sorun, özel işlemleri doğrulayan sıfır bilgi ispat mantığı olan Orchard "Action devresi" (Action circuit) içindeydi. Kısıtlamalarındaki bir mantık hatası, bir saldırganın ağın gerçek olarak kabul edeceği geçerli görünümlü bir Halo 2 ispatı oluşturabileceği anlamına geliyordu. Bu ispatın gerçek fonlar veya mevcut değerin geçerli bir şekilde yakılması ile desteklenmesi gerekmiyordu. Bu, bir saldırganın tespit edilemez, sınırsız miktarda sahte ZEC yaratmasına olanak tanıyabilecek, etkili bir şekilde sessiz, sonsuz bir para basma düğmesiydi .

Zcash'in kurucusu Zooko Wilcox, güvenlik açığının "tespit edilemez şekilde sınırsız miktarda sahte ZEC yaratmak için kullanılmış olabileceğini" belirterek durumun ciddiyetini doğruladı . Bu, geleneksel bir yazılım hatası değil, ispatın mantığında bir kusur olduğu için, sahte coin'ler blok zincirinde gerçek olanlardan ayırt edilemezdi.

Görünmez Tehlike: 'Bana Güven' Türü Bir Hata Neden Gizlilik Teknolojisi için Bir Kabus?

Bu güvenlik açığının en ürkütücü yanı yalnızca sonsuz enflasyon potansiyeli değil, aynı zamanda ağın bunu tespit etme konusundaki mutlak güçsüzlüğüydü. Orchard protokolünün temel değer önerisi olan tam işlem gizliliği, en büyük zaafı haline geldi.

Zcash Vakfı, "hatanın sahada istismar edildiğine dair hiçbir kanıt olmadığını" ve 21 milyon ZEC arz sınırının bozulmadan kaldığını doğruladı . Ancak, Orchard'ın gizlilik özellikleri nedeniyle, kurucu Zooko Wilcox, hatanın yama yapılmadan önce istismar edilip edilmediğini kanıtlamanın kriptografik olarak imkansız olduğunu kabul etmek zorunda kaldı . Bir saldırgan yıllardır sessizce coin basıyor olabilirdi ve bu suçun defterde hiçbir izi kalmazdı.

Bu, "güvenilir kurulum" (trusted setup) gerektirmeyen bir sistemi öven bir topluluk için acı bir ironiydi. Halo 2, tam olarak bir törene güvenme ihtiyacını ortadan kaldırmak için seçilmişti, ancak şimdi kullanıcılar, protokol geliştiricilerinin sözlerine güvenmek zorunda kaldı; bu, kripto paranın "güvenme, doğrula" (don't trust, verify) anlayışının nihai bir ihlaliydi.

Hasar Kontrolü: Acil Durum Çatalı (Hard Fork) ve ZEC'in Çöküşü

Yanıt, Zcash ekosistemi genelinde benzeri görülmemiş bir hızda koordine edildi :

1. Acil Durum Yumuşak Çatalı (Soft Fork, 1-2 Haziran): Geliştiriciler, ağın herhangi bir potansiyel istismara karşı korunması için tüm Orchard işlemlerini geçici olarak devre dışı bırakan

   zcashd v6.12.5

   sürümünü ve Zebra yükseltmelerini yayınladı. Bu, temel neden analiz edilirken yapıldı .
2. NU 6.2 Sert Çatalı (Hard Fork, 2-3 Haziran): Hatalı devre mantığını düzelten ve düzeltilmiş sıfır bilgi ispat kısıtlamalarıyla Orchard işlemlerini yeniden etkinleştiren acil bir ağ yükseltmesi (NU 6.2) ile kalıcı bir düzeltme uygulandı .

Ancak piyasanın tepkisi hızlı ve acımasızdı. Kamuoyuna açıklamanın 4-5 Haziran'da yapılmasının hemen ardından ZEC sert bir satış dalgasıyla karşılaştı :

• ZEC'in fiyatı, dolaşımdaki gerçek arzın inanıldığından daha büyük olabileceğine dair korkularla %40'tan fazla düştü.
• Düşüş, kaldıraçlı işlem tasfiyeleri ve genel piyasa düşüşüyle daha da şiddetlendi .
• BitMEX'in kurucu ortağı Arthur Hayes, hata açıklandıktan sonra tüm Zcash pozisyonunu tasfiye ettiğini kamuoyuna doğruladı .

Sonuç: Dijital Paranın "Bana Güven" Çıkmazı

Zcash Orchard olayı, bir güvenlik yamasından çok daha fazlasıdır; bu, gizlilik teknolojisinin temel bir kırılganlığa dair bir anlatıdır. En gelişmiş kriptografik sistemlerin doğası gereği kırılgan olduğunu ve insan hatasına karşı bağışık olmadığını gösteren sarsıcı bir hatırlatmadır. Bir yapay zekanın bulması bir gün süren bir hatanın, insan uzmanlar tarafından dört yıl boyunca gözden kaçırılması, modern protokollerin karmaşıklığının denetim yeteneğimizi aşıp aşmadığına dair derin bir tartışmayı da ateşledi.

Kripto para dünyası için bu olay, mahremiyet ve hesap verebilirlik arasındaki rahatsız edici dengeyi yeniden gündeme getiriyor. Zcash ağı kurtarıldı, ancak kör bir noktaya duyulan güven sarsıldı. Bu, bize en yeni teknolojilerin bile mimarilerinde gizli bir saatli bomba taşıyabileceğini ve bazen en önemli sorunun neyin yanlış gittiği değil, başka nelerin hâlâ orada saklandığı olduğunu hatırlatıyor.