Tương lai của sự phát triển Ethereum có thể đang đến nhanh hơn nhiều người dự đoán. Vitalik Buterin gần đây đã mô tả một thử nghiệm trong đó phần lớn lộ trình đề xuất năm 2030 của Ethereum được “mã hóa bằng cảm nhận” chỉ trong vài tuần bằng cách sử dụng các công cụ trí tuệ nhân tạo.
Mặc dù ông cảnh báo rằng kết quả còn lâu mới sẵn sàng để đưa vào sản xuất, nhưng thông điệp rộng hơn rất rõ ràng: AI đang nhanh chóng thay đổi cách xây dựng cơ sở hạ tầng blockchain.
Lập trình AI đang phát triển với tốc độ chưa từng có
Theo Buterin, việc tạo ra một phiên bản sơ bộ của lộ trình phức tạp như vậy chỉ trong hai tuần dường như là điều không tưởng cách đây sáu tháng. Ông cho rằng mã do AI tạo ra có thể chứa các lỗi nghiêm trọng và các phần chưa hoàn thiện. Một số thành phần có thể chỉ là chỗ giữ chỗ chứ không phải là các tính năng được triển khai đầy đủ.
Tuy vậy, tốc độ phát triển này tự nó đã đánh dấu một sự thay đổi.
Buterin cũng chia sẻ rằng gần đây ông đã xây dựng một phiên bản phần mềm blog của mình trong khoảng một giờ bằng cách sử dụng mô hình AI mã nguồn mở chạy cục bộ trên máy tính xách tay của mình. Ông cho rằng các hệ thống tiên tiến hơn có thể hoàn thành các nhiệm vụ tương tự nhanh hơn nữa.
Điều cần rút ra không phải là trí tuệ nhân tạo có thể ngay lập tức tạo ra cơ sở hạ tầng blockchain an toàn. Thay vào đó, nó cho thấy thời gian phát triển đang được rút ngắn đáng kể như thế nào.
Tốc độ chỉ là một nửa câu chuyện
Buterin nhấn mạnh rằng chỉ tốc độ lập trình nhanh hơn thôi là chưa đủ. Theo ông, cơ hội thực sự nằm ở việc cân bằng giữa tốc độ và các biện pháp bảo mật mạnh mẽ hơn.
Thay vì chỉ sử dụng AI để viết thêm mã, các nhà phát triển có thể sử dụng nó để:
- Tạo ra số lượng trường hợp thử nghiệm nhiều hơn đáng kể
- Tiến hành kiểm tra an ninh chuyên sâu hơn
- Tạo nhiều phiên bản triển khai độc lập của cùng một hệ thống
- Xác minh chính thức các thành phần quan trọng
Một cộng tác viên từ sáng kiến LeanEthereum được cho là đã sử dụng trí tuệ nhân tạo để giúp tạo ra bằng chứng có thể kiểm chứng bằng máy tính cho một trong những định lý toán học phức tạp làm nền tảng cho mật mã dựa trên STARK.
Đối với Ethereum, một nền tảng ngày càng dựa vào các hệ thống chứng thực không tiết lộ thông tin tiên tiến, các công cụ xác minh như vậy là vô cùng cần thiết.
Xác minh chính thức có thể trở thành thông lệ tiêu chuẩn
Một nguyên tắc cốt lõi của LeanEthereum là xác minh chính thức tất cả các thành phần bất cứ khi nào có thể. Xác minh chính thức có nghĩa là chứng minh bằng toán học rằng mã hoạt động chính xác như dự định.
Trong các hệ thống blockchain bảo vệ giá trị hàng tỷ đô la, việc giảm thiểu ngay cả những lỗ hổng nhỏ cũng có thể tạo ra tác động to lớn. Buterin cho rằng trí tuệ nhân tạo (AI) đang đẩy nhanh khả năng tạo ra các bằng chứng đã được xác minh và kiểm tra khả năng chịu tải của các hệ thống trên quy mô lớn.
Ông ấy cẩn thận nói thêm rằng không ai nên kỳ vọng chỉ cần nhập một thông tin duy nhất là sẽ nhận được mã bảo mật hoàn hảo. Lỗi, sự không nhất quán và những sự đánh đổi trong thiết kế sẽ vẫn là một phần của quá trình này.
Tuy nhiên, các chu kỳ gỡ lỗi và kiểm thử có thể diễn ra nhanh hơn gấp năm lần và kỹ lưỡng hơn nhiều so với trước đây.
Liệu lộ trình của Ethereum có thể hoàn thành sớm hơn dự kiến?
Mặc dù Buterin không đưa ra bất kỳ dự đoán chắc chắn nào, ông khuyến khích cộng đồng hãy cởi mở với khả năng lộ trình dài hạn của Ethereum có thể hoàn thành nhanh hơn nhiều người dự đoán.
Quan trọng hơn, ông cho rằng hệ thống này có thể đạt được các tiêu chuẩn bảo mật cao hơn so với những gì thường được kỳ vọng đối với các hệ thống phân tán phức tạp.
Nếu trí tuệ nhân tạo tiếp tục được cải thiện với tốc độ hiện tại, những trở ngại trong quá trình phát triển từng làm chậm quá trình nâng cấp blockchain có thể sẽ trở nên ít hạn chế hơn.
