Một lập trình viên đã cá cược với Vitalik Buterin rằng một người duy nhất có thể code theo kiểu agentic một client Ethereum (ETH) nhắm tới lộ trình 2030, và đã xây dựng ETH2030 trong hai tuần – 702.000 dòng Go, bao phủ 65 hạng mục lộ trình, đồng bộ với Ethereum mainnet.
Buterin đã bình luận về kết quả vào thứ Sáu, gọi đây là “một thí nghiệm khá ấn tượng” đồng thời liệt kê nhiều điểm cần dè dặt, và nêu khả năng AI có thể tăng tốc việc hoàn thành lộ trình Ethereum nhiều hơn mức cộng đồng hiện kỳ vọng.
Buterin nói thẳng về những gì dự án không phải là: được xây dựng mà không dựa trên các Ethereum Improvement Proposal (EIP) chính thức, nó gần như chắc chắn chứa lỗi nghiêm trọng và nhiều khả năng bao gồm các phiên bản “stub” của những tính năng mà AI không cố gắng triển khai đầy đủ.
Theo ông, điều quan trọng là quỹ đạo chứ không phải bản đầu ra. Sáu tháng trước, ông viết, ngay cả một bản mẫu với quy mô này cũng “nằm ngoài mọi khả năng có thể tưởng tượng”.
Tốc độ so với bảo mật
Buterin đã đặt vấn đề về cách tiếp cận đúng đắn với phát triển được tăng tốc bởi AI là chia đôi lợi ích giữa tốc độ và bảo mật, thay vì dùng toàn bộ cho tốc độ.
Mô hình ưa thích của ông: dùng AI để tạo các bộ test-case lớn hơn, kiểm chứng hình thức (formal verification) các bản triển khai, và tạo nhiều phiên bản độc lập của cùng một thành phần để đối chiếu chéo.
Một cộng tác viên trong dự án LeanEthereum – dự án nhằm mục tiêu kiểm chứng hình thức toàn bộ mã nguồn Ethereum – gần đây đã dùng AI để tạo ra một chứng minh có thể được máy xác minh cho một trong những định lý phức tạp nhất nằm dưới nền tảng bảo mật của STARK.
Theo cách đóng khung của Buterin, đó mới là trường hợp sử dụng có giá trị cao hơn: không phải giao hàng nhanh hơn, mà là giao những đoạn mã được kiểm chứng đúng đắn hơn.
Đọc thêm: Kalshi Refused To Let Traders Profit From Khamenei's Death - Then Refunded Everyone On A $36M Market
Ông nghĩ điều gì là khả thi
Buterin cẩn trọng đóng khung sự lạc quan của mình như một khả năng chứ không phải dự báo. Ông nói mọi người nên cởi mở với khả năng lộ trình Ethereum hoàn thành sớm hơn những mốc thời gian hiện tại – và với tiêu chuẩn bảo mật cao hơn.
Về khía cạnh bảo mật, ông bày tỏ sự hào hứng cá nhân với tiềm năng đưa mã không lỗi từ chỗ là một “ảo tưởng duy tâm” thành một kỳ vọng cơ bản đối với hạ tầng then chốt.
Ông thừa nhận rằng bảo mật tuyệt đối vẫn là điều không thể theo nghĩa tuyệt đối – nó sẽ đòi hỏi sự tương ứng chính xác giữa mã và những gì nằm trong tâm trí lập trình viên – nhưng lập luận rằng kiểm chứng hình thức bằng AI đã có thể loại bỏ hơn 99% các hệ quả tiêu cực có thể phát sinh từ những lỗi mã cụ thể, được định nghĩa rõ ràng.
Kho lưu trữ ETH2030 vẫn công khai tại github.com/jiayaoqijia/eth2030.