Vitalik Buterin, Ham EVM ve Yalın Temeline Dayanan Yeni Ethereum Araştırma Dönemine Işık Tutuyor

Vitalik 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.