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ể dùng mô hình agent để viết mã 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 trong lộ trình, đồng bộ được 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 lưu ý quan trọng, 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 so với kỳ vọng hiện tại của cộng đồng.
Buterin nói thẳng về những gì dự án không phải là: được xây dựng khi chưa có các Ethereum Improvement Proposal chính thức, nó gần như chắc chắn chứa các lỗi nghiêm trọng và nhiều khả năng bao gồm các phiên bản “stub” của tính năng – nơi 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 sản phẩm đầu ra. Sáu tháng trước, ông viết, ngay cả một bản mẫu có phạm vi như vậy cũng còn “hoàn toàn nằm ngoài khả năng”.
Tốc độ vs. Bảo mật
Buterin đưa ra khung cho cách tiếp cận đúng với phát triển được tăng tốc bởi AI là chia “lợi nhuận” giữa tốc độ và bảo mật, thay vì dùng hết cho việc tăng tốc.
Mô hình ưa thích của ông: dùng AI để tạo bộ test-case lớn hơn, kiểm chứng hình thức các 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 kiểm chứng hình thức toàn bộ code 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 làm nền tảng cho bảo mật STARK.
Theo khung phân tích của Buterin, đó 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ã đúng, có thể kiểm chứng 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 diễn đạt 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 nhanh hơn so với các 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ề tiềm năng giúp “mã không lỗi” chuyển từ một ảo tưởng lý tưởng thành kỳ vọng cơ bản đối với hạ tầng quan trọng.
Ông thừa nhận rằng bảo mật tuyệt đối vẫn là bất khả trong nghĩa tuyệt đối – điều đó đòi hỏi sự tương ứng chính xác giữa mã và những gì trong đầu 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% hậu quả tiêu cực có thể xảy ra từ những lỗi mã cụ thể, được định nghĩa rõ.
Kho lưu trữ ETH2030 vẫn được công khai tại github.com/jiayaoqijia/eth2030.