Ethereum'un zkEVM'indeki 52 bitlik açık nedir?

Bu, yedi çözücünün dokuz başvurusunun ardından 21 Ağustos'ta 15:44:47 UTC'de better.codes sıralama tablosunda kaydedilen, koalaIRS12 kıyaslaması için 63,99 bitlik ses sertifikası ile 116,13 bitlik saldırı sertifikası arasındaki çözümsüz aralıktır.

KoalaIRS12, zkEVM ispat sistemi araştırmasında kullanılan iç içe bir Reed-Solomon indirgemesi için sabit parametreli bir profildir. better.codes yarışması sertifikaları tam Ethereum zkEVM'ine karşı değil, bu tek profile karşı puanlar.

Aralık 2026 M3 dönüm noktası nedir?

M3, başlangıçta Aralık 2025 zkEVM güvenlik yol haritasında belirlenmiş ve Şubat ayında ertelenmişti. Aralık 2026'nın başına kadar 128 bit kanıtlanabilir güvenlik, 300 KiB ve altında ispat boyutları ve özyinelemeli mimari için biçimsel bir ses argümanı talep ediyor.

52 bitlik açık bugün Ethereum ana ağını etkiliyor mu?

Hayır. Mayıs ayındaki bir Vakıf güncellemesi, zkEVM ispatlarını fikir birliği açısından kritik olmayan seçenek ispatları olarak çerçeveledi. Ana ağ onayı, zkEVM ispatları testleri desteklerken sıradan yürütme istemcisi yeniden yürütmesine dayanmaya devam ediyor.

better.codes yarışması aralığı nasıl kapatıyor?

Ses başvuruları alt sertifikayı 128 bitlik kodlanmış hedefe doğru yukarı çekerken, saldırı başvuruları üst sertifikayı aşağı çeker. Kabul edilen her terfi, sabitlenmiş bir Lean ortamında makine tarafından kontrol edilen bir sınır değişikliğidir.

🩸BEARISH 1s önce

CryptoSlate

Ethereum zkEVM’de 52 bitlik açığı kapatmak için yarışıyor

52 bitlik açık, koalaIRS12 adlı tek bir kriptografik indirgenin içinde yer alıyor; tam zkEVM'de değil. Üretime hazır bir kanıt, ... öncesinde birden fazla bileşen üzerinde sistem genelinde ses düzeyi hesaplamasına ihtiyaç duyuyor.

Zipp Editorial Şuradan derlenmiştir CryptoSlate

Ethereum zkEVM’de 52 bitlik açığı kapatmak için yarışıyor

Ethereum araştırmacıları, Aralık 2026 incelemesinden önce zkEVM kriptografik güvenliğindeki 52 bitlik açığı kapatmak için yarışıyor. better.codes yarışmasının 21 Ağustos'ta 15:44:47 UTC'de kaydedilen canlı sıralama tablosu, koalaIRS12 için 63,99 bitlik bir ses sertifikası ve 116,13 bitlik bir saldırı sertifikası gösterdi; yedi çözücünün dokuz başvurusunun ardından iki terfi edilmiş sonuç arasında 52,14 bit çözümsüz kaldı. KoalaIRS12, ispat sistemi araştırmasında kullanılan iç içe bir Reed-Solomon indirgemesi için sabit parametreli bir profil olup, zkEVM'in tamamı değildir. Açık aralık, daha geniş sistem için Ethereum'un 128 bit kanıtlanabilir güvenlik hedefinin oldukça altında kalıyor.

Neden önemli

Sertifikalar, sabitlenmiş bir Lean ortamındaki makine tarafından kontrol edilen sınırlardır; burada ses başvuruları alt sertifikayı yukarı çekerken, saldırı başvuruları üst sertifikayı aşağı çeker. Her terfi, tekrarlanabilir bir sınırı hareket ettirir; ancak çerçeve, sertifikaların hiçbirini tam sistem ses iddiası olarak okumayı açıkça yasaklar. Üretime hazır bir zkEVM'in ek katmanlara ihtiyacı olur: tamlık, biçimsel tanımlara gömülü varsayımlar, spesifikasyonlar ile uygulamalar arasındaki uyum ve ayrı ayrı analiz edilen bileşenler arasındaki kanıt kompozisyonu.

SP1 biçimsel doğrulama çalışmasının Mayıs ayındaki incelemesi, bu katmanların neden önemli olduğunu gösterdi. Spesifikasyonlar ve teorem ifadeleri de kendi başına koddur; bileşenlerin sürüm sabitlemesine ihtiyacı vardır ve bireysel sonuçlar bir sistem iddiasını destekleyebilmek için daha geniş bir akıl yürütme gerektirir. Gal Arnon, Dan Boneh ve Giacomo Fenzi'nin akademik makalesi ise ayrıca liste kod çözme, Reed-Solomon yakınlık boşlukları ve ilişkili anlaşma sorularını kısa ispat sistemleri için açık problemler olarak işaretledi.

Piyasa etkisi

Aralık 2025 zkEVM güvenlik yol haritası, 128 bit kanıtlanabilir güvenlik, 300 KiB ve altında ispat boyutları ve özyinelemeli mimari için biçimsel bir ses argümanı talep ediyordu. Şubat güncellemesi, M3 son tarihini Aralık 2026'nın başına erteledi; mimari güvenlik argümanı artık 1 Aralık teslimatına bağlandı. Yalnızca koalaIRS12 için 128 bite ulaşan bir alt sertifika, bu kıyaslamanın yalnızca ses tarafını sabit parametre noktasında çözüme kavuşturur.

$ETH #zkEVM #ZeroKnowledge #FormalVerification

Sıkça sorulan sorular

Ethereum'un zkEVM'indeki 52 bitlik açık nedir?

Bu, yedi çözücünün dokuz başvurusunun ardından 21 Ağustos'ta 15:44:47 UTC'de better.codes sıralama tablosunda kaydedilen, koalaIRS12 kıyaslaması için 63,99 bitlik ses sertifikası ile 116,13 bitlik saldırı sertifikası arasındaki çözümsüz aralıktır.
koalaIRS12 nedir?

KoalaIRS12, zkEVM ispat sistemi araştırmasında kullanılan iç içe bir Reed-Solomon indirgemesi için sabit parametreli bir profildir. better.codes yarışması sertifikaları tam Ethereum zkEVM'ine karşı değil, bu tek profile karşı puanlar.
Aralık 2026 M3 dönüm noktası nedir?

M3, başlangıçta Aralık 2025 zkEVM güvenlik yol haritasında belirlenmiş ve Şubat ayında ertelenmişti. Aralık 2026'nın başına kadar 128 bit kanıtlanabilir güvenlik, 300 KiB ve altında ispat boyutları ve özyinelemeli mimari için biçimsel bir ses argümanı talep ediyor.
52 bitlik açık bugün Ethereum ana ağını etkiliyor mu?

Hayır. Mayıs ayındaki bir Vakıf güncellemesi, zkEVM ispatlarını fikir birliği açısından kritik olmayan seçenek ispatları olarak çerçeveledi. Ana ağ onayı, zkEVM ispatları testleri desteklerken sıradan yürütme istemcisi yeniden yürütmesine dayanmaya devam ediyor.
better.codes yarışması aralığı nasıl kapatıyor?

Ses başvuruları alt sertifikayı 128 bitlik kodlanmış hedefe doğru yukarı çekerken, saldırı başvuruları üst sertifikayı aşağı çeker. Kabul edilen her terfi, sabitlenmiş bir Lean ortamında makine tarafından kontrol edilen bir sınır değişikliğidir.

Kaynak atıf

Şuradan derlenmiştir CryptoSlate · Doğrulanmış · Son güncelleme 1s önce

Orijinali aç →