기술 요약: 다중 해시 유형을 포함한 병합된 비트코인 작업 증명(Proof of Work) 블록체인

1. 문제 정의

비트코인 프로토콜은 1조 달러 이상의 가치를 보호하고 있으나, 51% 공격과 관련된 심각한 보안 위험에 직면해 있다. 본 연구의 주요 동기는 이러한 파괴적인 공격의 위험을 완화하기 위해 비트코인 프로토콜의 보안 임계값을 높이는 것이다. 특화된 SHA-256 회로를 통해 정직한 채굴력을 높이는 것과 같은 기존의 보안 강화 방법들은 다음과 같은 취약점을 유발한다:

• 중앙집중화: 특화된 회로에 대한 접근성이 뛰어난 대리인들에게 권력이 집중된다.
• 하드웨어 백도어: 소수의 ASIC 제조사가 단일 실패 지점(single point of failure)을 생성한다. 만약 이들이 침해될 경우, 대다수의 채굴자가 정직하더라도 프로토콜은 취약해진다.
• 양자 및 알고리즘의 발전: 공격자가 단일 해시 유형을 겨냥한 알고리즘 개선이나 특화된 하드웨어(예: 양자 가속을 위한 그로버 알고리즘)를 통해 비대칭적 우위를 점할 수 있다.

저자들은 서로 다른 해시 유형에 의해 연결된 블록들이 하나의 체인을 형성할 수 있도록 하는 병합된 비트코인(Merged Bitcoin) 프로토elen을 제안한다. 목표는 공격 비용을 높이고, 중앙집중화 위험을 줄이며, 단일 해시 유형에 특화된 취약성을 완화하는 것이다.

2. 방법론 및 이론적 프레임워크

다중 무작위 자원 모델 (The Multiple Random Resource Model)

본 논문은 노드(정직한 노드와 불량 노드)가 $n$개의 서로 다른 해시 유형에 대해 다양한 양의 해싱 자원을 보유하고 있는 것으로 모델링한다. 이러한 자원은 포아송 도착 과정(Poisson arrival process)을 매개변수화한다.

• 블록률 (Blockrates): 모델은 각 해시 유형 $i$에 대한 정직한 블록률($h_i$)과 불량 블록률($b_i$)을 초당 블록 수로 정의한다.
• 스코어 시스템 (Score System): 각 블록 유형 $i$에는 스코어 상수 $c_i$가 할당된다. 포크 선택 규칙(fork choice rule)은 가장 높은 총 스코어($\sum c_i N_i$, 여기서 $N_i$는 유형 $i$인 블록의 개수)를 가진 체인을 선택한다.
• 네트워크 모델: 분석은 네트워크 지연 시간이 $\Delta$로 제한되는 $\Delta$-유계 지연 네트워크 모델($\Delta$-bounded delay network model) 하에서 작동한다.

정보 이론적 동기 및 불가능성

저자들은 처음에 보안이 여러 51% 임계값의 "AND" 조건에 의해 결정될 수 있는지(즉, 공격자가 모든 해시 유형의 50% 이상을 동시에 통제해야만 프로토콜이 불안전해지는 경우)를 조사한다.

• "Big-And" 가설: 저자들은 만약 불보안(insecurity)이 공격자가 모든 해시 유형을 모두 지배해야 하는 것을 요구한다면, 정보 이론적으로 지수적으로 감소하는 오류 확률을 달성할 수 있는지 탐구한다.
• 불가능성 결과 (정리 10): 본 논문은 특정 속성(체인 속성, 공격자 등가성, 공격자의 홀딩 능력)을 만족하는 허가 없는 분산 프로토콜의 경우, "Big-And" 보안 영역은 불가능함을 증명한다. 만약 어떤 프로토콜이 구성 $(h, b)$ 하에서 안전하다면, 이는 뒤바뀐 구성 $(b, h)$ 하에서도 안전할 수 없다. 이는 어떤 단일 해시 유형이라도 공격자의 점유율이 50% 미만이라 할지라도, 공격자가 다른 해시 유형들을 충분히 통제하고 있다면 프로토콜은 불안전해질 수 있음을 의미한다.

보안 영역 분석

"Big-And"라는 이상적인 영역의 불가능성에도 불구하고, 본 논문은 병합된 비트코인의 보안 영역에 대한 폐쇄형 경계값(closed-form bounds)을 도출한다.

• 보안 조건: 병합된 비트코인은 완전한 지연 조건 하에서 공격자의 스코어 성장률($\lambda_a = \sum c_i b_i$)이 정직한 스코어 성장률($\lambda_h$)보다 엄격히 작을 때 안전하다.
• 경계값 도출:
  • 하한선 (Lemma 13/17): "델타 구간 삭제 프로세스(Delta Interval Deletion Process)"를 사용하여 도출된다. 이는 "보장된" 블록으로부터 $\Delta$ 이내에 도착하는 블록들을 제거하는 방식이다. 이를 통해 정직한 스코어 성장률에 대한 보수적인 추정치를 얻는다.
  • 상한선 (Lemma 15/19): "작은 블록 증가 프로세스(Small Block Increase Process)"를 사용하여 도출된다. 이는 더 큰 블록이 $\Delta$ 이내에 도착할 경우 작은 블록의 스코어를 인위적으로 높이는 방식이다. 이는 정직한 스코어 성장률의 상한을 제공한다.
• 지연 시간 0인 경우 (Zero Delay Case): $\Delta = 0$일 때, 보안 영역은 $\sum c_i b_i < \sum c_i h_i$로 단순화된다.

3. 주요 기여 및 결과

1. 병합된 비트코인의 공식화

본 논문은 스코어 기반의 포크 선택 규칙에 의해 제어되는, 서로 다른 해시 유형의 블록들이 하나의 체인을 형성하는 프로토콜을 소개한다. 또한 $\Delta$-유계 지연 모델에서의 보안 영역에 대한 폐쇄형 상한 및 하한을 제공한다.

2. 공격 비용 최적화

선형 비용-당-해시 경제 모델에서, 본 논문은 병합된 비트코인이 공격 비용을 극대화할 수 있음을 증명한다.

• 정리 23: 스코어당 비용($p_i/c_i$)이 모든 해시 유형에서 동일하도록 스코어 상수 $c_i$를 적절히 선택함으로써, 병합된 비트코인을 공격하는 최소 비용은 각 개별 프로토콜을 각각 공격하는 비용의 합($p_1 h_1 + p_2 h_2$)과 같아진다. 이는 이러한 제약 조건 하에서 다중 해시 컨센서스 프로토콜이 가질 수 있는 최적의 공격 비용임이 증명되었다.

3. 난이도 조절 메커니즘

기술적 진보나 비용 비대칭성으로 인해 프로토콜이 단일 해시 유형으로 붕괴되는 것을 방지하기 위해, 저자들은 **최소 분율 난이도 조절(minimum fraction difficulty adjustment)**을 제안한다.

• 특정 해시 유형에 의해 생성되는 블록의 비율이 임계치 아래로 떨어지면, 해당 유형의 상대적 난이도를 점진적으로 낮춘다. 이는 해당 해시 유형이 수익성이 생겼을 때 채굴자들이 다시 시장에 진입하도록 유도하여, 다양한 해시 유형의 혼합을 유지하게 한다.

4. Minotaur와의 비교

본 논문은 병합된 작업 증명/작업 증명 합의(PoW/PoS) 시스템인 Minotaur 프로토콜과 병합된 비트코인을 구분한다.

• 체인 중단 (Chain Outage): Minotaur는 최근성 간격(recency interval) 내에 블록이 생성되지 않을 경우 영구적인 체인 중단을 겪을 수 있으나, 병합된 비트코인은 그렇지 않다.
• 테이크오버 공격 (Takeover Attacks): Minotaur는 공격자가 약간의 채굴력이라도 보유하고 있다면 유한한 최근성 간격으로 인해 결국 확률 1로 체인을 장악할 수 있는 테이크오버 공격에 취약하다. 반면, 병합된 비트코인은 확률 1로 정직한 블록의 비영률(non-zero fraction)을 유지한다.
• 예견된 공격 (Prospective Attacks): Minotaur는 공격자가 높은 스코어의 사이드 체인을 생성할 것임을 미리 알고 타겟팅된 이중 지불을 할 수 있는 예견된 공격에 취약하다. 반면, 포아송 도착 시간을 기반으로 하는 병합된 비트코인은 공격자가 블록을 생성할지 여부를 미리 알 수 없게 하여 이 공격 벡터를 방지한다.

5. 비대칭적 이점에 대한 강건성

본 논문은 병합된 비트코인이 양자 공격(그로버 알고리즘)이나 하드웨어 백도어와 같은 비대칭적 이점에 대한 부분적인 해결책을 제공한다고 주장한다.

• 양자/백도어 저항성: 공격자가 한 가지 해시 유형에서 이득을 얻더라도(예: 특화된 양자 회로를 통해), 체인을 장악하려면 모든 해시 유형에 대한 특화된 회로를 동시에 보유해야 한다. 이는 공격 확률의 독립성을 가정할 때, 해시 유형의 수($n$)에 따라 성공적인 공격의 복잡도와 비용을 지수적으로 증가시킨다.

4. 의의 및 주장

본 논문은 병합된 비트코인이 "Big-And" 불가능성 결과에 의존하지 않고도 비트코인형 프로토콜의 보안 임계값을 높이는 엄밀한 방법을 제공한다고 주장한다. 그 의의는 다음과 같다:

• 공격 비용 극대화: 프로토콜을 조정하여 공격 비용을 개별 체인을 공격하는 비용의 합과 같게 만들 수 있음을 증명함으로써, 이것이 다중 해시 프로토콜이 가질 수 있는 이론적 최대치임을 보여준다.
• 탈중앙화: 개인용 컴퓨터(Ethash와 같은 비-SHA-256 해시에 효율적일 수 있는)가 유의미하게 참여할 수 있게 함으로써, 특화된 ASIC에 대한 의존도를 낮춘다.
• 신뢰 집계 (Trust Aggregation): 서로 다른 신뢰 가정을 가진 당사자들(예: 비트코인 맥시멀리스트와 이더리움 맥시멀리스트)이 단일 원장을 공유할 수 있게 한다. 병합된 체인의 보안은 모든 유형의 총 정직한 힘으로부터 유도되기 때문이다.
• 이론적 경계: $\Delta$-유계 지연 네트워크에서 다중 해시 작업 증명 프로토콜의 보안 영역에 대한 최초의 폐쇄형 경계값을 제공한다.

저자들은 "Big-And" 보안 영역이 허가 없는 프로토콜에서는 불가능하다는 점을 인정하면서도, 제안된 프로토콜이 전력 제한을 가진 공격자(예: 하드웨어 백도어 위험에 제한된 공격자)에 대해 그와 유사한 지수적 오류 감소를 달성하며, 경제적 공격 비용을 성공적으로 극대화한다고 밝히고 있다. 향후 과제로 $k$-컨펌 규칙 분석 및 공격자의 홀딩 능력이 제한될 경우 "Big-And" 영역을 달성할 수 있는 프로토콜 탐구를 제시하였다.