기술 요약: Sentinel – 스마트 계약 구현 로직과 재진입성 보호의 분리

1. 문제 제기

탈중앙화 애플리케이션 (DApps) 은 기하급수적인 성장을 경험했지만, 여전히 **재진입성 공격 (reentrancy attacks)**을 포함한 치명적인 취약점에 노출되어 있습니다. 이러한 공격은 호출된 계약의 상태 변수가 업데이트되기 전에 신뢰할 수 없는 계약으로의 외부 호출이 발생하는 이더리움 가상 머신 (EVM) 메시지 전달 시맨틱스를 악용합니다. 이러한 상태 불일치는 악의적인 행위자가 계약과 재귀적으로 상호작용할 수 있게 하여 심각한 재정적 손실 (예: DAO, C.R.E.A.M. Finance, Fei-Rari 공격) 을 초래합니다.

기존 완화 전략은 다음과 같은 중대한 한계를 겪고 있습니다:

• 탐지 대 예방: 대부분의 연구는 배포 전 탐지 (정적 분석, 심볼릭 실행, 퍼징 사용) 에 초점을 맞추고 있습니다. 이러한 도구들은 가치가 있지만, 결함을 완전히 제거할 수 있는 배포 가능한 솔루션을 제공하지 못하며 복잡하고 새로운 공격 패턴에 대처하는 데 어려움을 겪습니다.
• 전통적 가드 (Guard) 의 비효율성: 표준 재진입성 가드 (예: OpenZeppelin 의 ReentrancyGuard) 는 일반적으로 애플리케이션 로직 내의 함수 수준 수정자 (modifier) 로 구현됩니다. 이들은 종종 단일 계약 보호에 국한되며, 계약 간 또는 함수 간 재진입성을 효과적으로 처리하지 못합니다. 또한 합법적인 실행 흐름을 실수로 차단하거나 읽기 전용 재진입성 (ROR) 공격을 방어하지 못할 수 있습니다.
• 불변성과 업그레이드 가능성: 배포된 계약의 불변성으로 인해 배포 후 패치하는 것이 어렵고, 기존 가드는 종종 특정 구현 로직과 긴밀하게 결합되어 있어 계약 업그레이드 시 취약해집니다.

2. 방법론: Sentinel 프레임워크

이 논문은 구현 로직에서 재진입성 보호를 분리하는 새로운 프록시 중심 접근법인 Sentinel을 제안합니다. Sentinel 은 계약 코드 내에 가드를 임베딩하는 대신 보호 기능을 프록시 계층에 직접 통합하여 구현 계약에 도달하기 전에 모든 호출을 가로챕니다.

아키텍처 개요

Sentinel 은 SentinelProxy가 불변의 진입점으로 작동하는 투명한 프록시 패턴을 활용합니다. 이는 보안과 업그레이드 가능성을 관리하는 반면, 하부 구현 계약은 비즈니스 로직을 처리합니다. 시스템은 두 가지 고유한 모드로 작동합니다:

1. 최적화 모드 (내부 가드):

   • 단일 계약 시나리오에서 가스 효율성을 위해 설계되었습니다.
   • 이진 잠금 상태를 유지하기 위해 프록시 내 전용 저장소 슬롯 (LOCK_STATUS_SLOT) 을 사용합니다.
   • delegatecall 을 통해 호출을 전달하기 전에 프록시가 잠금이 활성화되었는지 확인합니다. 활성화된 경우 트랜잭션이 revert 됩니다.
   • 또한 잠긴 상태 동안 정적 호출을 허용하지 않음으로써 ROR 공격을 방지하기 위해 STATIC_CALL_ALLOWED_SLOT 을 관리합니다.

2. 고보안 모드 (외부 잠금 레지스트리):

   • 계약 간 및 복잡한 다중 계약 생태계를 위해 설계되었습니다.
   • 글로벌 공유 뮤텍스로 작용하는 외부 LockRegistry 계약과 통합됩니다.
   • 프록시는 특정 논리적 domainId 가 잠겨 있는지 레지스트리에 쿼리합니다. 잠겨 있지 않으면 실행 전에 잠금을 획득합니다.
   • 이는 여러 프록시 인스턴스 및 관련 계약 간의 조정된 보호를 보장하여 단일 계약 잠금을 우회하는 공격을 방지합니다.

주요 기술 메커니즘

• 범용 가로채기: 프록시는 fallback() 함수를 활용하여 함수 시그니처와 관계없이 모든 들어오는 트랜잭션을 가로채어 실행 경로가 가드를 우회하지 않도록 보장합니다.
• 정적 호출 감지: 시스템은 staticcall 컨텍스트를 감지하는 전용 메커니즘을 포함합니다. try-catch 블록 내에서 최소 상태 변경 작업 (예: log0) 을 시도합니다. EVM 이 작업을 revert 시키면 (정적 호출의 경우 필수), 시스템이 컨텍스트를 읽기 전용으로 식별합니다. 이를 통해 프록시는 상태 변경 잠금을 트리거하지 않으면서 정적 호출을 안전하게 처리하고, 구식 상태를 악용하는 ROR 공격을 방어할 수 있습니다.
• 저장소 안전성: 프록시와 구현 계약 간의 저장소 충돌을 방지하기 위해 Sentinel 은 순차적 슬롯 대신 고유 문자열의 해시에서 파생된 전용 저장소 슬롯 (예: keccak256("SENTINEL_LOCK_STATUS")) 을 사용합니다.
• 공식 모델링: 저자들은 재진입성의 수학적 정의를 제공하여 단일 함수, 함수 간, 계약 간, 그리고 읽기 전용 재진입성을 상태 전환 위반으로 공식화합니다. 이 공식화는 모든 효과적인 가드에 대한 요구 사항 (원자성 유지, 정적 보호, 범위 인식 상태 결합) 을 확립합니다.

3. 주요 기여

이 논문은 다음과 같은 주요 기여를 요약합니다:

• 공식 정의: 휴리스틱 설명을 넘어 시스템 상태, 실행 추적 및 중요한 상태 위반 측면에서 재진입성 취약점에 대한 정확한 수학적 특성을 제시합니다.
• 분리된 아키텍처: 재진입성 로직을 프록시 계층에 통합하는 새로운 프록시 기반 솔루션으로, 보호를 타입 무관하고 업그레이드에 강인하게 만듭니다.
• 이중 모드 시스템: 단일 계약 효율성을 위한 가스 최적화 내부 가드와 견고한 계약 간 방지를 위한 고보안 외부 잠금 레지스트리를 제공하는 유연한 아키텍처입니다.
• ROR 보호: 악의적인 재진입과 합법적인 읽기 전용 작업을 구분하는 전용 메커니즘으로, 필요한 뷰 함수를 차단하지 않으면서 읽기 전용 재진입성 공격을 방지합니다.
• 실증 평가: 단일 함수, 함수 간, 그리고 계약 간 재진입성 시나리오를 포함하는 70 개의 취약한 스마트 계약 데이터셋에 대한 엄격한 평가입니다.

4. 결과 및 평가

저자들은 Sentinel 을 70 개의 취약한 계약 데이터셋에 대해 평가하고 OpenZeppelin 의 ReentrancyGuard 및 LiqGuard 와 성능을 비교했습니다.

• 보안 커버리지:

  • Sentinel: 모든 70 개 계약에서 100% 완화를 달성하여 38 개의 단일 함수, 20 개의 함수 간, 12 개의 계약 간 재진입성 취약점 (ROR 사례 포함) 에 대해 성공적으로 방어했습니다.
  • OpenZeppelin ReentrancyGuard: 단일 함수 공격의 100% 를 완화했지만, 함수 간 공격의 **65% (13/20)**와 계약 간 공격의 **0% (0/12)**만 완화했습니다.
  • LiqGuard: 단일 함수 공격의 100% 를 완화했지만, 함수 간 공격의 **35% (7/20)**와 계약 간 공격의 **0% (0/12)**만 완화했습니다.
  • 비교: Sentinel 은 재진입성 범주 전반에 걸쳐 공격을 방지하는 데 기존 솔루션보다 40% 높은 성공률을 보여주었습니다.

• 가스 소비:

  • 최적화 모드: 약 25,000 가스의 오버헤드를 도입합니다.
  • 고보안 모드: 외부 LockRegistry 호출로 인해 약 53,000 가스의 오버헤드를 도입합니다.
  • 정적 호출: 감지를 위해 6,400~7,500 가스의 오버헤드가 추가됩니다.
  • 저자들은 기존 가드가 더 낮은 가스 비용 (1,50018,000 가스) 을 가지지만 단일 계약 범위로 제한된다고 지적합니다. Sentinel 의 오버헤드는 제공하는 훨씬 더 넓은 보안 커버리지 (평균 DeFi 트랜잭션 비용 대비 525% 증가) 를 고려할 때 경쟁력 있는 것으로 간주됩니다.

• 탐지 도구 분석:

  • 논문은 동일한 데이터셋에 대한 탐지 도구 (Mythril, Oyente, Slither) 의 효과성도 분석했습니다. 이러한 도구들은 57.14% 에서 71.42% 사이의 참 양성률을 보여주어, 선도적인 탐지 프레임워크조차도 취약점의 상당 부분을 놓치고 있음을 강조하며 Sentinel 과 같은 런타임 예방 메커니즘의 필요성을 뒷받침합니다.

5. 중요성 및 주장

이 논문은 Sentinel 이 스마트 계약 보안 전략에서 결정적인 전환을 나타낸다고 주장합니다. 패턴 기반 탐지에서 강력하고 배포 가능하며 검증 가능한 예방 메커니즘으로 이동함으로써 Sentinel 은 완화 생명주기의 중요한 격차를 해소합니다.

저자들은 그들의 솔루션이 다음과 같음을 강조합니다:

• 보안을 로직에서 분리: 보안 계층을 훼손하지 않고 계약을 업그레이드할 수 있게 합니다.
• 포괄적인 커버리지 제공: 전통적인 지역화된 가드가 보호하지 못하는 복잡한 다중 계약 시나리오를 효과적으로 처리합니다.
• 타입 무관성: 보호 메커니즘이 특정 구현 코드와 독립적이어서 다양한 DApps 에 적용 가능합니다.

궁극적으로 이 논문은 Sentinel 이 재진입성 완화의 새로운 표준을 수립하며, 현재 최첨단 기술보다 더 효과적일 뿐만 아니라 진화하는 탈중앙화 애플리케이션 환경에 적응 가능한 솔루션을 제공한다고 주장합니다.