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

Tóm lược

• 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 kết hợp 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ệ đối tác vận hành trên ASI:Chain và nhắm đến 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 đang bắt đầu viết mã để vận 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à 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ã có lỗi 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 đang chạy đua để tung 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ệ đối 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 để 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 theo kiểu agentic, 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 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 MCPs, xây dựng/sử dụng 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 ngũ ASI trên các ‘bản mẫu được chúc phúc’ để việc 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, trở nên dễ dàng hơn.” 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 đang hoạt động. Tuy nhiên, trong khi Matterhorn cho biết nền tảng của họ giúp tăng tốc phát triển, nó không đảm bảo an toàn. “Chúng tôi là một yếu 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 có bất kỳ đảm bảo nào thuộc bất kỳ loại nào từ phía đội ngũ Matterhorn về an toàn hay bảo mật.” Ramesh cho biết Matterhorn và ASI Alliance đang phát triển các “bản mẫu được chúc phúc” để giúp nhà phát triển tạo ra 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 và phân tích mã cho MeTTa, ngôn ngữ lập trình của ASI:Chain. Quan hệ đối tác 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, từ đó 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 những 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 phụ thuộc 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 các ngôn ngữ không phù hợp tốt cho tính song song phức tạp và trông cậy vào bên kiểm toán để phát hiện lỗi — trong khi F1R3FLY và ASI:Chain sử dụng kiến trúc mà ông gọi là “đúng theo thiết kế” dựa trên phép tính Rho. “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 minh toán học điều đó bằng các kiểu hành vi theo 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 phần toán học đã đảm bảo rằng sẽ không có deadlocks, không có khai thác lỗ hổng race-condition và không bị rò rỉ tiền.”