Polygon Baş Teknoloji Sorumlusu Mudit Gupta ile Zcash kurucusu Zooko Wilcox arasındaki halka açık bir değişim, gizlilik odaklı kripto para sistemlerinin para arzlarının sağlam kaldığını garanti edip edemeyeceği konusundaki soruları yeniden gündeme getirdi. Anlaşmazlık, Zcash'in korumalı işlem havuzundaki 2019 yılında ortaya çıkan bir kalpazanlık açığı ve ağın denetim mekanizmalarının yasadışı madeni para yaratımını kesin bir şekilde kanıtlayıp kanıtlayamayacağı etrafında dönüyor.
Bilmeniz Gerekenler:
- Polygon CTO'su, Zcash'in 21 milyon madeni para sınırının doğrulanıp doğrulanamayacağını, Mart 2019'da keşfedilip yedi ay sonra düzeltilen sonsuz bir madeni para basma hatası nedeniyle sorguladı
- Zcash kurucusu, "turnike" muhasebe mekanizmalarının korumalı havuzlara giren ve çıkan tüm değeri izleyerek fark edilmeden kalpazanlığın olmasını imkansız hale getirdiğini savunuyor
- Teknik anlaşmazlık, kripto para tasarımında işlem gizliliği ile arz denetliliği arasındaki gerilimi vurguluyor
Halk İçindeki Çatışma
Gupta, X platformunda Zcash'in şeffaflığı hakkında doğrudan bir iddia ile tartışmayı başlattı. "Kimse aslında kaç Zcash tokenin var olduğunu bilmiyor," diye yazdı. "Zcash gibi korumalı varlıklar denetlenmesi zor. Mart 2019'da, Zcash korumalı varlıklarında sonsuz bir madeni para basma hatası tespit edildi. Ekim 2019'da düzeltilmiş olmasına rağmen, hatanın hiçbir zaman suistimal edilip edilmediğini %100 kesinlikle söylemenin garantili bir yolu yok."
Daha sonra duruşunu yumuşatarak, kestirimci analizlerin bu açığın büyük ihtimalle istismar edilmediğini öne sürdüğünü belirtti.
"Kestirimci analize göre, hatanın suistimal edilmesi olası değil, bu yüzden paniğe gerek yok," diye ekledi Gupta.
Yorumlarını, gerçek bir istismar iddiasında bulunmaktan çok, Zcash ve benzeri gizlilik havuzları ile ilgili doğrudan bir risk türüne dikkat çekmek olarak nitelendirdi. "Sadece Zcash ve benzeri gizlilik havuzları ile ilgili bir saldırı vektörüne dikkat çekiyorum," diye açıklık getirdi.
Wilcox, bu nitelendirmeyi yanlış olarak reddetti. Gupta'yı kamuya açık blockchain denetimlerine yönlendirdi, bu denetimler parasal temeli izler. "Bunlar Zcash'in parasal temel bütünlüğünü gösteriyor," diye yazdı Wilcox ve ekledi, "düz bir oyun teorisi analizi daha fazla kalpazanlık olmadığını da gösteriyor."
Zcash kurucusu, eski Sprout havuzunu içeren bir düşünce deneyi sundu.
"Biri, 28 Ekim 2018'den önce, Sprout havuzunda ZEC sahteciliği yaptığını varsayın," diye yazdı. "Orada, kalpazan ve mağdurları arasında bir 'çıkış yarışı' olur. ZEC'sini ilk çıkaran, tüm parayı elinde tutar. Sonuç: kalpazanlık olmadı."
Wilcox, kalpazanlık olmuş olsa bile toplam arzın sınırlı kalacağını ekledi. "Kalpazanlık olmuş olsa bile... sadece 16.355.911 ZEC var olacaktı ve hep sadece 21 M olacak," diye yazdı. "Teşekkürler, turnikeler!"
Teknik Arka Plan
Açıklık, Zcash'in Sprout adlı orijinal korumalı havuzunu etkiledi. Electric Coin Company ve Zcash Foundation hatayı 2018'de özel olarak keşfetti ve 5 Şubat 2019'da kamuya açıkladı. Sapling yükseltmesi, 28 Ekim 2018'de aktif olduğunda savunmasız kodu kamuya açıklamadan önce kaldırmıştı.
Zcash, potansiyel istismarı önlemek için turnike muhasebesi getirmiştir. Mekanizma, şeffaf ve korumalı havuzlar arasındaki tüm değer transferlerini kaydederek çalışır. Giren ve çıkan işlem miktarları geçiş noktalarında açığa çıktığı için, ağ beklenen havuz bakiyesini hesaplayabilir. Daha fazla değer çekme girişimleri, girmiş olan değerleri aşarsa tespit edilir.
Electric Coin Company, açıklama sırasında kalpazanlık hiçbir kanıtı bulamadığını ifade etti. Örgüt, bu pozisyonunu sürdürdü ve turnikeleri, varsayımsal istismar senaryolarında bile parasal bütünlüğü korumak için bir güvenlik mekanizması olarak tanımladı.
Wilcox'un "çıkış yarışı" analojisi, oyun teorisini açıklar.
Sahte madeni paralar Sprout içinde yaratılmış bir saldırgan, turnike kısıtlamaları daha fazla çıkışı önlemeden önce geçerli sahiplerle çekilmek için yarışacaktı. Açıklanamayan havuz çekilmeleri veya negatif mutabakatların olmaması, büyük ölçekli kalpazanlık olmadığını gösteriyor.
Gupta'nın yanıtı, Zcash tasarım niyetlerine saldırmaktan çok epistemolojik sınırlara odaklandı. "Belki daha açık olmalıydım," diye yazdı. "Hataların olasılığı nedeniyle, korumalı havuzların içindeki dolaşımdaki Zcash miktarının, şeffaf Zcash girerkenki ile aynı olmasının garantisi yok. Bu nedenle, toplam gerçek arzdan %100 emin olamazsınız."
O pratik riskin minimal kaldığını kabul etti. "Bu tür bir hatanın istismar edilmesi olasılığı esasen 0," dedi Gupta.
Mekanizmayı Anlamak
Zcash'in ekonomik modeli Bitcoin'in yapısını taklit eder. Protokol, bir yarılanma tabanlı ihraç takviminde dağıtılan 21 milyon madeni para içeren sabit bir arz tavanı belirler. Bu tavan, tüm resmi belgelere dahil edilmiştir.
Zcash, korumalı havuzlar içinde bireysel işlem miktarlarını ve katılımcı kimliklerini gizlemek için sıfır bilgi protokollerine izin verir. Ancak bu gizlilik özellikleri, şeffaf blok zincirlerin karşılaşmadığı bir denetim sorunu yaratır. Protokol, belirli işlemleri gizlerken doğrulanabilir toplam arzı korumalıdır.
Turnikeler, ağın şeffaf ve özel kısımları arasındaki kontrol noktaları olarak çalışır. Madeni paralar, şeffaf adreslerden korumalı havuzlara taşındığında, blok zinciri yatırılan miktarı kaydeder. Madeni paralar, şeffaf adreslere çıkış yaptığında çıkış miktarı görünür hale gelir. Kaydedilen yatırımlar ve çekimler arasındaki kümülatif fark, maksimum olası korumalı dengeyi belirler.
Bu muhasebe yöntemi, belirli bir zaman diliminde bir korumalı havuz içinde kalpazanlık yapılıp yapılmadığını ortaya koyamaz. Ancak, kaydedilen mevduatların izin vereceğinden daha fazla değerde çıkış girişimlerini tespit edebilir. Bu ayrım, tartışmadaki öz gerilimi vurgular.
Kapanış Düşünceleri
Bu alışveriş, gizlilik-koruyan kripto para sistemlerinde doğrulanabilirlik ile ilgili temel soruları ortaya koyuyor. Zcash'in turnike mekanizmaları, yakalanmamış kalpazanlığa karşı güçlü olasılık kanıtları sunsa da, tartışma, adverser kriptografik çevrelerde kesin kanıtın ne olduğu konusunda farklı standartlar olduğunu ortaya koyuyor. Yayın anında, ZEC $325'ten işlem görüyordu.