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 700000 dòng trong hai tuần
• Nguyên mẫu bao gồm 65 mục trong lộ trình và đồng bộ với mainnet
• Buterin kêu gọi cần có thêm thử nghiệm và xác minh chính thức
• AI đã giúp tạo ra một chứng minh STARK có thể xác minh bằng máy

Vitalik Buterin cho biết AI có thể thúc đẩy lộ trình Ethereum 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 nguyên mẫu client Ethereum phù hợp với lộ trình trong hai tuần bằng cách lập trình agentic. Nguyên mẫu bao gồm khoảng 700,000 dòng mã, bao phủ 65 mục 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ười đồng sáng lập Ethereum Vitalik Buterin cho biết AI đang tăng tốc phát triển Ethereum. Ông đã trích dẫn một nhà phát triển đã sử dụng lập trình agentic để xây dựng một client phù hợp với lộ trình 2030. Nguyên mẫu được 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 lộ trình. Client đang đồng bộ với Ethereum mainnet.

Đây là một thí nghiệm khá ấn tượng. Lập trình toàn bộ lộ trình 2030 trong vài tuần.

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

— vitalik.eth (@VitalikButerin) Ngày 28 tháng 2 năm 2026

Buterin mô tả nỗ lực này như một thí nghiệm cho thấy sự tiến bộ nhanh chóng. Ông cho biết công việc tương tự là không thực tế cách đây sáu tháng. Ông cũng bổ sung rằng hướng đi của sự tiến bộ AI là điều 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ư blog của mình trong vòng một giờ bằng cách lập trình agentic. Mô hình được sử dụng đang chạy cục bộ trên máy tính xách tay của ông.

Tăng Tốc Độ Đi Kèm Với Rủi Ro Kỹ Thuật

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

Tuy nhiên, ông tuyên bố rằng AI cho phép quá trình này di chuyển nhanh gấp năm lần. Ông giải thích rằng các nhà phát triển vẫn cần phải xem xét và so sánh mã. Thử nghiệm và xác minh vẫn là những bước cần thiết.

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

Tập Trung Vào Thử Nghiệm Và Xác Minh Chính Thức

Buterin cho biết lợi ích của AI nên được chia thành tốc độ và bảo mật. Ông gợi ý rằng một nửa lợi ích về năng suất nên được dành cho việc thử nghiệm mạnh mẽ hơn. Điều này bao gồm việc tạo ra nhiều trường hợp thử nghiệm hơn và thực hiện xác minh chính thức. Ông đã đề cập đến nỗ lực Lean Ethereum, nhằm mục đích 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 chứng minh có thể xác minh bằng máy cho một định lý STARK phức tạp.

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

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