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 với 700000 dòng trong hai tuần
• Bản mẫu bao phủ 65 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 hì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 cho biết 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 đã chỉ ra 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 lộ trình trong hai tuần bằng lập trình theo tác nhân. Nguyên mẫu bao gồm khoảng 700,000 dòng mã, bao phủ 65 mục trong lộ trình và đồng bộ với Ethereum mainnet.

AI xây dựng nguyên mẫu phù hợp với lộ trình Ethereum 2030

Đồng sáng lập Ethereum Vitalik Buterin cho biết AI đang thúc đẩy nhanh sự phát triển của Ethereum. Ông dẫn ví dụ về một nhà phát triển đã dùng lập trình theo tác nhân để xây dựng một client phù hợp với lộ trình 2030. 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 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. Code theo “vibe” cho toàn bộ lộ trình 2030 trong vài tuần.

Rõ ràng, một thứ được xây trong hai tuần mà thậm chí còn chưa có các EIP thì có rất nhiều hạn chế: gần như chắc chắn là có rất 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 độ nhanh. Ông nói các công việc tương tự trước đây không thực tế cách đây sáu tháng. Ông cho biết 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 ông đã 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 lập trình theo tác nhân. Mô hình được sử dụng chạy cục bộ trên laptop của ông.

Tăng 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 có rủi ro. Ông nói một dự án 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 cho biết một số phần có thể là phiên bản stub. Ông cảnh báo không nên cho rằng một lời nhắc có thể tạo ra mã sản xuất an toàn. Ông nói sẽ có các lỗi và sự không nhất quán giữa các triển khai.

Tuy nhiên, ông cho biết AI cho phép quy trình này diễn ra nhanh hơn năm lần. Ông giải thích rằng các nhà phát triển vẫn cần xem xét và đối chiếu mã. Kiểm thử và xác thực vẫn là các 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 thử. Buterin nói thí nghiệm này không nên được xem là hạ tầng đã hoàn thiện. Ông định vị nó như một tín hiệu về việc thay đổi phương pháp phát triển. AI hiện là một phần của quy trình làm việc kỹ thuật của Ethereum.

Tập trung vào kiểm thử và xác minh hình thức

Buterin nói rằng những lợi ích từ AI 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ành cho kiểm thử mạnh hơn. Điều này bao gồm tạo thêm nhiều ca kiểm thử và chạy xác minh hình thức. Ông nhắc đến nỗ lực Lean Ethereum, nhằm mục tiêu xác minh hình thức các thành phần của Ethereum. Một cộng tác viên đã 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 phức tạp.

Buterin nói rằng xác minh hì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 kiểm thử và cải thiện các kiểm tra đa-điển khai. Các bước này giảm rủi ro liên quan đến mã lỗi. Ông nói rằng tổng thể bảo mật không đạ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 vẫn ghi nhận rằng các tuyên bố bảo mật cụ thể có thể được xác minh. Buterin nói mọi người nên cân nhắc khả năng lộ trình Ethereum có thể kết thúc nhanh hơn dự kiến. Ông cũng nói 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 cải thiện. Ông cho biết có thể sẽ đạt được mã không có lỗi trong các trường hợp được xác định. Ông nói rằng ý tưởng này từng bị xem là không thực tế. Việc xác minh được hỗ trợ bởi AI có thể thay đổi kỳ vọng phát triển theo thời gian.