Vitalik Buterin nói AI đang thúc đẩy nhanh quá trình phát triển của Ethereum

• Mã hóa có chủ đích đã tạo ra một nguyên mẫu khách hàng Ethereum dài 700.000 dòng mã, phù hợp với lộ trình 2030 trong vòng vài tuần.
• Buterin kêu gọi kết hợp mã hóa AI nhanh hơn với xác minh chính thức, mở rộng bộ kiểm thử và kiểm tra đa khách hàng.
• Ông cũng chi tiết hóa lộ trình chống lượng tử thay thế BLS và bổ sung các hệ thống dựa trên hàm băm và STARK.

Đồng sáng lập Ethereum Vitalik Buterin cho biết trí tuệ nhân tạo đang thúc đẩy nhanh quá trình phát triển Ethereum. Trong những phát biểu công khai gần đây, ông mô tả cách mã hóa có chủ đích giúp một nhà phát triển xây dựng khách hàng Ethereum phù hợp với lộ trình trong vòng vài tuần. Công việc này diễn ra trực tuyến vào đầu năm 2026, tập trung vào việc tăng tốc phát triển đồng thời cải thiện bảo mật thông qua kiểm thử và xác minh.

Lợi ích của Mã hóa và Kiểm thử Dựa trên AI

Theo Buterin, một nhà phát triển đã sử dụng mã hóa có chủ đích để tạo ra một nguyên mẫu khách hàng Ethereum phù hợp với lộ trình 2030. Đáng chú ý, nguyên mẫu này gồm khoảng 700.000 dòng mã và bao gồm 65 mục trong lộ trình. Nó cũng đồng bộ với mạng chính Ethereum trong vòng hai tuần.

Tuy nhiên, Buterin nhấn mạnh rằng bản xây dựng này đi kèm với những hạn chế lớn. Ông cho biết mã có khả năng chứa các lỗi nghiêm trọng và các phần chưa hoàn chỉnh. Tuy nhiên, ông giải thích rằng tiến bộ như vậy dường như không thể xảy ra cách đây sáu tháng, làm nổi bật tốc độ tiến bộ của các công cụ phát triển.

Buterin bổ sung rằng AI thúc đẩy quá trình mã hóa nhanh hơn trong nhiều nhiệm vụ. Ông lấy ví dụ chính mình đã tạo lại phần mềm blog trong vòng một giờ bằng các mô hình cục bộ. Do đó, ông lập luận rằng lợi ích về tốc độ nên được chia đều giữa việc phát triển nhanh hơn và thực hành bảo mật mạnh mẽ hơn.

Xác minh Chính thức và Tập trung vào Bảo mật

Buterin cho biết cách sử dụng AI hiệu quả nhất là kết hợp mã hóa nhanh hơn với kiểm thử sâu hơn. Cụ thể, ông nhấn mạnh việc tạo ra các bộ kiểm thử lớn hơn và mở rộng xác minh chính thức. Ông lưu ý rằng một cộng tác viên Ethereum 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ý phức tạp liên quan đến STARK.

Theo Buterin, Ethereum Lean nhằm mục tiêu xác minh chính thức mọi thành phần. Tuy nhiên, AI hiện nay đã thúc đẩy nỗ lực này đáng kể. Ngoài ra, ông nhấn mạnh rằng mã không chứa lỗi vẫn còn khó, nhưng có thể đạt được nhiều hơn thông qua kiểm thử lặp đi lặp lại và kiểm tra đa phương pháp.

Ông cảnh báo rằng các hệ thống an toàn sẽ không xuất hiện từ các lệnh duy nhất. Tuy nhiên, ông cho biết các chu kỳ gỡ lỗi giờ đây có thể diễn ra nhanh hơn và kỹ lưỡng hơn.

Chi tiết Lộ trình Chống Lượng Tử

Ngoài ra, Buterin đã phác thảo lộ trình chống lượng tử của Ethereum. Ông xác định các lỗ hổng trong chữ ký đồng thuận BLS, khả năng truy cập dữ liệu dựa trên KZG, chữ ký tài khoản ECDSA và hệ thống chứng minh không kiến thức. Để giải quyết, ông đề xuất thay thế BLS bằng chữ ký dựa trên hàm băm và sử dụng tổng hợp STARK.

Đối với các tài khoản sở hữu bên ngoài, Buterin đề cập đến EIP-8141. Thay đổi này sẽ cho phép nhiều phương thức ký khác nhau, bao gồm các tùy chọn chống lượng tử. Ông thừa nhận chi phí gas cao hơn nhưng cho biết hiệu quả sẽ cải thiện theo thời gian.

Lộ trình này cũng đề cập đến các hệ thống chứng minh. Trong khi các chứng minh STARK tốn kém hơn ZK-SNARKs hiện tại, việc tổng hợp có thể giảm bớt tính toán trên chuỗi. Tháng trước, Quỹ Ethereum cho biết giai đoạn tiếp theo của hệ sinh thái sẽ mở rộng năng lực trong khi duy trì an ninh và khả năng chống chịu lâu dài.