Mars Finans haberine göre, Ethereum kurumsal gizlilik teknolojisi şirketi EthSystems, gizli havuzunun (shielded pool) yazılı spesifikasyondan Sepolia test ağına kadar çalışan bayt koduna kadar olan tüm aşamalarında formel doğrulama tamamladığını duyurdu. Doğrulama, katmanlara göre farklı araçlar kullanılarak gerçekleştirildi: model, devre ve hash için Lean, sözleşme için Halmos ve Kontrol, cüzdan için Aeneas ve Verus, doğrulayıcı ve dağıtımı ise bayt bayt yeniden inşa ederek kontrol edildi. Çift harcama ve değer korunumu, Lean teorem makinesi tarafından doğrulandı. Doğrulama sürecinde 6 sorun tespit edildi; bunların 3'ü doğrulama araçlarında ortaya çıktı. Takım, hala bağlı kaldığı varsayımları da listeledi: hash çakışmazlığı, doğrulayıcının sahte kanıtları reddetmesi ve sözleşmenin davranışının modelle uyumlu olması.
EthSystems, Gizlilik Havuzunun Resmi Doğrulamasını Tamamlıyor
MarsBitPaylaş
Özet
EthSystems, bir Ethereum gizlilik teknolojisi firması, Sepolia test ağı üzerinde gizlilik havuzunun resmi doğrulamasını tamamladı. Bu süreç, modeller, devreler ve karma değerler için Lean; sözleşmeler için Halmos ve Kontrol; cüzdanlar için Aeneas ve Verus; ve doğrulayıcılar için bayt bazlı kontroller kullanarak çoklu araçları kapsadı. Lean teorem makineleri, çift harcama ve değer korunumu doğrulandı. Altı sorun tespit edildi, bunların üçü araçlarda bulundu. Kalan varsayımlar arasında karma çakışma direnci ve sözleşmelerin modellerle uyumu yer alıyor. Bu çaba, Kanıt-Çalışma (PoW) ve Kanıt-Katkı (PoS) güvenlik modelleri arasındaki devam eden tartışmalarla uyumlu.
Kaynak:Orijinalini göster
Yasal Uyarı: Bu sayfadaki bilgiler üçüncü şahıslardan alınmış olabilir ve KuCoin'in görüşlerini veya fikirlerini yansıtmayabilir. Bu içerik, herhangi bir beyan veya garanti olmaksızın yalnızca genel bilgilendirme amacıyla sağlanmıştır ve finansal veya yatırım tavsiyesi olarak yorumlanamaz. KuCoin, herhangi bir hata veya eksiklikten veya bu bilgilerin kullanımından kaynaklanan sonuçtan sorumlu değildir.
Dijital varlıklara yapılan yatırımlar riskli olabilir. Lütfen bir ürünün risklerini ve risk toleransınızı kendi finansal koşullarınıza göre dikkatlice değerlendirin. Daha fazla bilgi için lütfen Kullanım Koşullarımıza ve Risk Açıklamamıza bakınız.