MetaTrust Labs와 AgentLayer는 최고의 학술 기관과 협력하여 최고의 학술 컨퍼런스에서 상을 수상하고 AI 강화 스마트 계약 보안 분야에서 획기적인 혁신을 달성했습니다.
원본 출처: AgentLayer
캘리포니아주 샌디에이고 - 2025년 2월 27일 - 제32회 네트워크 및 분산 시스템 보안 심포지엄(NDSS 2025)에서 "PropertyGPT: 검색 향상 속성 생성을 통한 스마트 계약의 LLM 기반 공식 검증"에 탐내는 우수 논문상을 수여했습니다. MetaTrust Labs와 AgentLayer의 연구자들이 주요 학술 기관과 협력하여 수행한 이 획기적인 연구에서는 대규모 언어 모델(LLM)을 활용하여 형식적 검증 프로세스를 자동화하고 개선하는 혁신적인 접근 방식을 소개합니다.
PropertyGPT는 이전에는 전문가가 직접 수동으로 진행하던 검증된 속성의 생성 과정을 자동화하여 블록체인 보안의 심각한 격차를 해소합니다. 이 기술은 AgentLayer의 분산형 AI 네트워크를 통해 성공적으로 구현되었으며, 이는 스마트 계약이 보안되는 방식에 있어 중요한 진전을 의미합니다. 싱가포르 난양기술대학교 사이버보안 연구센터의 전무이사이자 AgentLayer의 공동 창립자인 류양 교수는 "PropertyGPT는 기존 형식적 검증의 효율성 병목 현상을 해결할 뿐만 아니라 AgentLayer의 분산 아키텍처를 통해 확장 가능한 애플리케이션을 구현할 수 있도록 지원합니다."라고 말했습니다. "저희의 접근 방식은 LLM이 정식 검증 프로세스를 크게 개선하여 더 접근하기 쉽고 포괄적으로 만들 수 있음을 보여줍니다."
기술 혁신 및 영향
PropertyGPT는 최첨단 LLM의 상황적 학습 기능을 활용하여 기존의 수작업 속성에 대한 지식을 전달하여 새로운 스마트 계약 코드에 대한 맞춤형 보안 사양을 생성합니다. 이 시스템은 다양한 최첨단 기술을 사용합니다. - 검색 향상 생성 기술, 벡터 데이터베이스를 통한 과거 취약성 데이터 검색과 LLM의 의미적 이해를 결합합니다.- 속성 품질을 반복적으로 개선하기 위한 컴파일러 및 정적 분석 피드백 루프 - 속성 순위 및 선택을 위한 다차원 유사성 평가 - 생성된 속성의 공식적 검증을 위한 전담 증명자 광범위한 테스트를 통해 PropertyGPT는 전문가가 생성한 속성과 비교하여 80%의 인상적인 재현율을 달성했습니다. 이 시스템은 37개의 테스트 사례에서 알려진 취약점 26개를 성공적으로 탐지했고, 이전에 알려지지 않았던 보안 결함 12개를 발견하여 버그 바운티 보상으로 8,256달러를 획득했습니다.
AgentLayer 통합 및 업계 영향
AgentLayer는 자체 개발한 AI 에이전트를 PropertyGPT와 통합하여 스마트 계약의 자동 검증 프로세스를 최적화했습니다. 실험 결과, 해당 도구를 사용하면 DeFi 및 Web3 시나리오에서 복잡한 계약의 취약성 탐지 효율성이 40% 향상되는 것으로 나타났습니다.
NDSS 검토 위원회는 이 성과를 "스마트 계약 보안을 위한 구현 가능한 패러다임 업그레이드 제공"이라고 칭찬했습니다.
전략적 협력
연구팀 소개
협력팀에는 MetaTrust Labs, AgentLayer, Singapore Management University, Hong Kong University of Science and Technology, Nanyang Technological University, Singapore의 연구원들이 포함됩니다: Ye Liu(SMU, AgentLayer), Yue Xue(MetaTrust Labs), Daoyuan Wu(HKUST, AgentLayer), Yuqiang Sun(NTU), Yi Li(NTU), Miaolei Shi(MetaTrust Labs), Yang Liu(NTU, AgentLayer).
MetaTrust Labs 소개
MetaTrust Labs는 블록체인 개발자를 위한 AI 기반 솔루션을 제공하는 선도적인 Web3 보안 플랫폼입니다. 싱가포르의 난양기술대학에서 탄생한 서비스로, 자동화된 보안 스캐닝, 스마트 계약 감사, 보안 관리를 단순화하는 도구를 제공합니다. MetaTrust Labs는 안전한 Web3 인프라의 미래를 형성하고 있습니다.
AgentLayer 소개
AgentLayer는 자율 AI 에이전트를 위해 설계된 세계 최초의 블록체인 네트워크를 출시하여 분산형 AI의 미래를 개척하고 있습니다. AgentLayer는 최첨단 AI 기능과 블록체인 기술을 완벽하게 통합하여 개발자와 기업이 대규모로 지능형 에이전트를 구축, 배포, 거래할 수 있도록 지원합니다.
BlockBeats 공식 커뮤니티에 참여하세요:
Telegram 구독 그룹：https://t.me/theblockbeats
Telegram 토론 그룹：https://t.me/BlockBeats_App
Twitter 공식 계정：https://twitter.com/BlockBeatsAsia
