Các công cụ mới nhằm làm cho “lập trình theo cảm hứng” của AI an toàn hơn cho crypto

Tóm tắt

• ASI Alliance 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 này kết hợp phân tích tự động, rà soát của con người và các 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 đến việc thu hút 20.000 nhà phát triển vào năm 2026.

Trí tuệ nhân tạo đang bắt đầu viết mã giúp chuyển tiền trên các blockchain. 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à ASI Alliance đã 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 nhà phát triển mô tả một ứng dụng bằng ngôn ngữ thông thường, và AI 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 phát triển và hạ rào cản khi xây dựng ứng dụng, nhưng nó cũng tạo ra rủi ro AI tạo ra mã sai sót hoặc thiếu 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ư những 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 tưởng, và quan hệ hợp tác này là cách chúng tôi tạo ra điều đó.”

Để giảm thiểu mối đe dọa này, nhà sáng lập Matterhorn Abhinav Ramesh cho biết công ty đang làm việc với các nhà kiểm toán bảo mật bên ngoài và các công cụ tự động để giúp 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 kiểu tác nhân, nhưng chúng tôi chắc chắn không khuyến nghị chỉ làm điều đó cho các ứng dụng 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 được phát triển bởi Artificial Superintelligence Alliance, một nhóm AI phi tập trung bao gồm Fetch.ai, SingularityNET và CUDOS, mang đến 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 với MCPs, xây dựng/sử dụng các kỹ năng, xây dựng dApps và triển khai từ một nền tảng duy nhất,” Ramesh nói. “Chúng tôi đang làm việc với đội ASI về các ‘mẫu đã được chấp thuận’ để giúp dễ 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 kiểm chứng 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 bên kiểm toá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 họ tăng tốc phát triển, nó không đảm bảo an ninh. “Chúng tôi là một nhân tố 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 hề có bất kỳ đảm bảo nào thuộc bất kỳ loại nào từ đội ngũ Matterhorn về sự an toàn hay bảo mật.” Ramesh cho biết Matterhorn và ASI Alliance đ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, đồng thời tích hợp ASI:Cloud để cung cấp năng lực tính toán cho các hệ thống AI tạo ra và phân tích mã cho ngôn ngữ lập trình MeTTa thuộc ASI:Chain.

Quan hệ hợp tác này xuất hiện trong bối cảnh các tác nhân AI ngày càng tiến 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 hiện giao dịch và thực hiện các tác vụ tài chính trên chuỗi, 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ự hành đó 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 nguyện”—viết hợp đồng thông minh bằng những ngôn ngữ không phù hợp cho tính đồng thời phức tạp và dựa vào các nhà kiểm toán để bắt lỗi—trong khi F1R3FLY và ASI:Chain sử dụng cái mà ông gọi là kiến trúc “đúng theo thiết kế”, dựa trên Rho calculus. “Chúng tôi không đoán liệu một ứng dụng có an toàn hay không, mà chúng tôi chứng minh toán học điều đó bằ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 chạm vào mạng trực tiếp, chính bản thân toán học đã đảm bảo rằng sẽ không có bế tắc, không có lỗ hổng khai thác do điều kiện tranh chấp, và không có tiền bị rò rỉ.”