Vitalik Buterin nói AI có thể thúc đẩy nhanh lộ trình Ethereum trong khi tăng cường an ninh

• Các công cụ AI đang rút ngắn đáng kể thời gian phát triển của Ethereum, cho phép tạo mẫu nhanh chóng và lặp lại.
• Xác minh chính thức với AI đang thúc đẩy nhanh quá trình chứng minh cho các cryptography dựa trên STARK phức tạp, nâng cao an ninh blockchain.
• Chia sẻ lợi ích của AI giữa tốc độ và an toàn giúp các nhà phát triển Ethereum mở rộng phạm vi kiểm thử và giảm thiểu lỗi nghiêm trọng.

Vitalik Buterin nói rằng trí tuệ nhân tạo đang bắt đầu định hình lại cách xây dựng Ethereum.

Trong một bài đăng gần đây trên X, ông mô tả một thử nghiệm trong đó AI được sử dụng để “vibe-code” phần lớn lộ trình Ethereum 2030 trong vòng vài tuần. Ông gọi kết quả này ấn tượng, nhưng cảnh báo nó vẫn còn rất thử nghiệm.

Dự án đã hoàn thành mà không cần hoàn thiện các Đề xuất Cải tiến Ethereum (EIPs). Điều này, theo ông, có nghĩa là mã có thể chứa nhiều lỗi nghiêm trọng. Một số tính năng có thể chỉ tồn tại dưới dạng các phiên bản tạm thời. Sáu tháng trước, ông nói thêm, thậm chí đạt được giai đoạn này còn có vẻ như không thể.

Đây là một thử nghiệm khá ấn tượng. Vi vibe-code toàn bộ lộ trình 2030 trong vòng vài tuần.

Rõ ràng, xây dựng một thứ như vậy trong hai tuần mà còn chưa có EIPs đi kèm có nhiều hạn chế: 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à các phiên bản “tạm thời” của một thứ gì đó… https://t.co/ZlTg0r2hvI

— vitalik.eth (@VitalikButerin) 28 tháng 2, 2026

Tiến bộ trong Lập trình AI – Nhưng Không Hoàn Hảo

Buterin cho biết các công cụ AI đang rút ngắn đáng kể thời gian phát triển. Gần đây, ông đã sử dụng một mô hình mã nguồn mở chạy cục bộ để tái tạo một phiên bản phần mềm blog của mình trong khoảng một giờ. Các mô hình mạnh hơn, ông gợi ý, có thể hoàn thành các bản dựng tương tự trong một lần thử.

Lộ trình Ethereum tập trung vào nâng cấp khả năng mở rộng, tăng cường phân quyền và cải thiện an ninh blockchain. Các nhà phát triển đang làm việc trên nhiều lớp của giao thức để giảm lưu lượng và tăng hiệu quả. Các chu kỳ lập trình nhanh hơn có thể thúc đẩy các nỗ lực song song này.

Tuy nhiên, Buterin cảnh báo không nên quá tự tin. Một lệnh duy nhất sẽ không tạo ra mã an toàn cho sản xuất. Các kỹ sư nên dự kiến sẽ có những không nhất quán, thất bại trong các trường hợp ngoại lệ và các khoảng trống cấu trúc. Những gì thay đổi, ông lập luận, là tốc độ phát hiện và sửa chữa các vấn đề đó.

Xác minh Chính thức Được Đặt Trong Tầm Nhìn

Thay vì sử dụng AI chỉ để tăng tốc, Buterin đề xuất chuyển phần lợi ích năng suất sang an toàn. Điều này bao gồm tạo ra số lượng lớn các trường hợp kiểm thử và mở rộng các nỗ lực kiểm tra chính thức.

Ông nhấn mạnh công trình của LeanEthereum, một sáng kiến nghiên cứu nhằm xác minh toán học các thành phần cốt lõi của Ethereum. Một đối tác của ông gần đây đã sử dụng AI để xây dựng một chứng minh có thể kiểm chứng bằng máy cho một định lý phức tạp nằm trong nền tảng của cryptography dựa trên STARK.

STARKs tạo thành nền tảng cho nhiều hệ thống chứng minh không kiến thức (zero-knowledge proofs) được sử dụng để mở rộng mạng lưới blockchain. Việc tạo ra các chứng minh chính thức cho các hệ thống này trước đây đòi hỏi nhiều công sức thủ công. Giờ đây, sự hỗ trợ của AI đang giảm bớt rào cản đó.

Xác minh chính thức dựa trên các phương pháp toán học để xác nhận rằng mã hoạt động chính xác như đã chỉ định. Trong an ninh blockchain, quá trình này hạn chế các điểm yếu có thể dẫn đến khai thác hoặc thiệt hại tài chính.

Nâng cao Tiêu Chuẩn An Ninh

Buterin thừa nhận rằng phần mềm hoàn toàn không có lỗi là điều không thể. Mã không thể hoàn hảo phản ánh mọi ý định của con người đằng sau nó.

Tuy nhiên, ông lập luận rằng các đảm bảo an ninh có thể nhắm mục tiêu và có thể xác minh được có thể loại bỏ phần lớn các rủi ro thực tế.

Trong các hệ thống phi tập trung dựa trên nguyên tắc không cần tin tưởng người khác, các tiêu chuẩn xác minh cao hơn giảm sự phụ thuộc vào phối hợp xã hội hoặc giám sát thủ công. Buterin nói rằng các tiến bộ liên tục trong lập trình AI có thể đẩy Ethereum hướng tới các tiêu chuẩn an ninh cao hơn trong khi rút ngắn thời gian phát triển.