Salah satu pendiri Ethereum, Vitalik Buterin, mengatakan bahwa penggunaan AI dapat memangkas secara signifikan waktu yang diperlukan untuk menyelesaikan roadmap pengembangan Ethereum yang tersisa dibandingkan perkiraan sebelumnya.
Dalam wawancara dengan Moneycontrol, Buterin menyebut zero-knowledge proof (ZK), AI, dan verifikasi formal sebagai elemen inti “Lean Ethereum”, yang akan dikembangkan dalam beberapa tahun mendatang. Verifikasi formal adalah metode yang menggunakan teknik matematika untuk memastikan apakah kode dan algoritma bekerja sesuai kondisi yang telah ditentukan.
Ia menjelaskan, “Berdasarkan jumlah pekerjaan yang tersisa dalam roadmap, penyelesaiannya akan memakan waktu 20 tahun jika menggunakan standar lima tahun lalu.” Ia menambahkan, “Berkat AI, kami dapat bergerak jauh lebih cepat sekaligus memverifikasi keamanan kode dan algoritma yang sedang ditulis.”
Lean Ethereum bertujuan meningkatkan kinerja jaringan dengan memanfaatkan teknologi dan metode pengembangan terbaru, sekaligus mempertahankan desentralisasi dan keamanan.