Vitalik Buterin mengatakan AI mempercepat pengembangan Ethereum

• Agentic coding menghasilkan prototipe klien Ethereum sepanjang 700.000 baris kode yang sesuai dengan peta jalan 2030 dalam beberapa minggu.
• Buterin mendesak penggabungan AI coding yang lebih cepat dengan verifikasi formal, pengujian yang diperluas, dan pemeriksaan multi-klien.
• Dia juga merinci peta jalan ketahanan kuantum yang menggantikan BLS dan menambahkan sistem berbasis hash dan STARK.

Co-founder Ethereum Vitalik Buterin mengatakan kecerdasan buatan semakin cepat mempercepat pengembangan Ethereum. Dalam pernyataan publik terbaru, dia menjelaskan bagaimana agentic coding memungkinkan seorang pengembang membangun klien Ethereum yang sesuai dengan peta jalan dalam beberapa minggu. Pekerjaan ini dilakukan secara daring pada awal 2026 dan berfokus pada mempercepat pengembangan sekaligus meningkatkan keamanan melalui pengujian dan verifikasi.

Keuntungan Coding dan Pengujian Berbasis AI

Menurut Buterin, seorang pengembang menggunakan agentic coding untuk menghasilkan prototipe klien Ethereum yang sesuai dengan peta jalan 2030. Yang menarik, prototipe ini mencakup sekitar 700.000 baris kode dan mencakup 65 item peta jalan. Selain itu, prototipe ini juga sinkron dengan mainnet Ethereum dalam dua minggu.

Namun, Buterin menekankan bahwa pembangunan ini memiliki keterbatasan besar. Dia mengatakan kode tersebut kemungkinan mengandung bug kritis dan implementasi yang belum lengkap. Meski begitu, dia menjelaskan bahwa kemajuan seperti ini tampak tidak mungkin enam bulan lalu, menyoroti seberapa cepat alat pengembangan berkembang.

Buterin menambahkan bahwa AI mempercepat pengkodean di berbagai tugas. Dia menyebut pengalamannya sendiri membuat ulang perangkat lunak blog dalam satu jam menggunakan model lokal. Oleh karena itu, dia berpendapat bahwa keuntungan kecepatan harus dibagi secara merata antara pengembangan yang lebih cepat dan praktik keamanan yang lebih kuat.

Verifikasi Formal dan Fokus Keamanan

Buterin mengatakan penggunaan AI yang paling efektif menggabungkan pengkodean yang lebih cepat dengan pengujian yang lebih mendalam. Secara khusus, dia menyoroti pembuatan suite pengujian yang lebih besar dan perluasan verifikasi formal. Dia mencatat bahwa seorang kolaborator Lean Ethereum menggunakan AI untuk membuat bukti yang dapat diverifikasi mesin untuk teorema kompleks terkait STARK.

Menurut Buterin, Lean Ethereum bertujuan untuk secara formal memverifikasi setiap komponen. Namun, AI kini mempercepat upaya tersebut secara signifikan. Selain itu, dia menekankan bahwa kode bebas bug tetap sulit, tetapi lebih dapat dicapai melalui pengujian berulang dan pemeriksaan multi-implementasi.

Dia memperingatkan bahwa sistem yang aman tidak akan muncul dari satu prompt saja. Meski begitu, dia mengatakan siklus debugging kini dapat dilakukan lebih cepat dan lebih menyeluruh.

Rincian Peta Jalan Ketahanan Kuantum

Secara terpisah, Buterin merinci peta jalan ketahanan kuantum Ethereum. Dia mengidentifikasi kerentanan dalam tanda tangan konsensus BLS, ketersediaan data berbasis KZG, tanda tangan akun ECDSA, dan sistem bukti zero-knowledge. Untuk mengatasi ini, dia mengusulkan penggantian BLS dengan tanda tangan berbasis hash dan menggunakan agregasi STARK.

Untuk akun yang dimiliki secara eksternal, Buterin menunjuk ke EIP-8141. Perubahan ini akan memungkinkan berbagai skema tanda tangan, termasuk opsi yang tahan kuantum. Dia mengakui biaya gas yang lebih tinggi tetapi mengatakan efisiensi harus meningkat seiring waktu.

Peta jalan ini juga membahas sistem bukti. Meskipun bukti STARK lebih mahal daripada ZK-SNARK saat ini, agregasi dapat mengurangi perhitungan di blockchain. Bulan lalu, Ethereum Foundation menyatakan bahwa fase ekosistem berikutnya akan memperluas kapasitas sambil menjaga keamanan dan ketahanan jangka panjang.