Vitalik Buterin Menyoroti Era Baru Penelitian Ethereum yang Dibangun pada Raw EVM dan Lean

Vitalik Buterin berpendapat bahwa verifikasi perangkat lunak formal, dikombinasikan dengan AI, dapat menghilangkan bug kritis dalam kode keamanan tinggi. Bagi Ethereum, hal ini sangat relevan: proyek seperti Arklib dan evm-asm sudah mengerjakan implementasi EVM dan STARK yang terverifikasi secara formal. AI menulis kode dengan kecepatan tinggi; verifikasi formal memastikan kebenarannya.