CoBRA: A Universal Strategyproof Confirmation Protocol for Quorum-based Proof-of-Stake Blockchains

CoBRA 기술 요약: 쿼럼 기반 지분 증명(PoS) 블록체인을 위한 보편적 전략적 정당성 확보 확정 프로토콜

1. 문제 정의

PBFT 및 Hotest와 같은 전통적인 상태 머신 복제(SMR) 프로토콜은 최소 $2/3$의 검증자가 정직하다는 가정하에 BFT(Byzantine Fault Tolerant) 모델 하에서 작동한다. 그러나 지분 증명(PoS) 블록체인에서 검증자는 순수하게 이타적이거나 임의로 악의적인 존재가 아니라, 이익을 극대화하는 대리인(agent)이다. 이는 정직한(honest), 비잔틴(Byzantine) (임의로 악의적인), 그리고 합리적(rational) (전략적, 이익 중심적) 검증자로 구성된 하이브리드 위협 모델을 생성한다.

본 논문은 기존 프로토콜이 합리적 검증자와 비잔틴 검증자가 결탁할 때 보안 보장을 제공하지 못한다는 결정적인 격차를 식별한다. 구체적으로:

• 부분 동기(partially synchronous) 네트워크에서, 비잔틴 검증자와 합리적 검증자의 결합된 비율이 $1/3$을 초과하면 어떤 쿼럼 기반 SMR 프로토콜도 안전성(safety)을 보장할 수 없다. 합리적 검증자들은 비잔틴 행위자와 결탁하여 상충하는 블록(이중 지불/equivocation)을 생성하고, 슬래싱(slashing)에 의한 위험보다 잠재적 이익이 더 크기 때문에 이를 억제할 수 없다.
• 동기(synchronous) 네트워크에서도, 알려진 지연 시간 경계가 있더라도 결합된 세력이 검증자 집단의 $2/3$를 초과하면 안전성을 달성할 수 없다.
• 기존의 "책임 있는(accountable)" 프로토콜들은 오작러(misbehavior)를 탐지할 수는 있지만, 충돌하는 트랜잭션을 수락한 클라이언트에게 **경제적 배상(economic restitution)**을 제공하는 데 실패하며, 종종 손실을 보전하기 위해 클라이언트의 참여를 요구하거나 새로운 코인을 발행해야 한다.

2. 방법론 및 프로토콜 설계

저자들은 CoBRA(Correct over Byzantine-Rational Adversary)를 제안한다. 이는 쿼럼 기반 PoS 프로토콜을 위한 일반적인 변환 방식이다. 설계는 검증자가 고정되어 있고, 클라이언트는 "침묵하는(silent)" 상태(프로토콜 실행을 능동적으로 모니터링하지 않고 검증자에게 확인을 요청함)라는 하이브리드 위협 모델에 의존한다.

핵심 메커니즘:

• 스테이크 기반 확정성 (Finality Gadget):
  합리적 검증자가 포크(fork)를 만드는 것이 수익성이 높다고 판단하는 것을 방지하기 위해, CoBRA는 임의의 시간 창 $\Delta^*$ 내에 확정되는 트랜잭션 총량을 상한선으로 강제한다.

  • 검증자는 확정된 세트 내의 총 가치가 $C = D$ (여기서 $D$는 단일 검증자의 스테이크)를 초 exceed하지 않는 경우에만 블록을 확정한다.
  • 이를 통해 합리적 검증자가 이중 지불을 위해 결탁하더라도 그들의 최대 이득은 $D$로 제한된다. 탐지될 경우 전체 스테이크 $D$를 잃게 되는 위험이 있으므로, 공격은 수익성이 없게 된다.
  • 최강 체인 규칙(Strongest Chain Rule): 만약 참가자의 과반수(구체적으로 $> f + 1/2$)가 특정 체인을 증명 가능하게 지지한다면, 프로토콜은 거래량 상한을 우회하여 무한한 트랜잭션 볼륨에 대한 즉각적인 확정을 허용한다.

• 인센티브 호환적 보상:
  검ensorship(라이브니스 공격)을 방지하기 위해, 보상은 적어도 $n-f$ 명의 서로 다른 검증자가 참여하는 윈도우에서만 분배된다. 이는 합리적 검증자들이 트랜잭션을 제외함으로써 총 보상 풀을 줄이는 대신, 투표와 제안을 포함하도록 유도하기 위함이다.

• 복구 및 경제적 배상:
  비잔틴 검증자의 수가 표준 $1/3$ 임계값을 초과하지만 $2/3$ 미만인 경우, CoBRA는 **복구 가능한 경제적 보안 체제(recoverable economic-security regime)**로 진입한다.

  • 충돌 탐지: 이중 지불(equivocation, 상충하는 finality certificate)을 탐지하면 검증자들은 확정을 중단한다.
  • 집합 합의(Set Agreement): 검증자들은 클라이언트에 의해 수락된 모든 충돌 블록을 포함하여, 실행할 공통 블록 세트에 합의하기 위한 집합 합의 프로토콜을 실행한다.
  • 배상: 시스템은 포크 전 상태로 되돌아가 모든 충돌 트랜잭션을 결정론적 순서로 재실행한다. 이중 지불로 인해 발생한 클라이언트의 손실은 증명 가능한 잘못된 행위를 한 검증자의 슬래싱된 스테이크를 사용하여 배상된다. 결정적으로, 이 과정은 새로운 코인을 발행하지 않고, 클라이언트의 참여 없이 수행된다.

3. 주요 기여 및 불가능성 결과

불가능성 결과:
본 논문은 침묵하는 클라이언트가 존재하는 하이브리드 모델 하에서의 쿼럼 기반 SMR에 대한 근본적인 한계를 설정한다:

1. 부분 동기: 만약 $f + k \geq n/3$라면, 어떤 쿼럼 기반 SMR 프로토콜도 $(n, k, f)$-내성($k$는 합리적, $f$는 비잔틴)을 가질 수 없다. 이는 클래식한 $1/3$ 비잔틴 임계값을 경제적 동기에 의한 일탈을 포함하도록 일반화한 것이다.
2. 동기: 심지어 알려진 동기 경계가 있더라도, $f + k \geq 2n/3$이면 SMR은 불가능하다.
3. 확정성 지연(Finality Latency): 유동 자금이나 참여 보상에 대한 제한이 없다면, 적대자 규모가 이러한 임계값을 초과할 경우 $\Delta^*$ 윈도우 내에 확정을 보장할 수 있는 프로토콜은 없다. 왜냐하면 합리적 검증자가 자신의 스테이크를 초과하는 금액을 이중 지불할 수 있기 때문이다.

프로토콜 기여:

• CoBRA 변환: 임의의 $(n, f)$-내성 쿼럼 기반 SMR을 $(n, k, f^*)$-내성 프로토콜로 변환하는 일반적인 방법.
• 세 가지 운영 체제:
  1. 표준 체제(Standard Regime): 부분 동기 환경에서 최대 $1/3$의 비잔틴 검증자에 대해 안전성을 유지한다.
  2. 합리적 내성 체제(Rational-Resilient Regime): 추가적인 합리적 검증자가 최대 $1/3$ 존재하더라도(총합 $< 2/3$), 동기 경계 $\Delta^*$가 알려져 있다면 안전성과 라이브니스를 보장한다.
  3. 복구 체제(Recoverable Regime): 비잔틴 검증자가 $1/3$을 초과하지만 $2/3$ 미만인 경우, 완전한 클라이언트 배상 및 상태 복구를 보장한다.
• 연합 준수(Coalition-Compliance): 비잔틴 행위자와 결탁할 때조차 합리적 검증자가 이탈할 유인이 없도록 함으로써, 프로토콜 준수 전략이 이탈 전략을 약하게 지배(weakly dominate)하도록 보장한다.

4. 결과 및 실증적 검증

저자들은 Cosmos 및 Ethereum 네트워크에 대한 실증적 분석을 통해 CoBRA의 타당성을 검증한다:

• 참여율: 100만 개의 연속적인 Cosmos 블록 분석 결과, 99% 이상의 블록이 "최강 체인" 규칙에 필요한 $5/6$ 참여 임계값을 초과했다.
• 시사점: 이러한 실제 시나리오에서 CoBRA는 대다수의 블록에 대해 즉각적인 트랜잭션 확정을 허용하는 동시에, 참여도가 낮은 기간(관측 데이터 기준 약 15분까지 지속됨) 동안 보안을 해치지 않으면서 스테이크 제한 규칙을 처리할 수 있다.
• 경제적 보안: 연구에 따르면 활성 검증자의 최소 슬래싱 가능 스테이크(Cosmos 사례의 경우 약 $470,000)는 저참여 윈도우의 트랜잭션 볼륨(약$180,000)을 커버하기에 충분하며, 이는 이론적으로 완전한 클라이언트 배상이 가능함을 입증한다.

5. 의의 및 주장

본 논문은 다음과 같은 기능을 갖춘 최초의 일반적인 쿼럼 기반 SMR 변환 방식이라고 주장한다:

1. 비잔틴 당사자가 $1/3$ 미만일 때 최적의 합리적 내성을 제공한다.
2. 비잔틴 임계값이 초과되었을 때(최대 $2/3$까지), 특히 새로운 코인을 발행하지 않고도 클라이언트에 대한 경제적 보호를 제공한다.
3. 전통적인 BFT 분석에서 흔히 간과되는 요소인 합리적 검증자의 전략적 행동을 다룸으로써, 이론적 합의 한계와 실제 PoS 보안 사이의 간극을 메운다.

저자들은 CoBRA를 통해, "정직한 과반수" 가정이 전략적 결탁에 의해 위반되더라도, 전체 적대적 힘이 스테이크의 $2/3$를 넘지 않는 한 PoS 블록체인이 안전성과 라이브니스를 유지할 수 있게 하는 솔루션으로 포지셔닝한다.