Các công cụ mới nhằm làm cho “lập trình theo vibe” của AI an toàn hơn cho tiền mã hóa

Tóm lược

• Liên minh ASI và Matterhorn cho biết họ đang xây dựng các công cụ để giảm rủi ro từ mã blockchain do AI tạo ra.
• Nền tảng kết hợp các công cụ phân tích tự động, rà soát của con người và công cụ kiểm thử để kiểm toán hợp đồng thông minh trước khi triển khai.
• Quan hệ hợp tác này vận hành trên ASI:Chain và nhắm tới việc đưa 20.000 nhà phát triển lên nền tảng vào năm 2026.

Trí tuệ nhân tạo bắt đầu viết mã để chuyển tiền trên các blockchain. Liên minh Artificial Superintelligence Alliance và nền tảng dành cho nhà phát triển Matterhorn cho biết họ muốn đảm bảo rằng mã đó an toàn. Matterhorn và Liên minh ASI đã công bố sáng kiến mới vào thứ Sáu, tập trung vào “vibe coding” — 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ả một ứng dụng bằng ngôn ngữ thường, và AI ngay lập tức tạo ra toàn bộ mã hợp đồng thông minh. Dù kỹ thuật này giúp tăng tốc phát triển và giảm rào cản khi xây dựng ứng dụng, nó cũng tạo ra rủi ro AI tạo ra mã sai sót hoặc kém an toàn mà kẻ tấn công có thể khai thác. “Chúng tôi đang ở giai đoạn đầu của một thế giới nơi dApps trở thành ‘chỉ là Apps’, phổ biến như các trang web và ứng dụng mà chúng ta 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. Những người xây dựng dApps 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 cậy, và quan hệ hợp tác này là cách chúng tôi xây dựng nó.”

Để 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 làm việc với các đơn vị kiểm toán bảo mật bên ngoài và các công cụ tự động để hỗ trợ nhà phát triển rà soá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 những người xây dựng 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 các cuộc kiểm toán mang tính tác nhân, nhưng chúng tôi tuyệt đối không khuyến nghị chỉ làm vậy cho các ứng dụng trên mainnet.”  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 blockchain do Artificial Superintelligence Alliance phát triển — một liên minh AI phi tập trung bao gồm Fetch.ai, SingularityNET và CUDOS — cung cấp cho nhà phát triển một môi trường duy nhất để xây dựng, kiểm toán 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 các kỹ năng, xây dựng dApps và triển khai từ chỉ một nền tảng”, Ramesh nói. “Chúng tôi đang làm việc với đội ngũ ASI về các ‘mẫu được chấp thuận’ để giúp dễ dàng xây dựng các hợp đồng an toàn hơn, đặc biệt cho các ngôn ngữ dựa trên xác minh hì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 trước khi khởi chạy hợp đồng trên một blockchain trực tiếp. Tuy nhiên, dù Matterhorn nói rằng nền tảng của mình giúp tăng tốc phát triển, nó không đảm bảo an ninh. “Chúng tôi là một công cụ hỗ trợ mạnh mẽ cho những người xây dựng muốn xây dựng trên Web3”, Ramesh nói. “Không có bất kỳ sự đảm bảo nào thuộc bất kỳ loại nào từ phía đội ngũ Matterhorn về sự 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ấp thuận” để giúp nhà phát triển xây dựng các hợp đồng thông minh an toàn hơn trong khi 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 của ASI:Chain. Quan hệ hợp tác ra đời trong bối cảnh các tác nhân AI ngày càng bước vào ngành crypto, 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 thi lệnh giao dịch và thực hiện các tác vụ tài chính trên-chain, thúc đẩy các công cụ và nghiên cứu mới nhằm kiểm soát rủi ro khi các hệ thống tự chủ đó xử lý tiền mã hóa. 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 cách tiếp cận “vá 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 tốt cho xử lý đồng thời phức tạp và dựa vào các kiểm toán viên để bắt lỗi — trong khi F1R3FLY và ASI:Chain sử dụng kiến trúc mà ông gọi là “correct-by-construction” 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à dùng toán học để chứng minh nó bằng các kiểu hành vi trong không gian”, Crawford nói với Decrypt. “Trước khi bất kỳ một dòng mã nào chạm vào mạng trực tiếp, chính bản thân các phép toán đã đảm bảo sẽ không có deadlock, không có lỗ hổng khai thác race-condition, và không có tiền bị rò rỉ.”