Economic Security of VDF-Based Randomness Beacons: Models, Thresholds, and Design Guidelines

1. 문제 제기 (Problem Statement)

• 배경: 분산 시스템과 블록체인은 검증 가능한 지연 함수 (VDF, Verifiable Delay Functions) 를 기반으로 한 무작위성 비컨 (Randomness Beacons) 을 increasingly 도입하고 있습니다. VDF 는 순차적 계산이 필수적이므로, 모든 참여자가 동일한 물리적 한계에 묶여 있다면 공격자가 결과를 미리 계산하거나 조작하는 것을 방지합니다.
• 기존 연구의 한계: 기존 VDF 보안 분석은 공격자를 단순히 '계산 복잡도 이론적 존재 (최악의 경우 다항 시간 공격자)'로만 가정했습니다. 즉, 암호학적 난이도만 고려하고 실제 공격자의 **경제적 동기 (Economic Motivation)**를 무시했습니다.
• 핵심 문제: 암호학적으로 안전하다고 증명된 VDF 라도, 합리적 (Rational) 인 공격자가 더 빠른 하드웨어를 구매하거나 운영 비용을 지불하고도 **MEV(최대 추출 가능 가치)**나 프로토콜 수준의 보상을 통해 이득을 볼 수 있다면, 실제 배포 환경에서는 보안이 무너질 수 있습니다.
• 목표: 암호학적 안전성뿐만 아니라 **경제적 안전성 (Economic Security)**을 보장하는 VDF 기반 비컨을 위한 정형화된 프레임워크와 설계 가이드라인을 제시하는 것. 즉, 합리적 공격자가 공격을 시도하는 것이 기대 수익 (Expected Profit) 측면에서 손실이 되도록 지연 파라미터 ($T$) 를 설정하는 방법을 규명합니다.

2. 방법론 (Methodology)

저자는 공격을 **최적 정지 문제 (Optimal Stopping Problem)**로 모델링하여 수학적 분석을 수행했습니다.

• 공격자 모델 (Rational Adversary Model):
  • 공격자는 이득 ($V$) 과 비용 ($c$) 을 고려하여 기대 수익을 극대화하려는 합리적 행위자로 가정합니다.
  • 속도 향상 ($\delta$): 공격자가 정직한 노드보다 $\delta$배 빠른 하드웨어를 사용하여 지연 시간을 $T/\delta$로 단축할 수 있다고 가정합니다.
  • 비용 ($c$): 클라우드 렌탈 비용이나 하드웨어 감가상각을 포함한 단위 시간당 운영 비용입니다.
  • 보상 ($V$): 무작위성 값을 미리 알거나 조작함으로써 얻는 MEV, 검증자 선출 기회, 사기성 배팅 등의 이득입니다. 이는 확률적 과정 (Stochastic Process) 으로 모델링됩니다.
• 전략 공간: 공격자는 각 라운드에서 공격을 시작할지, 중단할지, 혹은 하드웨어 투자를 할지 결정합니다.
• 수학적 프레임워크:
  • 상태 변수: 남은 작업량 ($S_t$) 과 현재 보상 가치 ($V_t$).
  • 벨만 방정식 (Bellman Equation): 공격자의 가치 함수를 정의하고, 최적 전략이 **임계값 구조 (Threshold Structure)**를 가진다는 것을 증명했습니다. 즉, 보상이 특정 임계값을 넘을 때만 공격을 수행합니다.
  • 경제적 보안 정의: 주어진 환경에서 모든 합리적 공격 전략에 대해 기대 수익이 0 이하여야 ($E[\text{Profit}] \le 0$) 경제적 보안이 성립한다고 정의합니다.

3. 주요 기여 (Key Contributions)

1. VDF 비컨을 위한 합리적 공격자 모델: 암호학적 속성뿐만 아니라 하드웨어 속도, 운영 비용, 동적 보상 구조를 통합한 최초의 명시적 공격 모델 제시.
2. 경제적 보안의 정형적 정의 및 조건: 지연 파라미터 ($T$) 와 비용/보상 분포 사이의 필요충분조건을 유도했습니다. 특히, $T$가 "보상/비용" 임계값을 초과해야 함을 수학적으로 증명했습니다.
3. 확장된 공격 시나리오 분석:
   • 그라인딩 (Grinding): 여러 시드 (Seed) 를 병렬로 시도하여 유리한 결과를 선택하는 공격.
   • 선택적 중단 (Selective Abort): 불리한 결과가 나오면 재시도하는 공격.
   • 다중 공격자 경쟁: 여러 공격자가 경쟁할 때의 내쉬 균형 (Nash Equilibrium) 분석.
   • 이러한 공격들은 유효 보상을 증폭시키므로, 이를 막기 위해 필요한 지연 시간을 증가시켜야 함을 보였습니다.
4. 실제 파라미터를 활용한 사례 연구: 클라우드 비용, 하드웨어 벤치마크, 실제 MEV 데이터를 사용하여 기존 제안된 지연 시간 (수 초 단위) 이 경제적 보안 측면에서 얼마나 취약한지 입증했습니다.
5. 설계 가이드라인 및 ESDP 도입: 프로토콜 설계자를 위한 실용적 가이드라인과 **경제적으로 안전한 지연 파라미터 (ESDP, Economically Secure Delay Parameters)**라는 새로운 추상화를 제시했습니다.

4. 주요 결과 (Key Results)

• 선형 임계값 조건 (Linear Threshold Condition): 단순화된 모델에서 경제적 보안을 보장하기 위한 지연 시간 $T$는 다음과 같은 조건을 만족해야 합니다.
  $$T \ge \frac{\delta}{c} E[V]$$
  여기서 $\delta$는 속도 향상, $c$는 단위 시간 비용, $E[V]$는 기대 보상입니다.
• 실제 데이터 기반 분석 결과:
  • 일반적인 제안된 지연 시간 (2~5 초) 은 MEV 가 수십 달러만 되어도 공격이 수익성이 있게 됩니다.
  • 사례 연구 1 (MEV 기반): MEV 가 평균 10 달러일 때, 경제적 보안을 위해 필요한 지연 시간은 약 **600 초 (10 분)**입니다. MEV 가 100 달러라면 약 **6,000 초 (100 분)**가 필요합니다.
  • 사례 연구 2 (이더리움 스타일): 12 초 슬롯에서 MEV 를 고려할 때, FPGA 를 이용한 공격을 막기 위해 필요한 지연 시간은 수 일에서 수백 일에 달하는 것으로 나타났습니다. 이는 VDF 만으로는 MEV 공격을 막기 어렵고, 프로토콜 수준의 추가 방어 (암호화된 메모풀 등) 가 필요함을 시사합니다.
• 그라인딩과 선택적 중단의 영향:
  • 그라인딩 (여러 시드 시도) 은 최대 보상 ($V_{max}$) 을 증가시켜 필요한 지연 시간을 비선형적으로 늘립니다.
  • 선택적 중단 (불리한 결과 재시도) 은 공격 성공 확률을 높여 유효 보상을 $1/(1-p)$배 증가시킵니다.
• 다중 공격자 균형: 여러 공격자가 경쟁할 경우, 개별 공격자의 기대 수익이 낮아지더라도 공격이 지속될 수 있습니다. 이를 막기 위해서는 단일 공격자 조건보다 더 엄격한 지연 시간이 필요할 수 있습니다.

5. 의의 및 시사점 (Significance)

• 보안 패러다임의 전환: VDF 기반 시스템의 보안 설계 시, 암호학적 난이도뿐만 아니라 **경제적 인센티브 (Economic Incentives)**를 반드시 고려해야 함을 강조합니다. 암호학적으로 안전하더라도 경제적으로 공격 유인이 있다면 시스템은 무너질 수 있습니다.
• 실용적 설계 가이드라인 제공: 프로토콜 설계자들이 MEV, 하드웨어 비용, 시장 변동성을 고려하여 지연 시간 ($T$) 을 정량적으로 설정할 수 있는 ESDP 프레임워크를 제공합니다.
• 현실적 경고: 현재 제안되고 있는 많은 VDF 비컨 (수 초 지연) 은 실제 MEV 환경에서 경제적 보안이 취약할 수 있음을 경고하며, 더 긴 지연 시간이나 프로토콜 수준의 보완책이 필요함을 시사합니다.
• 동적 파라미터 조정: 하드웨어 발전과 시장 상황은 변하므로, 지연 파라미터는 고정된 값이 아닌 주기적으로 재평가되고 조정되어야 하는 동적 변수로 다뤄져야 함을 주장합니다.

이 논문은 블록체인 및 분산 시스템의 무작위성 생성 메커니즘이 실제 경제 환경에서 어떻게 작동해야 하는지에 대한 이론적 기반과 실용적 지침을 제공한다는 점에서 중요한 의의를 가집니다.