- Alat AI secara signifikan mempercepat timeline pengembangan Ethereum, memungkinkan prototipe cepat dan iterasi.
- Verifikasi formal dengan AI mempercepat pembuktian untuk kriptografi berbasis STARK yang kompleks, meningkatkan keamanan blockchain.
- Membagi keuntungan AI antara kecepatan dan keamanan memungkinkan pengembang Ethereum memperluas cakupan pengujian dan mengurangi bug kritis.
Vitalik Buterin mengatakan kecerdasan buatan mulai mengubah cara Ethereum dibangun.
Dalam postingan terbaru di X, dia menggambarkan sebuah eksperimen di mana AI digunakan untuk “vibe-code” sebagian besar peta jalan Ethereum 2030 dalam beberapa minggu. Dia menyebut hasilnya mengesankan, namun memperingatkan bahwa ini masih sangat eksperimental.
Proyek ini diselesaikan tanpa menyelesaikan Proposal Peningkatan Ethereum. Itu saja, dia catat, berarti kode kemungkinan mengandung bug serius. Beberapa fitur mungkin hanya sebagai implementasi parsial. Enam bulan lalu, dia menambahkan, bahkan mencapai tahap ini pun tampak tidak mungkin.
Ini adalah eksperimen yang cukup mengesankan. Vibe-coding seluruh peta jalan 2030 dalam beberapa minggu.
Jelas, hal semacam ini yang dibangun dalam dua minggu tanpa bahkan memiliki EIPs memiliki banyak kekurangan: hampir pasti banyak bug kritis, dan mungkin dalam beberapa kasus versi "stub" dari sebuah fitur… https://t.co/ZlTg0r2hvI
— vitalik.eth (@VitalikButerin) 28 Februari 2026
Kecepatan Coding AI – Tapi Bukan Kesempurnaan
Buterin mengatakan alat AI secara dramatis mempercepat timeline pengembangan. Dia baru-baru ini menggunakan model sumber terbuka yang dijalankan secara lokal untuk membuat ulang versi perangkat lunak blog-nya dalam sekitar satu jam. Model yang lebih kuat, dia usulkan, bisa menyelesaikan pembangunan serupa dalam satu percobaan.
Peta jalan Ethereum berfokus pada peningkatan skalabilitas, desentralisasi yang lebih kuat, dan peningkatan keamanan blockchain. Pengembang bekerja di berbagai lapisan protokol untuk mengurangi lalu lintas dan meningkatkan efisiensi. Siklus pengkodean yang lebih cepat dapat mempercepat upaya paralel tersebut.
Namun, Buterin memperingatkan agar tidak terlalu percaya diri. Satu prompt saja tidak akan menghasilkan kode produksi yang aman. Insinyur harus mengantisipasi inkonsistensi, kegagalan kasus pinggir, dan kekurangan struktural. Yang berubah, katanya, adalah kecepatan dalam mengidentifikasi dan memperbaiki masalah tersebut.
Verifikasi Formal Menjadi Fokus
Alih-alih menggunakan AI hanya untuk kecepatan, Buterin menyarankan mengalihkan sebagian dari keuntungan produktivitas tersebut ke arah keamanan. Termasuk menghasilkan volume pengujian yang lebih besar dan memperluas upaya pemeriksaan formal.
Dia menunjuk pada pekerjaan di bawah LeanEthereum, sebuah inisiatif riset yang didedikasikan untuk memverifikasi secara matematis komponen inti Ethereum. Seorang mitra, katanya, baru-baru ini menggunakan AI untuk membangun bukti yang dapat diverifikasi mesin untuk teorema kompleks yang mendasari kriptografi berbasis STARK.
STARK membentuk dasar bagi beberapa sistem bukti nol-pengetahuan yang digunakan untuk meningkatkan skala jaringan blockchain. Menghasilkan bukti formal untuk sistem tersebut secara tradisional memerlukan usaha manual yang besar. Bantuan AI kini mengurangi hambatan tersebut.
Verifikasi formal bergantung pada metode matematis untuk memastikan bahwa kode berperilaku persis seperti yang ditentukan. Dalam keamanan blockchain, proses ini membatasi titik lemah yang dapat menyebabkan eksploitasi atau kerugian finansial.
Meningkatkan Standar Keamanan
Buterin mengakui bahwa perangkat lunak yang benar-benar bebas bug tetap tidak mungkin. Kode tidak dapat secara sempurna menangkap setiap niat manusia di baliknya.
Namun, dia berargumen bahwa jaminan keamanan yang terarah dan dapat diverifikasi dapat menghilangkan sebagian besar risiko praktis.
Dalam sistem desentralisasi yang dibangun tanpa perlu mempercayai orang lain, standar verifikasi yang lebih ketat mengurangi ketergantungan pada koordinasi sosial atau pengawasan manual. Buterin mengatakan bahwa kemajuan berkelanjutan dalam pengkodean AI dapat mendorong Ethereum menuju harapan keamanan yang lebih tinggi sekaligus mengurangi horizon pengembangannya.
