Zcash araştırmacıları, tedarik güvenliği için Ironwood…
Proje Tachyon, Lean doğrulamasının 2,700'den fazla teoremi içerdiğini ve Orchard hatasından sonra "denge bütünlüğüne" odaklandığını söyledi.
Zcash araştırmacıları, belirtilen kriptografik varsayımlar altında tespit edilemeyen sahtecilik hatalarını ortadan kaldırmak için tasarlanmış Ironwood'un makine kontrolünden geçirilmiş resmi bir doğrulamasını yayınladı. Bu çalışma, yeni korumalı havuzun kamuya açık olarak giren değerden daha fazla değer ödeyememesini sağlamak amacıyla 'denge bütünlüğü' adlı bir tedarik bütünlüğü özelliğini hedef alıyor.
Ana Noktalar
- Zcash’in Ironwood korumalı havuzu için makine kontrolünden geçirilmiş bir resmi doğrulama yayınlandıadresbelirtilen kriptografik varsayımlar altında tespit edilemeyen sahtecilik riskini.
- Proje Tachyon, kanıtı 'Lean programlama dilinde yazılmış' olarak tanımladı ve 'bir aydan fazla sürede üç ekip tarafından üretilen 2,700'den fazla makine kontrolünden geçirilmiş teorem' içerdiğini belirtti.
- Doğrulanan güvenlik hedefi 'denge bütünlüğü'dür ve Ironwood'un havuza kamuya açık olarak giren değerden daha fazla değer ödeyememesini sağlamayı amaçlamaktadır.
- Ironwood, teorik olarak tespit edilemeyen ZEC sahteciliğini mümkün kılabilecek bir Orchard açığı sonrasında NU6.3 güncellemesi ile gönderildi; geliştiriciler, 'hatanın istismar edildiğine dair hiçbir kanıt bulamadıklarını' belirtti.
Ironwood, Makine Kontrolünden Geçirilmiş 'Denge Bütünlüğü' Kanıtı Aldı
Zcash araştırmacıları, ağın daha yeni korumalı havuzu olan Ironwood için makine kontrolünden geçirilmiş bir kanıt tamamladı ve yayınladı. Belirtilen hedef dar ama piyasa ile ilgili: kriptografik modelin geçerli olduğu varsayımı altında, tedarik bütünlüğünü bozacak belirli bir yol boyunca tespit edilemeyen sahtecilik hatalarını ortadan kaldırmak.
Proje Tachyon, doğrulamanın Lean'de üretildiğini ve 2,700'den fazla makine kontrolünden geçmiş teoremi kapsadığını, üç araştırmacı ve kriptograf ekibinin bir aydan fazla bir süre çalıştığını belirtti. Tüccarlar için önemli olan başlık, araçlar değil. Kanıtlanan mülkiyettir. “Denge bütünlüğü”, bir korumalı havuzun değeri görünmez bir şekilde basabileceğinden şüphelenildiğinde ortaya çıkan enflasyon korkusuna doğrudan bir yanıttır.
Kanıtın Kapsadığı ve Açıkça Kapsamadığı Şeyler
Kanıt, denge bütünlüğünü sağlamak için gereken bileşenlerle sınırlıdır: Ironwood’unsıfır bilgi kanıtısistem, devre kuralları ve defter düzeyinde muhasebe. Bu önemlidir çünkü görünmez enflasyonun gerçekleşmesi için başarısız olması gereken muhasebe değişmezini hedef alır.
Araştırmacılar ayrıca neyin iddia edilmediği konusunda kesin bir sınır çizdiler. Resmi doğrulama, Ironwood'un ayrı gizlilik garantilerini kapsamaz. Bu ayrım, konumlandırma açısından önemlidir. Bu yayın, her korumalı havuz özelliğinin resmi olarak doğrulandığına dair genel bir ifade değil, bir tedarik bütünlüğü güvencesi olarak en iyi şekilde okunmalıdır.
Herhangi bir resmi kanıt gibi, koşulludur. Garanti, "belirtilen kriptografik varsayımlar altında"dır, bu da piyasanın bu varsayımların ne olduğunu ve tehdit modelinin gerçek dünyadaki düşmanlarla eşleşip eşleşmediğini önemsemesi gerektiği anlamına gelir.
Orchard'ın Teorik Sahtecilik Riski'nden NU6.3'ün Ironwood Dağıtımına
Ironwood, Zcash’in NU6.3 güncellemesi ile geldi; bu güncelleme, önceki Orchard korumalı havuzunda bir zafiyet keşfedildikten sonra gerçekleştirildi. Açıklanan risk, pratikte teorik olsa da, tür olarak ciddiydi: tespit edilemeyen ZEC sahteciliği. Geliştiriciler, hatanın istismar edildiğine dair herhangi bir kanıt bulamadıklarını söylediler.
O "hiçbir kanıt" ifadesi, istismar edilmediğine dair bir kanıtla aynı şey değildir ve traderlar bu farkı bilir. Ironwood'un ve şimdi de resmi denge-bütünlük doğrulamasının amacı, sistemin, korunan havuzun kamuya açık olarak giren miktardan daha fazlasını ödeyemeyeceğine dair makine tarafından kontrol edilen bir argümanla tasarıma geçerek arz-bütünlük aşırılığını azaltmaktır.
Turnstile Göçü: İthal Edilemeyen Hipotetik Aşırı Coin'ler için Kamu Kontrol Noktası
Orchard'dan Ironwood'a geçiş, "dönel kapı" adı verilen bir kamu muhasebe kontrol noktası aracılığıyla zorunlu kılınmaktadır. Tasarım hedefi, temiz oda izolasyonudur: Orchard'ın varsayımsal fazla coinleri olsa bile, kontrol noktası bu coinlerin Ironwood'a girmesini engellemeyi amaçlamaktadır.
Bu mekanizma ayrıca bir sonraki kanıt akışını da oluşturur. Fonlar Orchard'dan çıkarken, döner kapı süreci, Orchard dönemine ait istismarlarla tutarlı olabilecek tutarsızlıkları ortaya çıkarabilir, eğer varsa. Tüccarlar, göç toplamları hakkında geliştirici veya Proje Tachyon güncellemelerini ve kontrol noktasının anormal bir şey gösterip göstermediğini izlemelidir.
Diğer izleme maddesi, doğru yönde kapsam genişlemesi: denge-bütünlük kanıtının arkasındaki kriptografik varsayımlar ve tehdit modeli hakkında netleştirmeler, ayrıca herhangi bir takip.denetimlerveya kanıt uzantıları. Son olarak, kullanıcıların Orchard'dan Ironwood'a geçişini hızlandıran cüzdan ve borsa desteği, döner kapının zamanla üretebileceği gözlemlenebilir veri miktarını artırır.
Tüccarlar Kalan Bahçe Aşırmasını Nasıl Çerçevelemelidir
Önemli olan eşik, piyasanın genellikle bir arada gruplandırılan iki riski ayırıp ayıramayacağıdır: Ironwood'un gelecekte enflasyon yaratma yeteneği ile Orchard'ın hiç istismar edilip edilmediği konusundaki çözülmemiş soru. Yeni kanıt, belirtilen varsayımlar altında denge bütünlüğünü resmi olarak tesis ederek birinci kategoriye doğrudan yöneliktir.
Kalan aşırı yükü bir kanıt sorunu olarak ele alıyorum, bir his sorunu olarak değil. Eğer geçiş sistemi göçü tutarsızlıklar olmadan devam ederse ve cüzdanlar ile borsa üzerinden destek artarsa, yapı anlatıdan ziyade yapısal görünmeye başlar, çünkü piyasa daha temiz bir havuz ve gizli enflasyonla örtüşmesi zor olan büyüyen bir kamu izi elde eder.
