Ethereum araştırmacıları Aralık öncesinde 52,14 bitlik zkEVM güvenlik açığıyla karşı karşıya

Öne Çıkan Noktalar

Ethereum'un better.codes yarışması, koalaIRS12 için 63,99 bitlik alt sertifika ve 116,13 bitlik üst sertifika olduğunu gösteriyor. Yedi çözüm sağlayıcının sunduğu dokuz kabul edilmiş başvurunun ardından iki sertifika arasında 52,14 bitlik çözülmemiş bir fark kalıyor. Yarışma puanı, sistemin bütününün sağlamlığını veya zkEVM'nin tam güvenliğini ölçmüyor. Ethereum'un Aralık başındaki incelemesi ayrıca sistem düzeyinde sağlamlık hesabı, ispat boyutu uyumluluğu, özyineleme argümanları ve uygulama kanıtı gerektiriyor.

Piyasa Duyarlılığı

tötr, teknoloji odaklı.

Gerekçe: Ethereum araştırmacıları, Ethereum'un konsensüs açısından kritik doğrulama yolunu değiştirmeden çözülmemiş bir ispat sistemi güvenlik farkını ölçüyor.

Benzer Geçmiş Örnekler

Bu tür biçimsel güvenlik araştırmaları, genellikle piyasada hemen yeniden fiyatlamaya yol açmak yerine tekrarlanabilir ispatlar yoluyla güveni kademeli olarak artırır. Mevcut kıyaslamada sabitlenmiş bir teorem ve doğrulama ortamı bulunuyor; bu da sonraki sertifika değişikliklerinin doğrudan karşılaştırılmasını sağlıyor.

Zincirleme Etki

Olağan yürütme istemcisinin yeniden yürütmesi Ethereum tasdiklerini yönlendirmeye devam ettiği için, anlık etki zkEVM güvenlik araştırmalarıyla sınırlı kalıyor. Sertifika aralığı daralırsa sonuç, sonraki sistem düzeyindeki güvenlik çalışmalarını güçlendirebilir; ancak tek başına üretim ortamındaki zkEVM güvenliğini kanıtlamaz.

Fırsatlar ve Riskler

Fırsatlar: Okuyucular, alt sertifikanın kodlanmış 128 bitlik hedefe doğru ilerleyip ilerlemediğini izleyebilir. Daha dar bir aralık, gelecekteki zkEVM güvenlik argümanları için bileşen düzeyinde daha güçlü kanıt sağlayabilir.

Riskler: Okuyucular, Ethereum'un Aralık başındaki inceleme için gerekli sistem düzeyindeki hesaplamaları ve uygulama kanıtını yayımlayıp yayımlamadığını izlemeli. Tek başına kıyaslama sonucu, üretim ortamındaki tam zkEVM güvenliğini ortaya koymaz.