기술 요약: 오목함수는 새로운 선형성

문제 제기

탈중앙화 자율 조직 (DAO) 은 토큰 기반 거버넌스에 의존하며, 여기서 투표권은 일반적으로 지갑 잔고에 비례합니다. 이러한 "토큰 1 개당 투표권 1 개" 모델은 과두제를 조성하여 대규모 보유자 ("고래") 들에게 통제권을 집중시키고, 프로토콜을 토큰 통제 공격에 취약하게 만듭니다. 이를 대응하기 위해 커뮤니티는 이차 투표 (Quadratic Voting, QV) 와 다른 오목한 투표 규칙 (예: 지수 규칙 $w^\beta$, 로그 규칙) 과 같은 반과두제 메커니즘을 제안했습니다. 이러한 메커니즘은 토큰당 하선형 투표권을 할당하여 (예: $w$개의 토큰에 대해 $\sqrt{w}$개의 투표권) 대규모 보유자의 영향을 억제합니다.

그러나 이러한 메커니즘은 투표자당 단일하고 안정적인 신원이라는 가정 하에 설계되었습니다. 허가 없는 블록체인에서는 공격자가 자신의 토큰 보유량을 분할하기 위해 여러 개의 가짜 신원 (지갑) 을 생성하는 시빌 공격으로 인해 이러한 가정이 무너집니다. 본 논문이 다루는 핵심 문제는 허가 없는 체인에서 합리적인 시빌 공격자에 대해 잔고만으로 권력을 도출하는 지갑 수준의 어떤 투표 규칙도 효과적으로 저항할 수 있는지 여부입니다. 저자들은 오목한 규칙이 실제로 과두제를 방지할 수 있는지, 아니면 우연히 새로운 형태의 선형적 취약점을 만들어내는지 조사합니다.

방법론

저자들은 시빌 공격 하의 DAO 거버넌스를 분석하기 위해 통합된 비용이 부과된 수학적 모델을 개발했습니다.

1. 모델 파라미터:

   • $a$: 공격자의 총 토큰 예산.
   • $f(w)$: 지갑 수준의 투표 규칙 (예: 선형 $w$, 이차 $\sqrt{w}$, 지수 $w^\beta$, 로그 $\ln(w+1)$).
   • $C = (m, v, p, s)$: 현실적인 블록체인 마찰을 포착하는 비용 체계:
     • $m$: 투표에 필요한 최소 잔고.
     • $v$: 지갑당 투표 비용 (가스).
     • $s$: 지갑당 분할 비용 (토큰 전송에 필요한 가스).
     • $p$: 고정된 일회성 설정 비용 (예: 분할기 계약 배포).

2. 최적화 문제:
   공격자는 비용 제약 조건 하에 예산 $a$를 잔고 $w_i$를 가진 $n$개의 지갑으로 분할하여 총 투표권 $V^*(a)$를 최대화하려 합니다:
   $$\sum w_i + n(s+v) + p \leq a$$
   목표는 $\sum f(w_i)$를 최대화하는 것입니다.

3. 분석적 접근:

   • 하한: 저자들은 먼저 비자명한 투표 규칙 (여기서 $f(m) > 0$) 의 경우, 공격자가 최소한 $a$에 비례하여 선형적으로 증가하는 투표권 ($\Omega(a)$) 을 달성할 수 있음을 증명합니다.
   • 점근적 분석: 오목한 규칙에 대해 최적 분할 전략을 유도합니다. 젠센의 부등식을 사용하여 토큰을 지갑에 균등하게 분할하는 것이 최적임을 보여줍니다. 그런 다음 지갑 수 $n$을 최적화하여 최대 투표권의 점근적 행동을 찾습니다.
   • 실증적 구체화: 이 모델은 5 개 주요 DAO(ENS, Compound, Uniswap, Arbitrum, ZKsync) 의 실제 데이터에 적용됩니다. 저자들은 각 DAO 의 최근 10 개 확정된 제안에 대해 실제 온체인 가스 가격과 토큰 가치를 사용하여 선형, 이차, 로그, 지수 ($\beta=0.25$) 규칙 하에서 과반수 투표를 장악하는 공격자의 비용을 계산합니다.

주요 기여

1. 통합 비용 모델: 투표 규칙과 현실적인 블록체인 비용 (분할, 투표, 설정, 최소 잔고) 간의 상호작용을 포착하는 공식적 프레임워크.
2. 보편적 불가능성 결과: 제한 없는 시빌 분할 하에서 모든 비자명한 지갑 기반 투표 규칙이 과두제임을 증명합니다. 어떤 크기의 지갑이라도 0 이 아닌 투표권을 산출한다면, 특정 오목 함수나 선형 비용 체계와 관계없이 공격자의 조정된 투표권은 최소한 선형적으로 증가합니다 ($V^*(a) = \Omega(a)$).
3. 오목한 규칙에 대한 엄밀한 점근적 기울기: 저자들은 오목한 규칙에 대한 하한을 정교화하여 최적 투표권이 토큰 보유량에 대해 점근적으로 선형임을 증명합니다. 증폭 상수 $\kappa$에 대한 폐쇄형 식을 유도합니다:
   $$\kappa = \sup_{x \geq m} \frac{f(x)}{x + v + s}$$
   이는 오목성이 하선형 감쇠가 아닌 상수 인자 감쇠만 제공함을 보여줍니다.
4. 실증적 영향 분석: 오목한 규칙 하에서 시빌 공격이 정직한 투표보다 수배 더 저렴하다는 정량적 증거.
   • 이차 투표 하에서 시빌 증폭 인자는 1,172 배에서 4,039 배 사이입니다.
   • 더 가파른 지수 규칙 ($\beta=0.25$) 하에서 증폭은 229,000 배를 초과합니다.
   • 사례 연구: Uniswap 에서 공격자는 시빌 최적 전략을 사용하여 약 **$75,000**의 비용으로$3 억 투표권을 장악할 수 있는 반면, 동일한 예산을 가진 단일 지갑 공격자는 필요한 투표권의 약 1/259 만 달성합니다.
5. 완화 방안 평가: 최소 잔고, 수수료 인상, 개인 증명 (Proof-of-Personhood), 양원제 거버넌스 등 후보 방어책에 대한 조사. 저자들은 지갑당 경제적 마찰만으로는 점근적 선형성을 제거할 수 없으며, 신원 기반 계층 (개인 증명) 또는 구성적 방어만 위협을 효과적으로 완화할 수 있다고 결론지었습니다.

결과

• 이론적: 논문은 "오목함수는 새로운 선형성"임을 증명합니다. 오목한 규칙은 단일 대형 지갑의 투표권을 줄이지만, 합리적인 공격자는 보유량을 분할하여 선형 투표권을 회복할 수 있습니다. "반과두제" 혜택은 시빌 생성 능력으로 인해 무효화됩니다.
• 실증적: 오목한 규칙은 주요 DAO 를 공격하는 비용을 극적으로 감소시킵니다.
  • Uniswap: 선형 비용 \approx \302.6M$; 이차 비용$\approx \$74.9K$ (4,039 배 저렴).
  • Compound: 선형 비용 \approx \11.6M$; 이차 비용$\approx \$6.4K$ (1,820 배 저렴).
  • "증폭 인자"(공격이 얼마나 더 저렴해지는지) 는 투표 규칙이 더 오목해질수록 (예: 로그 및 지수 규칙이 이차 규칙보다 훨씬 취약함) 크게 증가합니다.
• 마찰 분석: 지갑당 비용 ($s, v$) 이나 최소 잔고 ($m$) 를 높이면 기울기 $\kappa$를 낮추어 공격을 더 비싸게 만들지만, 점근적 선형성은 변하지 않습니다. 공격은 충분히 큰 예산의 경우 여전히 수익성이 있습니다.

중요성 및 주장

이 논문은 외부 신원 계층 없이는 허가 없는 블록체인에서 과두제를 방지하는 지갑 수준의 투표 규칙은 성공할 수 없다고 주장합니다.

• 독립적 오목 투표의 거부: 저자들은 이차 투표나 유사한 메커니즘을 주요 거버넌스 방어책으로 구현하려는 제안이 허가 없는 환경에서 근본적으로 결함이 있다고 주장합니다. QV 의 최적성에 필요한 "단일 신원" 가정은 신원 검증 없이는 강제할 수 없습니다.
• 위협 재정의: 이 연구는 초점을 "토큰 집중"에서 "지갑 분할"로 이동시킵니다. 소규모 보유자를 보호하도록 설계된 메커니즘 (오목한 투표) 이 오히려 공격자들에게 토큰을 분할하도록 막대한 경제적 인센티브를 제공하여, 결국 단순한 선형 시스템보다 자금력 있는 적대자에 의한 통제를 훨씬 더 취약하게 만든다는 것을 보여줍니다.
• 처방적 결론: 저자들은 오목한 투표가 절대 주요 방어선이 되어서는 안 된다고 단언합니다. 이는 공격자가 통제할 수 있는 지갑 수를 제한하는 신원 기반 시빌 저항 계층 (예: 개인 증명) 이 포함된 복합 메커니즘의 구성 요소로만 배포되어야 합니다. 그러한 계층이 없다면, 오목한 규칙이 의도한 "공정한 경쟁 환경"은 반전되어 공격자가 선형 시스템에서 필요한 비용의 일부만으로 거버넌스를 장악할 수 있게 됩니다.

이 논문은 탈중앙화가 먼저 신원 계층을 보호해야 함을 결론지으며, 그렇지 않으면 소규모 보유자를 권한 부여하려는 메커니즘이 오히려 모든 사람을 위해 시스템을 불안정하게 만든다고 주장합니다.