Vitalik: zkEVM’lerde hız yarışı kazanıldı, odak güvenliğe kaymalı

Vitalik Buterin, zkEVM’lerin hız yarışında “belirleyici bir zafer” elde edildiğini söyledi ve geliştirme önceliğinin güvenliğe kaydırılması gerektiğini belirtti.

MarsBit, 15’inde Vitalik’in X’te yayımladığı paylaşımı aktararak, ZKsync’in Airbender ekibini bir dönüm noktasına ulaşması nedeniyle kutladığını bildirdi. Vitalik, bundan sonraki aşamada aritmetik devrelerle Ethereum spesifikasyonunun eşdeğerliğinin resmen doğrulanması, kanıtlayıcı maliyetinin toplam blok gas miktarı içindeki payına üst sınır getirilmesi ve kanıt sisteminin güvenliğinin incelenmesi gerektiğini söyledi.

zkEVM, Ethereum Sanal Makinesi’nin (EVM) yürütme sonuçlarını sıfır bilgi kanıtlarıyla doğrulayan bir teknoloji. İşlemleri baştan çalıştırmadan hesaplama sonuçlarını kanıtlarla kontrol etmeyi sağladığı için ölçeklenebilirliği artırmak amacıyla kullanılıyor. Ancak bir kanıtın geçerli olması, hesaplamanın Ethereum spesifikasyonuna uygun yapıldığını tek başına garanti etmiyor. Ethereum Vakfı’nın zkEVM güvenlik özeti de kanıt devrelerinin spesifikasyona uygun durum geçişlerini kısıtlayıp kısıtlamadığını ve emülatörün doğruluğunu güvenlik unsurları arasında ele alıyor.

Vitalik’in sıraladığı görevler, performans ile güvenlik doğrulamasının ayrı ayrı incelenmesi gerektiğini gösteriyor. Hız yarışında elde edilen başarı, kanıt devrelerinin veya sistemin güvenliğinin de doğrulandığı anlamına gelmiyor.