기술 요약: 유용한 증명 (Proof of Useful Attestation, PoUA)

1. 문제 정의

본 논문은 "증명 원생 체인 (attestation-native chains)"의 합의 메커니즘에 근본적인 불일치가 있음을 지적합니다. 증명 원생 체인이란 암호학적 증명 (예: 콘텐츠 출처, AI 출력 귀속, 공급망 추적성) 의 생성과 검증이 주요 경제 활동인 블록체인을 의미합니다.

현재의 지분 증명 (PoS) 시스템은 범용 상태 전이를 위해 설계되었습니다. 이러한 시스템에서 검증자는 특정 애플리케이션 작업 부하를 정확하게 처리하든, 선택적으로 검열하든 관계없이 수수료를 획득합니다. 결과적으로 충분한 자본을 가진 공격자는 지분을 확보하여 특정 증명 스키마를 검열하거나, 증명의 재순서화에서 MEV 를 추출하더라도 표준 슬래싱 조건을 발동시키지 않을 수 있습니다. 따라서 체인의 경제적 보안은 지배적인 작업 부하의 정확성과 무관하게 유지됩니다.

논문에 따르면, 범용 L1 에서 증명 계약을 호스팅하는 체인은 합의 인센티브가 증명 작업 자체와 분리되어 있기 때문에 해당 작업 부하를 효과적으로 방어할 수 없습니다.

2. 방법론: 유용한 증명 (PoUA)

PoUA 는 검증자의 영향력을 유효한 증명 작업 처리 이력과 직접적으로 연결하도록 설계된 합의 가중치 원시 (primitive) 입니다. 이는 기존 BFT 원시 (예: Tendermint 스타일의 낙관적 최종성) 를 대체하는 것이 아니라, 검증자 가중치 계산 방식을 수정하는 레이어입니다.

핵심 메커니즘

검증자 가중치 ($w_v$) 는 묶인 지분 ($s_v$) 과 비이전성 평판 점수 ($r_v$) 의 곱으로 계산됩니다:
$$w_v(t) = s_v(t) \cdot r_v(t)$$

• 평판 누적: 평판은 검증자가 유효한 증명 처리에 기여한 정도에 따라 증가합니다. 업데이트 함수는 가산적이고 경계된 값을 가집니다:
  $$r_v(t+E) = \text{clip}_{[r_{min}, r_{max}]}(r_v(t) + \eta \cdot g_v(t) - \lambda \cdot b_v(t))$$
  여기서 $g_v$는 제안자와 투표자 역할로 나뉜 수수료 가중 유효 증명 처리 측정치이며, $b_v$는 불량 행동 점수입니다.
• 비이전성: 평판은 체인 내 검증자 정체성에 내재되어 있으며 이전하거나 분리할 수 없습니다.
• 경계 구간: $r_{min} > 0$은 신규 검증자가 0 이 아닌 가중치를 갖도록 하여 (콜드스타트 잠금 방지), $r_{max} < \infty$는 권력의 과도한 집중을 방지합니다.

복합 공격자에 대한 방어

논문은 자본과 증명자 세트 및 제출자 주소를 제어하여 평판을 농사질 수 있는 능력을 모두 갖춘 "복합 공격자 (compound adversary)"를 다룹니다. PoUA 는 6 단계 방어 레이어를 사용합니다:

1. 레이어 1 (형식적): 제출자 주소가 제안자 주소와 동일한 증명을 제외합니다.
2. 레이어 2 (형식적): 제출자 주소가 제안자와의 트랜잭션 그래프 거리 $d$ 이내에 있는 증명을 제외합니다 (단순 자금 라우팅 방지).
3. 레이어 3 (경제적): 모든 증명 수수료의 일부 $\tau_{burn}$을 회수 불가능한 목적지 (예: 소각 주소) 로 전송합니다. 이는 평판을 농사질 비용에 대한 형식적 하한선을 생성합니다.
4. 레이어 4 (휴리스틱): 농사 패턴 (스키마 집중, 그래프 밀도) 의 통계적 탐지.
5. 레이어 5 (거버넌스): 오탐지에 대한 항소 절차.
6. 레이어 6 (미래): 지분 그래프 독립성에 대한 영지식 증명.

3. 주요 기여

형식적 보안 및 공격 비용 프리미엄

논문은 자본 공격자에 대한 형식적 공격 비용 프리미엄 ($\kappa$) 을 유도합니다. 정상 상태의 건강한 체인에서 $\rho$ 비율의 합의 가중치를 획득하는 비용은 평균 정직 평판과 최소 평판의 비율만큼 곱해집니다:
$$\kappa = \frac{\bar{r}_H}{r_{min}}$$
권장 매개변수 ($r_{max}/r_{min} \in [4, 10]$) 를 사용하면, PoUA 는 동등한 순수 지분 PoS 체인에 비해 공격 비용에 4 배에서 10 배의 곱셈적 프리미엄을 제공합니다. 이 "해자"는 5.3 절에 형식화되어 있습니다.

농사 비용 하한선 (Lemma 1)

핵심 기여 중 하나는 Lemma 1 로, 복합 공격자가 평판을 농사하기 위해 지불해야 하는 회수 불가능한 수수료에 대한 형식적 하한선을 확립합니다. 공격자가 레이어 1 과 2 를 우회하더라도, 레이어 3 의 소각은 다음을 보장합니다:
$$F_{net, \text{per member}} \geq \frac{\tau_{burn} \cdot \Delta r}{\eta \cdot \alpha_{eff}(m, k)}$$
이는 평판 농사에 대한 방어를 순수한 휴리스틱 논증에서 경제적 논증으로 전환시킵니다.

인센티브 정렬

논문은 검증자를 이윤 극대화자로 모델링합니다. 평판은 비이전성이며 미래 수익 (블록 보상 및 수수료를 통해) 을 나타내므로, 검증자를 슬래싱하면 현재 본드뿐만 아니라 미래 수익 흐름도 파괴됩니다. 이러한 "시간 잠금" 인센티브 정렬은 순수 지분 PoS 에는 부재합니다.

구현 및 통합

논문은 Sovereign SDK 롤업 프레임워크에 대한 구체적인 통합 명세를 제공하며, 다음을 상세히 다룹니다:

• 검증자 선택 및 투표 가중치 수정.
• 평판 상태 저장 (검증자당 32 바이트).
• 거버넌스 개입 없이 수수료 시장 변동에 대응하기 위한 $\tau_{burn}$, $\eta$, $\lambda$의 적응형 매개변수 재기반 메커니즘.

4. 결과 및 검증

논문은 참조 시뮬레이터 (prototypes/poua-sim/) 에서 도출된 결과를 제시합니다:

• 공격 비용: 몬테카를로 시뮬레이션은 분석적 $\kappa$ 곡선을 확인하여, 다양한 검증자 세트 크기 (50 명에서 1000 명) 에서 4 배~10 배 프리미엄이 유지됨을 보여줍니다.
• 계층적 방어: 전략 탐색 히트맵은 개별 방어 레이어 (예: 레이어 1 만) 는 우회될 수 있지만, 모든 레이어의 조합은 농사 전략에 대한 보상을 기준선 ($r_{min}$) 으로 붕괴시킴을 보여줍니다.
• 전환 상태: 논문은 프리미엄이 정상 상태 상한선보다 낮은 "워밍업" 및 "회복" 기간을 정량화하여 체인 출시 및 슬래싱 후 회복에 대한 운영 지침을 제공합니다.

5. 중요성 및 주장

논문은 PoUA 를 새로운 암호학적 원시가 아니라, 증명 원생 체인에 맞춰 조정된 기존 개념들 (평판 가중 합의, 유용한 작업 증명, 리스테이킹) 의 종합으로 위치시킵니다.

• 겸손한 주장: 저자들은 PoUA 가 모든 합리적 편차에 대한 완전한 암호학적 보안 증명을 제공하지 않는다고 명시적으로 밝힙니다. 복합 공격자에 대한 방어는 휴리스틱 탐지 (레이어 4) 와 거버넌스 (레이어 5) 로 지원되는 형식적 경제 하한선 (Lemma 1) 에 의존합니다.
• 범위: 이 메커니즘은 작업 부하가 증명 생성인 체인을 위해 설계되었습니다. 논문은 범용 스마트 계약을 명시적으로 제외하며, 이를 추가하면 PoUA 가 제공하는 특정 보안 해자가 희석될 것이라고 주장합니다.
• 차별화: 주 체인에서 지분을 재사용하는 리스테이킹 (EigenLayer) 과 달리, PoUA 는 보안 예산이 증명 작업 부하에 맞춰 크기가 조정되고 정렬된 네이티브 합의 메커니즘을 구축합니다. 유용한 작업 증명 (Filecoin/Helium) 과 달리 외부 하드웨어 증명이 필요하지 않으며, "유용한 작업"은 서명 검증을 통해 프로토콜 수준에서 검증 가능합니다.

논문은 메커니즘이 devnet 보정 및 외부 검토를 통해 스트레스 테스트된다면, PoUA 가 범용 L1 들이 합의 레이어를 재구축하지 않고는 복제할 수 없는 방어 가능한 보안 프로필을 증명 원생 체인에게 제공한다고 결론지었습니다.