Reserve Depletion and Security Runway in Proof-of-Stake Systems

기술 요약: 지분 증명(PoS) 시스템에서의 예비금 고갈 및 보안 실행 경로(Security Runway)

문제 정의
지분 증명(PoS) 블록체인은 종종 검증자 보상을 위해 두 가지 펀딩 메커니즘, 즉 트랜잭션 수수료와 유한한 네이티브 토큰 예비금에 의존한다. 이러한 설계는 "동적 인계(dynamic hand-off)" 문제를 발생시킨다. 프로토콜의 초기 단계에서는 일반적으로 트랜잭션 수수료가 목표 보안 수준(활성 스테이크)을 충당하기에 불충분하며, 이로 인해 예비금으로부터 보조금이 필요하게 된다. 사용량이 증가함에 따라, 수수료가 보안을 독립적으로 유지할 수 있을 만큼 충분해질 것으로 기대된다.

핵심 과제는 예비금이 이 전환 과정 동안 보안을 유지하기 위한 충분한 "실행 경로(runway)"를 제공하는지 결정하는 것이다. 본 논문은 두 가지 취약성을 식별한다:

1. 수요 불확inc성(Demand Uncertainty): 트랜잭션 수수료 수입은 블록 공간에 대한 사용자 수요에 따라 확률적으로 변한다.
2. 가격 리스크(Price Risk): 예비금은 네이티브 토큰으로 보유되는 반면, 검증자 비용은 외부 화폐 단위(numeraire)로 발생한다. 토큰 단위로는 충분해 보이는 예비금이라도 토큰 가격이 급락할 경우 불충분해질 수 있다.

거버넌스는 단순히 명목상의 예비금 잔액이나 정적 상태의 보상 비율에만 의러 의존할 수 없다. 막대한 명목 예비금을 가진 프로토콜이라도 가격이나 수요 충격이 발생하면 임박한 보안 실패에 직면할 수 있는 반면, 줄어들고 있는 예비금을 가진 프로토콜은 이미 수수료가 자립 가능 임계치를 넘었기 때문에 안전할 수도 있다. 본 논문은 프로토콜이 이 전환 기간 동안 보안 운영을 보장할 수 있는 조건을 공식화하고, 언제 전환이 실패하는지를 정의하고자 한다.

방법론
저자들은 $N$명의 전략적 검증자가 참여하는 이산 시간 확률 모델을 구축한다.

• 상태 변수: 시스템 상태 $X_t = (R_t, \text{Price}_t, \text{FeeMax}_t)$는 예비금 재고($R_t$), 외부 화폐 단위 기준 토큰 가격($\text{Price}_t$), 그리고 사용자가 지불할 용의가 있는 최대 수수료를 나타내는 수요 시프터($\text{FeeMax}_t$)로 구성된다.
• 검증자 행동: 검증자는 보상(수수료 + 예비금 지급)과 이차 함수 형태의 운영 비용 사이의 균형을 맞추며 효용을 극대화하도록 참여 수준(활성 스테이크)을 선택한다.
• 평형 개념: 분석은 정적 스테이지 게임(stage-game)에서 시작하여 검증자 참여에 대한 대칭적 내쉬 균형을 도출한다. 그 후, 수수료 수익과 지급액에 따라 예비금이 진화하는 동적 설정으로 확장한다.
• 미래 지향적 확장: 모델은 검증자들이 현재의 참여가 미래의 예비금 재고 및 계속 가치(continuation values)에 어떻게 영향을 미치는지 고려하는 유한 시계열 마르코프 게임(Markov game)으로 확장된다.
• 확률적 역학: 정량적 분석을 위해, 모델은 토큰 가격에 대한 기하 브라운 운동(geometric Brownian motion)과 수요에 대한 이산 시간 로그 정규 역학(lognormal dynamics)으로 특수화된다.

주요 기여 및 결과

1. 폐쇄형 정적 평형(Closed-Form Static Equilibrium):
   본 논문은 검증자 참여 게임을 폐쇄형으로 풀어내어(정리 3), 대칭적 내쉬 균 equilibrium의 존재와 유일성을 증명한다. 평형 상태의 총 보안 수준 $s^*$는 토큰 가격과 예비금 재고의 곱($\text{Price} \cdot R$)에 의존함을 보여주며, 이는 고정된 예비금 양의 보안 가치가 상태 의존적임을 강조한다.

2. 상태 의존적 예비금 임계치:
   핵심적인 이론적 기여는 정확한 상태 의존적 예비금 임계치인 $\text{SecureR}(\text{Price}, \text{FeeMax}; s)$를 도출하는 것이다(정리 10). 임의의 목표 보안 수준 $s$에 대해, 이 임계치는 현재 가격과 수요를 고려하여 해당 보안 수준을 유지하기 위해 필요한 최소 예비금 재고를 나타낸다.

   • 세 가지 영역: 이 임계치는 상태 공간을 다음과 같이 구분한다:
     1. 불가능(Infeasibility): 무한한 예비금이 있더라도 수요가 너무 낮아 목표 보안 수준을 지원할 수 없는 상태.
     2. 예비금 의존적 보안(Reserve-Dependent Security): 예비금이 임계치를 초과해야만 목표 달성이 가능한 상태.
     3. 수수료 전용 보안(Fee-Only Security): 수요가 충분히 높아 임계치가 0인 상태이며, 예비금이 보안을 위해 불필요한 상태.

3. 타이밍 문제로서의 동적 인계(Dynamic Hand-Off):
   예비금 지원 보안에서 수수료 전용 보안으로의 전환은 타격 시간(hitting-time) 문제로 공식화된다(정리 13).

   • 실패 시간($\tau_{\text{fail}}$): 예비금이 상태 의존적 임계치 아래로 떨어지는 첫 번째 시점.
   • 인계 시간($\tau_{\text{hand}}$): 시스템이 수수료 전용 영역(임계치가 0이 되는 지점)에 진입하는 첫 번째 시점.
   • 성공 조건: 성공적인 인계는 $\tau_{\text{hand}} < \tau_{\text{fail}}$일 때만 발생한다.

4. 스트레스 테스트 보장:
   저자들은 보수적인 유한 시계열 스트레스 테스트 보장을 도출한다(정리 15). 가격과 수요에 대한 하한 신뢰 구간을 사용함으로써, 미래의 수수료 유입을 무시하고 보안을 특정 확률로 보장하는 결정론적 예비금 요구량을 계산할 수 있다. 로그 정규 역학 하에서, 실패 확률과 기대 인계 시간에 대한 명시적인 경계값이 제공된다(정리 30, 정리 31).

5. 미래 지향적 검증자:
   마르코프 확장 모델에서, 본 논문은 마르코프 완벽 평형(Markov Perfect Equilibrium)의 존재를 증명하고(정리 22), 동적 1차 조건(first-order condition)을 도출한다(정리 25). 이 조건은 현재의 참여가 미래의 예비금 축적에 어떻게 영향을 미치는지 포착한다. 결과에 따르면, 미래 지향적 인센티브가 평형 보안 수준을 수정하더라도, 근본적인 "실행 경로" 로직(보안은 예비금이 상태 의존적 컷오프 위에 있는지 여부에 달려 있다는 점)은 지속된다(정리 27).

의의 및 주장
본 논문은 PoS 시스템에서 "예비금 인계" 문제를 구체적으로 분리하여 다룬 최초의 다루기 쉬운 평형 프레임워크를 제공한다고 주장한다. 주요 의의는 예비금의 적절성 평가를 정적 지표(예: 현재 소모율 기반의 "연간 실행 경로")에서 상태 의존적 실행 경로 분석으로 전환했다는 데 있다.

저자들은 다음과 같이 주장한다:

• 예비금은 중립적이지 않다: 예비금의 보안 가치는 토큰 가격과 수요에 따라 변동한다. 막대한 명목 예비금이 악조건의 충격에 대한 보안을 보장하지는 않는다.
• 임계치가 핵심이다: 거버넌스는 단순히 예비금 잔액이 아니라 상태 의존적 임계치를 모니터링해야 한다. 수요가 수수료 전용 임계치를 넘어서면 예비금은 보안 목적으로 무의-해진다.
• 정책적 시사점: 예비금 정책은 명목상의 고갈 시점만으로 평가되어서는 안 된다. 이 프레임워크를 통해 상태별로 전환 경로를 "스트레스 테스트"할 수 있으며, 이를 통해 예비금 적절성을 확률적 타격 시간 문제으로 변환할 수 있다.

결론적으로, 본 논문은 현재 모델이 고정된 정책 파라미터($\theta$ 및 $\rho$)를 가정하고 있지만, 향-후 연구에서는 실행 경로를 연장하거나 실패 위험을 줄이기 위해 이러한 파라미터가 상태 변수에 따라 동적으로 반응하는 적응형 예비금 정책을 탐구할 수 있음을 언급하며 마무리한다.