Vitalik Buterin nói AI có thể thúc đẩy nhanh lộ trình Ethereum 2030

TLDR

• AI đã xây dựng một client Ethereum gồm 700000 dòng trong hai tuần
• Nguyên mẫu bao phủ 65 hạng mục trong lộ trình và đồng bộ với mainnet
• Buterin kêu gọi thử nghiệm thêm và xác minh chính thức
• AI giúp tạo ra một bằng chứng STARK có thể được máy xác minh

Vitalik Buterin nói rằng AI có thể đẩy nhanh lộ trình Ethereum đến năm 2030 với mức độ bảo mật chưa từng có. Ông dẫn tới một thí nghiệm gần đây, trong đó một nhà phát triển đã xây dựng một nguyên mẫu client Ethereum phù hợp với Ethereum’s 2030 roadmap, trong hai tuần bằng cách lập trình theo tác nhân (agentic coding). Nguyên mẫu bao gồm khoảng 700,000 dòng mã, bao phủ 65 hạng mục trong lộ trình và đồng bộ với Ethereum mainnet.

AI Built Prototype Aligns With 2030 Ethereum Roadmap

Đồng sáng lập Ethereum Vitalik Buterin cho biết AI đang tăng tốc phát triển Ethereum. Ông nêu ví dụ về một nhà phát triển đã dùng agentic coding để xây dựng một client phù hợp với Ethereum’s 2030 roadmap. Nguyên mẫu đã hoàn thành trong khoảng hai tuần. Nó bao gồm khoảng 700,000 dòng mã và hỗ trợ 65 hạng mục trong lộ trình. Client này đang đồng bộ với Ethereum mainnet.

Đây là một thí nghiệm khá ấn tượng. Cảm hứng “vibe-coding” toàn bộ lộ trình 2030 trong vài tuần.

Rõ ràng, một thứ được xây dựng trong hai tuần mà thậm chí chưa có các EIP sẽ có những hạn chế rất lớn: gần như chắc chắn sẽ có nhiều lỗi nghiêm trọng, và có lẽ trong một số trường hợp là các phiên bản “stub” của một thứ gì đó…

— vitalik.eth (@VitalikButerin) February 28, 2026

Buterin mô tả nỗ lực này như một thí nghiệm cho thấy tiến bộ nhanh chóng. Ông nói rằng các công việc tương tự thì không khả thi cách đây sáu tháng. Ông nói thêm rằng hướng phát triển của AI quan trọng nhất. Ông cũng chia sẻ một ví dụ cá nhân. Ông nói rằng mình đã xây dựng phần mềm tương tự như bài blog của mình trong vòng một giờ bằng agentic coding. Mô hình được sử dụng chạy cục bộ trên laptop của ông.

Những Lợi Ích Về Tốc Độ Đi Kèm Rủi Ro Kỹ Thuật

Buterin cảnh báo rằng các bản xây dựng AI nhanh chóng mang theo rủi ro. Ông nói rằng một dự án được hoàn thành trong hai tuần mà chưa có các EIP đã được chốt có khả năng chứa các lỗi nghiêm trọng. Ông nói thêm rằng một số phần có thể là các phiên bản stub. Ông cảnh báo không nên cho rằng một prompt có thể tạo ra mã sản phẩm an toàn. Ông nói rằng sẽ có lỗi và sự không nhất quán giữa các lần triển khai.

Tuy nhiên, ông cho biết AI cho phép quy trình này nhanh hơn năm lần. Ông giải thích rằng các nhà phát triển vẫn sẽ cần phải rà soát và so sánh mã. Việc kiểm thử và xác thực vẫn là những bước cần thiết.

AI giúp giảm thời gian dành cho các tác vụ lặp đi lặp lại và tăng tốc độ lặp. Buterin nói rằng thí nghiệm này không nên được xem như hạ tầng đã hoàn thiện. Ông định nghĩa nó như một tín hiệu về việc thay đổi phương pháp phát triển. AI giờ là một phần trong quy trình kỹ thuật của Ethereum.

Tập Trung Vào Kiểm Thử và Xác Minh Chính Thức

Buterin nói rằng các lợi ích do AI mang lại nên được chia giữa tốc độ và bảo mật. Ông gợi ý rằng một nửa mức tăng năng suất nên được dùng cho thử nghiệm mạnh hơn. Điều này bao gồm việc tạo thêm các ca kiểm thử và chạy xác minh chính thức. Ông dẫn tới nỗ lực Lean Ethereum, nhằm mục tiêu xác minh chính thức các thành phần của Ethereum. Một cộng tác viên đã sử dụng AI để tạo ra một bằng chứng có thể được máy xác minh cho một định lý STARK theorem phức tạp.

Buterin nói rằng xác minh chính thức hỗ trợ các hệ thống không cần tin cậy. Ông nói thêm rằng AI có thể mở rộng khối lượng các bài kiểm thử và cải thiện các phép kiểm tra đa triển khai. Những bước này giúp giảm rủi ro liên quan tới mã lỗi. Ông nói rằng tổng bảo mật là không thể đạt được. Ông giải thích rằng bảo mật hoàn hảo sẽ đòi hỏi sự khớp chính xác giữa mã và ý định của con người.

Dù vậy, ông lưu ý rằng các tuyên bố bảo mật cụ thể có thể được xác minh. Buterin nói rằng mọi người nên cân nhắc khả năng lộ trình Ethereum có thể được hoàn thành nhanh hơn dự kiến. Ông cũng nói rằng các tiêu chuẩn bảo mật có thể tăng lên khi các công cụ xác minh cải thiện. Ông cho biết ý tưởng về việc mã không có lỗi trong các trường hợp xác định có thể trở nên khả thi. Ông nói rằng ý tưởng này từng được xem là phi thực tế. Việc xác minh có hỗ trợ AI có thể thay đổi kỳ vọng phát triển theo thời gian.