Người đồng sáng lập Ethereum Vitalik Buterin đã bày tỏ sự phấn khích của mình về tiềm năng của việc xác minh chính thức mã và tìm lỗi được hỗ trợ bởi AI.
Trong một Tweet hôm thứ Hai, Buterin lưu ý rằng rủi ro kỹ thuật quan trọng nhất của Ethereum bắt nguồn từ lỗi trong mã và bất kỳ điều gì có thể thay đổi đáng kể trò chơi trên mặt trận đó đều sẽ mang tính đột phá.
“Một ứng dụng của AI mà tôi rất hào hứng là xác minh chính thức mã và tìm lỗi được hỗ trợ bởi AI. Hiện tại, rủi ro kỹ thuật lớn nhất của Ethereum có lẽ là lỗi trong mã và bất kỳ điều gì có thể thay đổi đáng kể trò chơi đều sẽ rất tuyệt vời.” ông đã viết.
Đáng chú ý, một trong những thách thức lớn nhất mà Ethereum giao thức là việc khai thác lỗi, dẫn đến thiệt hại hàng triệu đô la cho các nhà đầu tư do sự cố hack. Theo báo cáo của Chainalysis, số tiền điện tử bị đánh cắp vào năm 2023 đã đạt con số đáng kinh ngạc là 1.7 tỷ USD, với khoảng XNUMX/XNUMX tổng số tiền bị đánh cắp có nguồn gốc từ các vụ hack nhắm vào giao thức DeFi. Và mặc dù tổng số vụ trộm đã giảm so với những năm trước, nhưng mối đe dọa hack DeFi vẫn là một mối lo ngại đáng kể.
Trong khi đó, mặc dù Buterin bày tỏ sự lạc quan về tiềm năng của AI nhưng ông cũng lưu ý đến sự thận trọng. Trong một blog ngày 30 tháng XNUMX, người đồng sáng lập Ethereum đã khuyên nên thận trọng khi tích hợp AI với công nghệ blockchain, nhấn mạnh nhu cầu quan trọng về một cách tiếp cận cẩn thận và đo lường, đặc biệt là trong việc triển khai AI trong bối cảnh mang lại giá trị và rủi ro đáng kể.
Đáng chú ý, năm ngoái, thử nghiệm của công ty phát triển hợp đồng thông minh OpenZeppelin sử dụng GPT-4 của OpenAI để phát hiện các vấn đề bảo mật trong hợp đồng thông minh Solidity đã mang lại nhiều kết quả khác nhau. Theo báo cáo của công ty, GPT-4 đã xác định chính xác các lỗ hổng ở 20 trong số 28 thử thách, nhưng đôi khi nó cũng tạo ra các lỗ hổng không tồn tại.
Tương tự, Kang Li, Giám đốc An ninh tại công ty bảo mật blockchain CertiK, đã cảnh báo không nên chỉ dựa vào các công cụ hỗ trợ AI để mã hóa. Phát biểu vào tháng 9 năm ngoái trong Tuần lễ Blockchain Hàn Quốc, Li lưu ý rằng các công cụ AI có thể gây ra nhiều vấn đề bảo mật hơn mức chúng có thể giải quyết nếu sử dụng mà không thận trọng.
Li nhấn mạnh thêm rằng ChatGPT, chẳng hạn, có thể không có khả năng phát hiện các lỗi mã logic một cách thành thạo như các nhà phát triển có kinh nghiệm. Thay vào đó, chuyên gia này đề xuất sử dụng trợ lý AI làm công cụ hỗ trợ cho các nhà phát triển dày dạn kinh nghiệm, giúp họ hiểu mã hiệu quả hơn.
- Phân phối nội dung và PR được hỗ trợ bởi SEO. Được khuếch đại ngay hôm nay.
- PlatoData.Network Vertical Generative Ai. Trao quyền cho chính mình. Truy cập Tại đây.
- PlatoAiStream. Thông minh Web3. Kiến thức khuếch đại. Truy cập Tại đây.
- Trung tâmESG. Than đá, công nghệ sạch, Năng lượng, Môi trường Hệ mặt trời, Quản lý chất thải. Truy cập Tại đây.
- PlatoSức khỏe. Tình báo thử nghiệm lâm sàng và công nghệ sinh học. Truy cập Tại đây.
- nguồn: https://zycrypto.com/vitalik-buterin-highlights-potential-use-case-of-ai-on-ethereum/
