
Vitalik Buterin, Ham EVM ve Yalın Temeline Dayanan Yeni Ethereum Araştırma Dönemine Işık Tutuyor
Yükseliş•
ETH
••Crypto EconomyVitalik Buterin, yapay zeka ile birlikte resmi yazılım doğrulamanın yüksek güvenlikli koddaki kritik hataları ortadan kaldırabileceğini savunuyor. Bu durum Ethereum için özellikle geçerli: Arklib ve evm-asm gibi projeler halihazırda EVM ve STARK'ların resmi olarak doğrulanmış uygulamaları üzerinde çalışıyor. Yapay zeka, kodu yüksek hızda yazar; resmi doğrulama bunun doğru olmasını sağlar.
Orijinali görüntüle
Orijinal makale İngilizce yazılmıştır.
