Trí tuệ nhân tạo đang bắt đầu viết mã để chuyển tiền trên blockchain. Liên minh Siêu trí tuệ Nhân tạo và nền tảng phát triển Matterhorn cho biết họ muốn đảm bảo mã đó an toàn.
Hôm thứ Sáu, Matterhorn và Liên minh ASI đã công bố sáng kiến mới tập trung vào “ lập trình cảm nhận ” – một tính năng của nền tảng Matterhorn cho phép các nhà phát triển mô tả ứng dụng bằng ngôn ngữ thông thường, và trí tuệ nhân tạo (AI) sẽ ngay lập tức tạo ra toàn bộ mã hợp đồng thông minh. Mặc dù kỹ thuật này giúp tăng tốc quá trình phát triển và giảm bớt rào cản trong việc xây dựng ứng dụng, nhưng nó cũng tiềm ẩn rủi ro AI tạo ra mã lỗi hoặc không an toàn mà kẻ tấn công có thể khai thác.
"Chúng ta đang ở giai đoạn đầu của một thế giới nơi các dApp trở thành 'những ứng dụng thông thường', phổ biến như các trang web và ứng dụng chúng ta sử dụng ngày nay," công ty cho biết trong một tuyên bố. "Mọi công cụ khác trong lĩnh vực này đều đang chạy đua để phát hành mã nhanh hơn. Chúng tôi nghĩ đó là cuộc đua sai lầm. Những nhà phát triển dApp xử lý tiền thật và người dùng thật cần một nền tảng mà họ có thể tin tưởng, và sự hợp tác này là cách chúng tôi xây dựng nền tảng đó."
Để giảm thiểu mối đe dọa này, người sáng lập Matterhorn, Abhinav Ramesh, cho biết công ty đang hợp tác với các chuyên gia kiểm toán bảo mật bên ngoài và các công cụ tự động để giúp các nhà phát triển xem xét các hợp đồng thông minh do AI tạo ra trước khi triển khai.
“Chúng tôi hợp tác với các công ty kiểm toán bảo mật có thể cung cấp dịch vụ kiểm toán thông qua Matterhorn cho các nhà phát triển trên Matterhorn,” Ramesh nói với Decrypt . “Chúng tôi cũng có các tác nhân AI thực hiện kiểm toán tự động, nhưng chúng tôi tuyệt đối không khuyến nghị chỉ làm điều đó đối với các ứng dụng trên mạng chính.”
Nền tảng phát triển Matterhorn được thiết kế để tích hợp với ASI:Chain , một mạng lưới blockchain được phát triển bởi Artificial Superintelligence Alliance, một tập thể AI phi tập trung bao gồm Fetch.ai, SingularityNET và CUDOS, cung cấp cho các nhà phát triển một môi trường duy nhất để xây dựng, kiểm tra và triển khai các ứng dụng phi tập trung.
“Chúng tôi giúp người dùng dễ dàng kết nối các MCP, xây dựng/sử dụng kỹ năng, tạo dApp và triển khai từ một nền tảng duy nhất,” Ramesh nói. “Chúng tôi đang hợp tác với nhóm ASI về 'mẫu được chứng nhận' để giúp việc xây dựng các hợp đồng an toàn hơn trở nên dễ dàng hơn, đặc biệt là đối với các ngôn ngữ dựa trên xác minh chính thức.”
Công ty cho biết các nhà phát triển có thể kết nối với các kiểm toán viên bên thứ ba thông qua nền tảng này trước khi triển khai hợp đồng trên blockchain thực tế. Tuy nhiên, mặc dù Matterhorn cho biết nền tảng của họ giúp tăng tốc quá trình phát triển, nhưng họ không đảm bảo tính bảo mật.
“Chúng tôi là một công cụ hỗ trợ mạnh mẽ cho các nhà phát triển muốn xây dựng trên nền tảng Web3,” Ramesh nói. “Tuy nhiên, đội ngũ Matterhorn hoàn toàn không đưa ra bất kỳ đảm bảo nào về vấn đề an toàn hay bảo mật.”
Ramesh cho biết Matterhorn và Liên minh ASI đang phát triển “các mẫu được chứng nhận” để giúp các nhà phát triển xây dựng các hợp đồng thông minh an toàn hơn, đồng thời tích hợp ASI:Cloud để cung cấp sức mạnh tính toán cho các hệ thống AI tạo ra và phân tích mã cho MeTTa, ngôn ngữ lập trình ASI:Chain.
Sự hợp tác này diễn ra trong bối cảnh các tác nhân AI ngày càng thâm nhập vào ngành công nghiệp tiền điện tử, nơi các nhà phát triển đang thử nghiệm các hệ thống có thể quản lý ví , thực hiện giao dịch và tiến hành các nhiệm vụ tài chính trên chuỗi, thúc đẩy sự ra đời của các công cụ và nghiên cứu mới nhằm kiểm soátrủi ro khi các hệ thống tự động này xử lý tiền điện tử.
Khellar Crawford, giám đốc đổi mới của SingularityNET, cho biết phần lớn ngành công nghiệp blockchain dựa vào phương pháp "vá lỗi rồi cầu may" - viết hợp đồng thông minh bằng các ngôn ngữ không phù hợp với tính đồng thời phức tạp và dựa vào các kiểm toán viên để phát hiện lỗi - trong khi F1R3FLY và ASI:Chain sử dụng cái mà ông gọi là kiến trúc "đúng ngay từ khi xây dựng" dựa trên phép tính Rho.
“Chúng tôi không đoán xem một ứng dụng có an toàn hay không, mà chứng minh điều đó bằng toán học bằng cách sử dụng các kiểu hành vi không gian,” Crawford nói với Decrypt . “Trước khi bất kỳ dòng mã nào được đưa vào mạng thực tế, chính toán học đã đảm bảo rằng sẽ không có tắc nghẽn, không có lỗ hổng điều kiện tranh chấp và không có rò rỉ tiền.”
