Zcash(ZEC), Ironwood için 2.700’den fazla doğrulanmış kanıt yayımladı

Zcash(ZEC), yeni anonim fon havuzu Ironwood’un ‘denge bütünlüğünü’ desteklemek için 2.700’den fazla teoremi kapsayan makine doğrulamalı kanıt yayımladı. Hamle, işlem tutarlarını ve katılımcıları gizleyen gizlilik mimarisinde arz güvenine yönelik soru işaretlerini azaltmayı hedefliyor.

Geliştirici kuruluş Project Tachyon, 28’inde (yerel saatle) üç araştırma ekibinden araştırmacı ve kriptografların bir aydan uzun süre çalıştığını, kanıtların ise Lean adlı teorem ispat diliyle yazıldığını açıkladı. Cointelegraph’ın aktardığına göre çalışma, Ironwood’un muhasebe yapısına ilişkin matematiksel güvenceyi güçlendirmeyi amaçlıyor.

Doğrulamanın merkezinde ‘denge bütünlüğü’ yer alıyor. Bu ilke, anonim bir fon havuzunun kamuya açık şekilde içeri giren değerden daha fazlasını dışarı çıkaramaması anlamına geliyor. Gizlilik odaklı coin’lerde işlem tutarları ve taraflar saklandığı için arzın şişip şişmediğini dışarıdan hemen görmek zorlaşabiliyor.

Araştırmacılar, kanıtların Ironwood’un sıfır bilgi ispat sistemi, devre kuralları ve defter düzeyindeki muhasebe dahil ilgili bileşenleri kapsadığını belirtti. Ancak doğrulama yalnızca ‘açıkça belirtilen kriptografik varsayımlar’ altında geçerli. Ironwood’un gizlilik garantileri ise bu çalışmanın kapsamına dahil edilmedi.

Ironwood, Zcash’in NU6.3 yükseltmesiyle devreye alındı. Tokenpost daha önce Zcash’in 3.428.143 blok yüksekliğinde Ironwood yükseltmesini etkinleştirdiğini ve mevcut Orchard havuzunu mühürlediğini bildirmişti. Orchard havuzunda teorik olarak tespit edilemeyen ZEC sahteciliğine yol açabilecek bir açık gündeme gelmişti.

Zcash geliştiricileri, söz konusu açığın gerçekten kötüye kullanıldığına dair bir bulgu doğrulanmadığını açıkladı. Buna rağmen gizlilik mimarisinde arz güveninin sarsılması, ağın tamamına yönelik güven sorununa dönüşebiliyor. Zcash’in mevcut yapıyı sürdürmek yerine yeni anonim fon havuzuna geçmesinin arkasında bu risk bulunuyor.

Orchard’dan Ironwood’a taşınan fonların turnstile adı verilen açık muhasebe geçidinden geçmesi gerekiyor. Bu mekanizma, eski havuzdan çıkan fon girişlerini kamuya açık biçimde doğruluyor. Amaç, doğrulanan miktarın üzerinde fonun yeni havuza aktarılmasını engellemek.

Biçimsel doğrulama, kodun hedeflenen teknik tanıma uygun çalışıp çalışmadığını matematiksel olarak kontrol eden bir yöntem. Klasik denetimler kodu ve tasarımı incelerken, biçimsel doğrulama belirlenen kapsam içinde istisna olmadığını makineyle kanıtlamaya odaklanıyor. Yine de temel alınan kriptografik varsayımlarda ya da gerçek uygulama sürecinde sorun çıkarsa kanıtların anlamı da değişebilir.

Piyasa cephesinde yaklaşım şimdilik temkinli. ZEC, daha önce güvenlik açığına yönelik yamanın ardından da yaklaşık %40 gerilemişti. Yeni kanıtların arz bütünlüğüne ilişkin şüpheleri ne kadar azaltacağı, Orchard fonlarının Ironwood’a taşınma sürecinde daha net görülecek.