Consensys, Ethereum (ETH) Kanıtlarını Sahteleyebilen gnark Açığını Paylaştı: Şiddet 7,5

Consensys, gnark'taki kanıt atlatma açığını duyurdu

Ethereum (ETH) altyapı geliştiricisi Consensys'in sürdürdüğü açık kaynaklı sıfır bilgi kanıtı araç seti gnark'ta, bazı kurulum ortamlarında sahte bir hesaplama sonucunun meşru kanıt gibi görünmesini sağlayabilecek yüksek şiddetli bir güvenlik açığı ortaya çıktı. Şirket, sorunu 9 Kasım Pazartesi günü GitHub'da yayımladığı güvenlik duyurusuyla açığa çıkardı ve şiddetini 10 üzerinden 7,5 olarak, yani High sınıfında derecelendirdi. Duyuruya göre asıl sorun şu: gnark, bazı kriptografik işlemlerin sonucunu düzgün biçimde doğrulamıyor. Buradaki doğrulama, altta yatan veriyi görmeden bir hesaplamanın tam olarak iddia edildiği gibi yapıldığını teyit etmek anlamına geliyor. Duyuruda iki eğri ailesi isimlendiriliyor: BLS12-381 ve BW6-761. Hesaplamaya beslenen değerleri manipüle eden bir saldırgan, doğrulayıcının gerçek sonuçtan farklı bir çıktıyı kabul etmesini sağlayabiliyor. Pratikte bu, yanlış bir cevabın doğrulanmış gibi gösterilebileceği anlamına geliyor. İkinci kusur girdi doğrulamasıyla ilgili: gnark, bir hesaplamada kullanılan değerlerin kriptografik işlemin öngördüğü koşulları sağlayıp sağlamadığını kontrol etmediği için, doğru bir hesaplamayla tutarsız sonuçlar da doğrulamayı geçebiliyor. Güvenlik araştırmacıları her iki sorunu da deneysel olarak teyit etti ve doğrulamanın reddetmesi gereken sahte sıfır bilgi kanıtları üretti. Bu tür kanıtlar sektör genelinde gizlilik ödemelerinin ve ZK ölçeklendirme sistemlerinin temelini oluşturuyor; bu yüzden ortak bir kütüphanedeki doğrulayıcı hatası tek bir projenin kod tabanının ötesine geçiyor. Consensys, araç setinin nerede çalıştığına bağlı olarak açığın imza doğrulamasının, blokzincir hesaplama sonuçlarının veya özyinelemeli kanıt doğrulamasının sahteciliğine imza atabileceği uyarısında bulundu; özyinelemeli doğrulama, birden çok kanıtı tek bir kontrolde birleştiren bir teknik. Şirket, sorunun kapalı bir kanaldan bildirildiğini ve şu ana kadar istismar kanıtı bulunmadığını belirtti. Duyuruda Ethereum fiyatı üzerindeki etkiye dair bir değerlendirme yer almıyor; açıklanan zayıflık da zincirin proof-of-stake konsensüs katmanında değil, kanıt üreten yazılımda duruyor.

gnark 0.16.5 düzeltmeyi getirdi

Bu açıklama, kütüphanenin ötesinde bir anlam taşıyor. Consensys, gnark'ı kendi Ethereum (ETH) Layer 2 ağı Linea'da kullanıyor; bir Layer 2 işlemleri ana zincir dışında yürütüyor ve sonuçların sıkıştırılmış kanıtını Ethereum'a geri gönderiyor. Sahte bir kanıtın kabul edildiği boru hattı tam da burası. Listelenen hedeflerden biri olan özyinelemeli doğrulama çok sayıda kanıtı tek kanıta sıkıştırıyor, dolayısıyla tek bir sahte adım bütün bir kontrol zincirine yayılabiliyor. Duyuruya göre temel kusur, gnark'ın 0.16.0 ile 0.16.4 arasındaki sürümlerini etkiliyor. BLS12-381, Ethereum validator imzalarında kullanılan eşleştirme dostu eğri; bu da kusuru doğrudan zincirin kriptografik katmanına bağlıyor. BW6-761 ise özyinelemeli kanıt ortamlarında onunla eşleşmek üzere tasarlanmış. Geliştirme ekibi ilgili kodu denetlerken bu açıklamadan daha eski ek doğrulama sorunları da buldu ve aynı sürümde düzeltti. O sürüm olan gnark 0.16.5 çıktı bile. Consensys rehberinde iki kusuru kesin çizgilerle ayırdı: birincisinin tek çaresi yükseltme, ikincisi ise etkilenen sürece belirli doğrulama adımları eklenerek geçici olarak giderilebiliyor. Duyuru, hemen yükseltme yapamayan ekipler için pratik talimatları da içeriyor; yama, alt projelerin kendilerinin çekmesi gereken bir bağımlılık güncellemesi olarak yayımlanıyor. Kütüphaneyi çalıştıran ekiplerin karşılaştığı aciliyet düzeyi bu yüzden hangi kod yolunu kullandıklarına göre değişiyor. Şirket, açıklığın duyuru yayımlanmadan önce gizlice bildirildiğini ve bugüne dek gerçek dünyada kötüye kullanım belirtisi görülmediğini kaydetti. Linea'nın canlı kanıt altyapısının etkilenen sürümlerden birini çalıştırıp çalıştırmadığı söylenmedi; şirketin kendi ağının fiilî maruziyeti belirsiz kalıyor. Duyuru, sahtecilik riskini belirli bir ağ için doğrulanmış bir olgu olarak değil, uygulama ortamına bağlı bir koşul olarak çerçeveliyor.

gnark, konsensüsün dışında duruyor

Ethereum'un kendisi için maruziyet, 7,5'lik skorun tek başına düşündürdüğünden daha dar. gnark, kanıt üreten altyapıdır, konsensüs kodu değil: blok üretimi, doğrulayıcı kümesi ve akıllı sözleşme yürütümü, duyurunun dokunmadığı uygulamalar üzerinde çalışıyor. Risk, gnark'ı gömen sistemlerde, bunların başında Linea gelmek üzere, ve özyinelemeli olarak doğrulanan kanıtlara dayanan her uygulamada yoğunlaşıyor. Hiçbir saldırı gözlemlenmediği için bu, piyasa genelinde bir FUD dalgasına dönüşen teknik bir açıklama olarak kalıyor; açık kalan pencere ise 9 Kasım'daki duyuru ile bağımlı projelerdeki yükseltmelerin tamamlanması arasındaki süre. Kimse teyit etmemiş olan soru, Consensys'in de açık bıraktığı soru: Linea'nın üretim ortamındaki kanıtlayıcıları etkilenen sürümleri hiç çalıştırdı mı? Ethereum (ETH) altyapı yığını daha önce de GitHub ve zincir üstü kanallar üzerinden güvenlik uyarıları aldı; bir Swarm tedarik zinciri saldırısı uyarısından bir Ethereum genesis cüzdanını hedefleyen toz saldırılarına uzanan bu tablo, bağımlılık denetimlerini kalıcı savunma hattı yapıyor.