AI 에이전트의 스마트계약 요구사항 이탈을 측정하는 연구다.

• 연구는 AI 작성 스마트계약의 요구사항 이탈을 실행 결과로 평가하려는 접근이다.
• 스마트계약은 배포 후 수정이 어렵고 자금 이동과 연계될 수 있어 요구사항 검증의 중요성이 크다.
• AI 생성 코드는 실행 여부와 별개로 요구사항 추적, 거래 시나리오 테스트, 독립 검토 관점에서 살필 필요가 있다.

논문은 AI 에이전트가 평문 영어 설명을 토대로 소프트웨어를 작성할 수 있지만, 실행 가능한 코드와 요청대로 동작하는 코드는 다를 수 있다고 지적한다. 특히 블록체인에서 자금을 이동시키는 웹3 애플리케이션의 프로그램인 스마트계약은 배포 후 수정이 어렵다는 점에서 이 차이가 중요하다고 본다.

발췌에 따르면 연구진은 의견이나 정성적 판정이 아니라 실행에 기반한 평가를 설계했다. AI가 작성한 계약과 원래 계약에 같은 거래를 재현해 실행하는 방식이 언급되지만, 구체적 평가 지표, 대상 계약의 범위, 실험 결과는 발췌만으로 확인되지 않는다.

스마트계약 개발 또는 감사 업무에서는 자연어 요구사항, 코드 구현, 테스트 시나리오가 서로 추적 가능하게 연결되는지가 중요하다. 생성형 AI가 작성한 초안은 개발 생산성을 높일 수 있어도, 권한 관리·자금 이전 조건·예외 처리 등 핵심 행위가 요구사항과 일치하는지 별도의 실행 테스트와 독립 검토가 필요한 영역으로 볼 수 있다.

향후 원문에서는 원래 계약이 무엇을 의미하는지, 거래 재생이 어떤 동등성을 측정하는지, 요구사항 이탈 유형을 어떻게 분류하는지를 확인할 필요가 있다. 이 방법이 보안 취약점 탐지나 법적 요구사항 충족까지 보장하는지 역시 발췌만으로는 단정할 수 없다.

본문은 수집한 기사의 제목과 발췌를 바탕으로 AI가 정리한 해설입니다. 수치·날짜·조문 등 세부 사실은 원문에서 확인하세요.