인공지능이 블록체인 상에서 자금 이동을 처리하는 코드를 작성하기 시작했습니다. 인공 초지능 연합(Artificial Superintelligence Alliance)과 개발자 플랫폼인 매터호른(Matterhorn)은 해당 코드의 안전성을 확보하고자 한다고 밝혔습니다.
마터호른과 ASI 얼라이언스는 금요일, " 바이브 코딩(vibe coding )"을 중심으로 한 새로운 이니셔티브를 발표했습니다. 바이브 코딩은 마터호른 플랫폼의 기능으로, 개발자가 일반 언어로 앱을 설명하면 AI가 즉시 완전한 스마트 계약 코드를 생성합니다. 이 기술은 개발 속도를 높이고 애플리케이션 구축의 진입 장벽을 낮추지만, AI가 공격자가 악용할 수 있는 결함이 있거나 안전하지 않은 코드를 생성할 위험도 내포하고 있습니다.
"우리는 dApp이 오늘날 우리가 사용하는 웹사이트나 앱처럼 '그냥 앱'이 되는 세상의 시작점에 서 있습니다."라고 회사는 성명에서 밝혔습니다. "이 분야의 다른 모든 도구들은 코드를 더 빨리 출시하기 위해 경쟁하고 있습니다. 하지만 우리는 그것이 잘못된 경쟁이라고 생각합니다. 실제 돈과 사용자를 다루는 dApp을 개발하는 사람들에게는 신뢰할 수 있는 플랫폼이 필요하며, 이번 파트너십이 바로 그 플랫폼을 구축하는 방법입니다."
이러한 위협을 완화하기 위해 매터호른의 창립자 아비나브 라메쉬는 개발자들이 AI가 생성한 스마트 계약을 배포 전에 검토할 수 있도록 외부 보안 감사 기관 및 자동화 도구와 협력하고 있다고 밝혔습니다.
"저희는 Matterhorn 플랫폼의 개발자들을 위해 Matterhorn을 통해 감사 서비스를 제공할 수 있는 보안 감사 회사들과 협력하고 있습니다."라고 Ramesh는 Decrypt에 말했습니다. "저희는 에이전트 기반 감사를 수행하는 AI 에이전트도 보유하고 있지만, 메인넷 애플리케이션에 대해 이러한 방식으로 감사를 진행하는 것은 절대 권장하지 않습니다."
Matterhorn 개발 플랫폼은 Fetch.ai, SingularityNET, CUDOS 등을 포함하는 분산형 AI 집단인 인공 초지능 연합(Artificial Superintelligence Alliance)이 개발한 블록체인 네트워크인 ASI:Chain 과 통합되도록 설계되어 개발자에게 분산형 애플리케이션을 구축, 검증 및 배포할 수 있는 단일 환경을 제공합니다.
"저희는 사용자들이 MCP를 연결하고, 스킬을 구축/사용하고, dApp을 개발하고, 단일 플랫폼에서 배포하는 것을 쉽게 만들어 드립니다."라고 라메쉬는 말했습니다. "저희는 ASI 팀과 협력하여 특히 형식 검증 기반 언어에 맞춰 더 안전한 계약을 쉽게 구축할 수 있도록 '승인된 템플릿'을 개발하고 있습니다."
회사 측은 개발자들이 실제 블록체인에 계약을 배포하기 전에 플랫폼을 통해 제3자 감사 기관과 연결할 수 있다고 밝혔습니다. 그러나 마터호른은 자사 플랫폼이 개발 속도를 높여준다고 주장하면서도 보안을 보장하는 것은 아니라고 덧붙였습니다.
"저희는 Web3 기반 개발을 원하는 개발자들을 위한 강력한 지원군입니다."라고 라메쉬는 말했습니다. "하지만 마터호른 팀은 안전이나 보안에 대해 어떠한 보장도 하지 않습니다."
라메쉬는 매터호른과 ASI 얼라이언스가 개발자들이 더 안전한 스마트 계약을 구축할 수 있도록 "검증된 템플릿"을 개발하고 있으며, ASI:Cloud를 통합하여 ASI:Chain 프로그래밍 언어인 MeTTa용 코드를 생성하고 분석하는 AI 시스템에 필요한 컴퓨팅 파워를 제공하고 있다고 밝혔습니다.
이번 파트너십은 AI 에이전트가 암호화폐 산업으로 점차 진출하는 가운데 이루어졌습니다. 개발자들은 지갑 관리, 거래 실행, 온체인 금융 작업 수행 등을 할 수 있는 시스템을 실험하고 있으며, 이러한 자율 시스템이 암호화폐를 다룰 때발생할 수 있는 위험을 관리하기 위한 새로운 도구와 연구가 활발히 진행되고 있습니다.
싱귤래리티넷의 최고 혁신 책임자인 켈라 크로퍼드는 블록체인 업계의 상당 부분이 복잡한 동시성에 적합하지 않은 언어로 스마트 계약을 작성하고 감사자가 결함을 잡아주기를 바라는 "임시방편식" 접근 방식을 취하고 있다고 지적했습니다. 반면 F1R3FLY와 ASI:Chain은 로(Rho) 계산법에 기반한 "설계 단계부터 정확성을 보장하는" 아키텍처를 사용한다고 설명했습니다.
크로포드는 디크립트와 의 인터뷰에서 "우리는 애플리케이션의 안전성을 추측하는 것이 아니라, 공간적 행동 유형을 사용하여 수학적으로 증명합니다."라고 말했습니다. "단 한 줄의 코드도 실제 네트워크에 닿기 전에, 수학적 계산 자체로 교착 상태, 경쟁 조건 악용, 자금 유출이 발생하지 않을 것임을 보장합니다."
