Yazan: Zooko Wilcox, Jason McGee ve Shielded Labs'tan Taylor Hornby
Özet
Shielded Labs, Zcash Vakfı, Tachyon Group, Valar Group ve Zcash Açık Geliştirme Laboratuvarı (ZODL) ile birlikte, kullanıcıların Zcash'in dolaşımdaki arzının sağlamlığını doğrulama yeteneğini geri kazandırmayı amaçlayan "Ironwood" adlı bir teklif üzerinde çalışıyor.
Geçtiğimiz hafta, Zcash'in Orchard havuzunda kritik bir sahtecilik açığı keşfedildi. Açık, ZODL ve diğer ekosistem katılımcıları tarafından koordine edilen acil bir ağ yükseltmesiyle giderildi ve 2 Haziran'da tamamlandı.
Açığın istismar edilmiş olmasının olası olmadığına inansak da (açıklamamızda belirtilen nedenlerle açıklamamız), Orchard'ın gizlilik özellikleri, kullanıcıların bunu kendi başlarına doğrulamasını engelliyor.
Ironwood, kullanıcıların Zcash'in dolaşımdaki arzının doğru olduğunu doğrulamasına olanak tanıyacak. Kullanıcılar bu yeteneği Ironwood'un etkinleştirilmesiyle hemen kazanacak ve aktif havuzların bakiyelerini basitçe toplayarak bunu yapabilecekler. Zcash'in toplam dolaşımdaki arzının doğru olduğunu doğrulamak için başkalarının teşvikleri veya eylemleri hakkında akıl yürütmelerine ya da Orchard havuzundan geçişi beklemelerine gerek kalmayacak.
Ironwood
Ironwood'un amacı, her Zcash kullanıcısının Zcash'in arz bütünlüğünü doğrulama yeteneğini geri kazandırmaktır. Bu doğrulanabilirlik, sahtecilik açığının varlığı nedeniyle zedelenmişti. Etkinleştirmenin hemen ardından kullanıcılar, yalnızca bir düğüm çalıştırarak Zcash'in dolaşımdaki arzının sağlam olduğunu bağımsız olarak doğrulayabilecekler.
Bunu başarmak için Ironwood şunları yapacak:
- Son sahtecilik açığı düzeltilmiş Orchard devresini kullanarak yeni bir korumalı havuz oluşturacak.
- Eski Orchard havuzunda yeni bir çıktı oluşturan herhangi bir işlemi geçersiz sayacak.
- Yapay zeka destekli güvenlik denetimi ve biçimsel doğrulama gibi teknikler kullanarak kod tabanına ilişkin güvenceyi artıracak; tüm bunlar ek sahtecilik hatalarının olmadığından emin olmayı hedefleyecek.
Ironwood Neden İşe Yarıyor
Ironwood, Orchard havuzu içinde neler olabileceğini değiştiriyor.
Etkinleştirmenin ardından, Orchard havuzunda yeni bir çıktı oluşturan herhangi bir işlem reddedilecek. Bu, ZEC'in artık o havuz içinde dolaşmaya devam edemeyeceği anlamına geliyor. Bu noktadan itibaren, Orchard havuzundaki fonlar yalnızca bir turnikeden çıkarak havuzdan ayrılabilecek.
Turnikeler, Zcash'in havuzlar arası transferler için kullanılan zincir üstü muhasebe mekanizmasıdır. Her bir havuza ne kadar ZEC girdiğini ve çıktığını takip ederler ve meşru olarak girenden daha fazla ZEC çıkarmaya çalışan herhangi bir işlemi reddederler.
Birlikte ele alındığında, bu kurallar kullanıcıların tüm veya herhangi bir Orchard fonunun taşınmasını beklemesine gerek olmadığı anlamına gelir. Ironwood etkinleşir etkinleşmez, kullanıcılar konsensüs kurallarından doğru miktardan daha fazla ZEC'in dolaşımda olamayacağını doğrulayabilir. Bu, Zcash dolaşımdaki arzının sağlamlığına dair anında, güvensiz bir garanti sağlar. Fazla ZEC, Orchard havuzu kullanıcıları arasında gizlice dolaşamaz ve başka bir havuza kaçamaz.
Açığın İstismar Edilip Edilmediğine Dair Kanıt Üretme
Ironwood, Orchard açığının hiç istismar edilip edilmediğine dair kanıt da sağlayabilir, ancak amacına ulaşması bu tür kanıtların ortaya çıkıp çıkmamasına bağlı değildir.
Kullanıcılar mevcut Orchard havuzundan yeni havuza fon taşırken, varsayımsal bir sahtekar bir seçimle karşı karşıya kalır: sahte fonları taşımaya çalışıp varlıklarını riske atmak ya da onları geride bırakıp gelecekte taşıyamama riskini almak.
Bu, iki olası sonuç yaratır:
Sonuç A: Mevcut Orchard havuzundan fazla ZEC çıkmaya çalışmaz. Bu, açığın hiç istismar edilmediğine dair güçlü bir kanıt olacaktır, çünkü bir sahtekarın, meşru kullanıcılar taşıma işlemlerini tamamlamadan önce sahte fonları taşımak için güçlü bir teşviki olacaktır.
Sonuç B: Mevcut Orchard havuzundan fazla ZEC çıkmaya çalışır. Bu durumda, fazla fonlar havuzdan çıkamayacak ve fiilen yok edilecektir. Ne yazık ki bu, tüm havuzlardaki mevcut dolaşımdaki arzı korumak için gereklidir. Bu aynı zamanda sahteciliğin gerçekleştiğine dair herkese açık olarak doğrulanabilir kanıt sağlayacaktır. Açığın istismar edilmediğini düşündüğümüz için bu sonucun olası olmadığını düşünüyoruz.
Cüzdanlar
Mevcut Orchard havuzunu destekleyen tüm cüzdanların yeni havuza destek eklemesini öneriyoruz.
Cüzdanlar, Ironwood etkinleşene kadar mevcut Orchard havuzunu normal şekilde desteklemeye devam etmeli ve ardından kullanıcı fonlarını mevcut Orchard havuzundan yeni havuza taşımalıdır. Taşımanın gizlilik açısından etkileri olsa da (özellikle aktarılan ZEC miktarını ve transferin gerçekleştiği zamanı açığa çıkarır), kullanıcı gizliliği üzerindeki etkinin mütevazı olduğuna ve cüzdan davranışıyla daha da hafifletilebileceğine inanıyoruz.
Mevcut Orchard alıcıları (yani adresler) geçerliliğini korur ve değiştirilmeleri gerekmez. Ironwood etkinleştirilmeden önce oluşturulan Orchard alıcılarına gönderilen ZEC, otomatik olarak yeni havuzda ZEC olarak alınacaktır.
Zamanlama
Çoğu ağ yükseltmesi gibi, Ironwood da ekosistem genelinde geliştirme, test, inceleme ve koordinasyon gerektirecektir. Deneyimler, bu çalışmanın genellikle beklenenden daha uzun sürdüğünü göstermiştir, bu nedenle zaman çizelgelerini tartışırken aşırı söz verip yetersiz kalmaktansa ihtiyatlı olmanın daha iyi olduğuna inanıyoruz.
Ek bir belirsizlik kaynağı da zcashd'nin devam eden kullanımdan kaldırılmasıdır. Shielded Labs bu çabaya doğrudan dahil olmamış olsa da, borsaların, madencilik havuzlarının, cüzdanların ve diğer altyapı sağlayıcılarının Zebra'ya geçişi bu ağ yükseltmesinin zamanlamasını etkileyebilir.
Uygulama planları olgunlaştıkça ve tartışmalar devam ettikçe zaman çizelgesini daha iyi anlayacağımızı umuyoruz.
Sonuç
Orchard açığının önceden istismar edilmesinin olası olmadığına inandığımızı vurgulamak istiyoruz. Ancak kullanıcılar, Zcash arzının bütünlüğü söz konusu olduğunda bizim değerlendirmemize veya başka herhangi birinin değerlendirmesine güvenmek zorunda kalmamalıdır.
Ironwood, herkesin kendi başına doğrulayabileceği bir Zcash dolaşımdaki arzı garantisini geri kazandırmak için tasarlanmıştır. Açık istismar edilmiş olsun ya da olmasın, amaç aynıdır: Zcash arzının bütünlüğünü doğrulanabilir kılmak.
Ironwood'un ileriye giden en iyi yol olduğuna inanıyoruz ve bu teklifi Zcash topluluğuyla tartışmayı dört gözle bekliyoruz.
Teşekkürler
Sean Bowe, Dev Ojha, David Campbell, Alex Bornstein, Nate Wilcox, Kris Nuttycombe, Vitalik Buterin, Balaji Srinivasan ve Taylor Hornby, Josh Swihart ve Tatyana'ya inceleme ve geri bildirimleri için teşekkürler. Özellikle Kris Nuttycombe'a, Ironwood yükseltmesinin eski Orchard havuzunda çıktı oluşturan işlemleri devre dışı bırakmasını önerdiği için teşekkürler. Bunun Ironwood'un hedefine ulaşması için kritik olduğu ortaya çıktı.
