솔리디티 기반 스마트 계약의 취약점 탐지 프레임워크 = Vulnerability Detection Framework for Solidity-based Smart Contracts

국문 초록 (Abstract)

블록체인 기술의 급속한 발전은 금융을 비롯한 다양한 분야에서 핵심 인프라를 제공한다. 2세대 블록체인인 이더리움은 단순한 암호화폐 전송을 넘어서, 스마트 계약을 통해 복잡한 비즈니스 로직을 자동 실행할 수 있도록 한다. 이는 탈중앙화 애플리케이션의 기초되며, 탈중앙 금융, 대체 불가능 토큰, 탈중앙 자율조직 등 새로운 서비스 패러다임을 제공한다. 이더리움 블록체인 위에서 배포되는 스마트 계약은 연간 수조 달러를 거래하는 큰 시장으로 성장하는 한편 스마트 계약에 내재된 보안 취약점으로 인한 손실도 지속적으로 발생하고 있다. 대표적인 취약점인 재진입 공격을 포함하는 솔리디티 스마트 계약에 대한 취약점 탐지 프레임워크를 제안한다. 정적분석, 퍼징, 단위 테스트, 시뮬레이션 기반 테스트, 형식 검증 다섯 가지 서로 다른 테스트를 실행하여 상호보완적 통합 프레임워크를 실행한다. 또, 프로그래밍 분야에서도 LLM이 자동 코드 생성에 활용되는 비율이 급증하고 있으나, LLM이 생성한 스마트 계약 코드의 신뢰도에 대한 검증이 충분히 선행되지 않았다. OWASP 벤치마크 코드와 ChatGPT, Gemini와 같은 LLM을 사용하여 재진입 공격 코드를 생성하고 병렬적으로 비교한다. 이를 통해 OWASP 코드와 LLM이 생성 코드에 대한 통합 프레임워크의 탐지 성능과 분석 효율을 정량화하고, 기존 단일 테스트 대비 우수성을 입증한다.

목차 (Table of Contents)

• Ⅰ. 서 론 1
• 1. 연구 배경 1
• 2. 관련 연구 2
• 3. 연구 목적 4
• Ⅱ. 방 법 5
• 1. 공격의 구조 5
• 2. 실험 설계와 방법론 6
• 3. 실험 평가 방법 8
• Ⅲ. 결 과 14
• 1. 실험 결과 14
• 2. 평가 지표에 따른 분석 17
• Ⅳ. 결 론 20
• 1. 주요 발견사항 20
• 2. 제한점 20
• 3. 기대효과 및 추후 연구 계획 20
• Ⅴ. 참고문헌 22
• Ⅵ. 부 록 25
• Ⅶ. Abstract 37