분산 합의 프로토콜을 위한 협력형 작업 증명(Proof of Work) 체계

1. 서론

본 논문은 표준 작업 증명(Proof of Work, PoW) 체계에 대한 개선안을 제안한다. 여기서 목표는 블록 헤더의 암호학적 해시가 특정 난이도 목표(예: 여러 개의 선행 0)를 만족하도록 논스(nonce)를 찾는 것이다. 핵심 혁신은 이 체계를 본질적으로 협력적으로 설계하여, 여러 자율적인 사용자가 자신들의 집합적 거래에 대한 PoW를 해결하기 위해 계산 노력을 결합할 수 있도록 하는 데 있다.

주요 동기는 기존 채굴(예: 비트코인)의 경쟁적, 수수료 주도 모델에서 협력적, 세금 주도 모델로 전환하는 것이다. 이러한 전환은 채굴 경쟁으로 인한 낭비적인 에너지 소비를 줄이고, 채굴자의 차별 및 채굴 풀의 중앙화 영향과 같은 문제를 완화하는 것을 목표로 한다.

제안된 이점:

• 거래 수수료(채굴자에게 지급)를 거래 세금(사용자/채굴자가 지불)으로 대체.
• 경쟁적 해싱을 억제하여 전체 에너지 소비 감소.
• 채굴자에 의한 거래 검열에 대한 방어력 강화.
• 경쟁 감소로 인한 시스템 처리량 증가 가능성.
• 스팸 전송이 비용이 많이 들게 되어 서비스 거부(DoS) 공격에 대한 억제력 강화.

2. 합의

3. 협력형 작업 증명

4. 핵심 통찰 및 논리적 흐름

핵심 통찰: 나카모토 합의의 근본적인 비효율성은 PoW 자체가 아니라, 그 주변에 구축된 제로섬 경쟁 프레임워크에 있다. Kuijper의 논문은 실제 비용—에너지 낭비, 풀을 통한 중앙화, 수수료 시장 변동성—이 합의 달성에서 비롯되는 것이 아니라 타인보다 더 많이 계산하려는 구조적 인센티브에서 비롯된다는 점을 올바르게 지적한다. 채굴자에게 지급하는 수수료 모델에서 사용자가 부담하는 세금 모델로의 제안된 전환은 급진적이지만 논리적인 역전이다. 이는 PoW를 채굴자를 위한 "복권"에서 원장 포함을 추구하는 사용자들의 "조정 비용"으로 재구성하여, 경제적 인센티브를 네트워크 건강과 일치시킨다.

논리적 흐름: 논증은 정밀하게 진행된다: (1) 합의를 메시징/동기화 문제로 확립한다. (2) PoW를 강제 지연 메커니즘으로 보여준다. (3) 경쟁을 PoW의 외부 효과 원인으로 확인한다. (4) 개별 해결책이 조합적으로 유용하게 만들어 구조적으로 협력을 강제하는 암호학적 기본 요소(협력형 PoW)를 제안한다. 논리는 타당하다—경쟁할 수 없다면 협력해야 한다. 이 논문의 탁월함은 경쟁을 수학적으로 무의미하게 만들도록 프로토콜을 설계하자고 제안하는 데 있다.

5. 장점과 결함

장점:

• 우아한 인센티브 재조정: 세금 모델은 에너지 과소비의 근본 원인을 직접적으로 공격한다. 이는 이더리움의 EIP-1559 수수료 소각과 같은 사후 수정보다 더 원칙적인 접근법이다.
• 풀 저항성: 협력을 프로토콜에 내재시킴으로써, 외부 채굴 풀의 필요성과 그로 인한 중앙화 위험을 잠재적으로 제거한다. 이는 Gervais et al. (2016)과 같은 연구자들이 지적한 비트코인 채굴의 중앙화 압력에 대한 중요한 결함을 해결한다.
• 강화된 검열 저항성: 채굴자(또는 협력자)가 거래를 포함시키기 위해 비용을 지불한다면, 특정 거래를 배제할 경제적 인센티브가 줄어들어 네트워크 중립성이 강화된다.

결함 및 중요한 공백:

• "무임승차자" 문제: 논문은 중요한 게임 이론적 도전 과제를 간과한다. 사용자가 다른 사람들이 협력적 퍼즐을 해결하기를 기다린 후 자신의 거래를 추가하는 것을 무엇이 막는가? 세금은 암호학적으로 강제되어야 하며, 아마도 ZK-계산 증명과 같은 복잡한 메커니즘이 필요할 것인데, 논문은 이를 상세히 설명하지 않는다.
• 복잡성 및 검증 가능성: 부분 증명을 결합하는 것은 검증 비용이 저렴해야 하지만 암호학적으로 안전해야 한다. 그러한 함수를 설계하는 것은 사소하지 않으며, 에너지 절감 효과를 무효화할 수 있는 새로운 취약점이나 계산 오버헤드를 도입할 수 있다.
• 부트스트랩 및 채택: 많은 새로운 합의 모델과 마찬가지로, 이는 거대한 조정 문제에 직면한다. 기존 ASIC 투자를 가진 채굴자들은 전환할 인센티브가 없다. 이 체계는 아마도 다른 "비트코인 대안"들과 동일한 채택 장벽에 직면한 백지 상태 블록체인이 필요할 것이다.
• 모호한 형식화: 유망하지만, 논문은 여전히 고수준이다. 진정한 평가는 구체적인 암호학적 구성을 필요로 하며, 이는 부재하다. 그것 없이는 이 제안은 준비된 솔루션이라기보다는 연구 방향에 더 가깝다.

6. 실행 가능한 통찰

연구자 및 프로토콜 설계자를 위해:

1. 조합적 암호학에 집중: 가장 급한 다음 단계는 안전하고 효율적인 증명 결합을 가능하게 하는 구체적인 해시 함수나 커밋먼트 방식을 명시하는 것이다. 머클 트리나 검증 가능 지연 함수(VDF) 구성과 같은 개념에서 영감을 얻으라.
2. 게임 이론을 엄격하게 모델링: 구축하기 전에 인센티브 모델을 형식화하라. 에이전트 기반 시뮬레이션(Biais et al., 2019가 비트코인에 적용한 것과 같은)을 사용하여 내시 균형을 테스트하라. "세금"은 피할 수 없어야 하며, 협력의 이점이 배반 전략을 엄격하게 지배해야 한다.
3. 먼저 틈새 시장 응용 분야를 목표로: 비트코인 대체를 목표로 하지 마라. 대신, 이 체계를 통제된 컨소시엄 스타일 블록체인이나 분산 타임스탬핑 또는 존재 증명 서비스와 같은 특정 사용 사례에서 파일럿 실행하라. 이러한 환경에서는 참가자 신원과 협력이 더 쉽게 보장된다.
4. 대안과 비교 평가: 실현된 협력형 PoW의 잠재적 에너지 소비량과 보안 보장을 비트코인뿐만 아니라 Avalanche나 Algorand의 Pure PoS와 같은 다른 PoS 이후 합의 메커니즘과 엄격하게 비교하라. 기준은 높다.

결론: Kuijper의 논문은 시스템적 문제를 올바르게 진단하는 가치 있는 사고 실험이다. 그러나 이는 청사진을 제시할 뿐, 구축 가능한 엔진은 아니다. 실제 작업—그리고 실패의 실제 위험—은 협력을 단지 가능하게 하는 것이 아니라 필수적이고 최적이 되도록 하는 데 필요한 암호학적 및 경제 공학에 있다. 이것이 차세대 합의 연구의 최전선이다.

7. 기술적 세부사항 및 수학적 형식화

본 논문은 협력형 PoW를 여러 사용자의 다중 입력 함수인 해를 찾는 검색 문제로 형식화할 것을 제안한다. 개념적 형식화는 다음과 같이 개요를 그릴 수 있다:

$T = \{tx_1, tx_2, ..., tx_n\}$를 사용자 $U_1, U_2, ..., U_n$으로부터의 거래 집합이라고 하자. 각 사용자 $U_i$는 암호학적 해시 함수 $H$와 글로벌 챌린지 $C$에 대해, 그들의 거래에 대해 다음이 성립하는 부분 증인 $w_i$를 찾는 작업을 수행한다:

$H(C, tx_i, w_i) < D_i$

여기서 $D_i$는 개인 난이도 목표이다. 핵심 혁신은 부분 해결책 집합 $\{w_1, ..., w_n\}$을 가져와 전체 집합 $T$에 대한 유효한 복합 증인 $W$를 출력하는 결합 함수 $\Phi$이다:

$W = \Phi(w_1, w_2, ..., w_n)$

이 복합 증인은 순서화된 집합 $T$에 대한 글로벌 PoW 조건을 만족해야 한다:

$H(C, \text{Sort}(T), W) < D_{global}$

보안은 $W$를 직접 찾는 것은 계산적으로 어렵지만, 유효한 부분 증인 $\{w_i\}$로부터 이를 구성하는 것은 효율적이라는 속성에 의존한다. 이는 임계 암호학이나 분산 키 생성의 개념을 반영한다.

8. 분석 프레임워크 및 개념적 예시

프레임워크: 협력형 채굴 게임

각각 하나의 거래를 가진 두 사용자, 앨리스와 밥을 가진 단순화된 모델을 고려하자.

• 전통적 PoW (비트코인 유사): 앨리스와 밥(또는 그들이 선택한 채굴자)은 $H(block) < D$를 해결하기 위해 경쟁한다. 승자는 두 거래를 포함하고, 수수료를 얻으며, 패자의 작업은 낭비된다.
• 협력형 PoW (제안됨): 프로토콜은 블록 해시가 $H(\, H(tx_A, w_A) \, \| \, H(tx_B, w_B) \, ) < D$로 계산되는 퍼즐을 정의한다. 앨리스는 그녀의 해시 출력이 예를 들어 선행 0을 5개 갖도록 하는 $w_A$를 찾는다. 밥은 $w_B$에 대해 동일한 작업을 수행한다. 그런 다음 그들은 이 해시들을 교환한다. 이 두 해시의 결합된 해시는 예를 들어 선행 0을 8개 가져야 한다. 결정적으로, $w_A$와 $w_B$를 독립적으로 찾는 것은 전체 블록에 대한 단일 논스를 찾는 것보다 쉽고, 그들의 작업은 구성 가능하다.

결과: 둘 다 작업을 기여한다. 두 거래 모두 포함된다. "보상"은 자신의 거래가 성공적으로 포함되는 것이며, 선불 "세금"(계산 노력)을 통해 지불된다. 단일 승자는 없다; 성공은 공유된다.

9. 적용 전망 및 미래 방향

잠재적 응용 분야:

• 그린 블록체인 이니셔티브: 환경 지속 가능성을 우선시하는 프로젝트의 경우, 협력형 PoW는 검증된 PoW의 보안을 유지하면서 설계상 탄소 발자국을 극적으로 줄이는 길을 제공한다.
• 분산 자율 조직(DAO): DAO 구성원들은 그들의 생태계를 관리하기 위해 협력적으로 블록을 생성할 수 있으며, 투표권을 순수 자본 지분(PoS)보다는 공유 목표를 향한 기여된 계산 작업과 연계시킬 수 있다.
• 컨소시엄 블록체인: 참여자가 알려져 있고 제한된(예: 공급망 파트너) 기업 환경에서, 협력형 PoW는 각 참여자의 영향력이 네트워크 운영을 위해 기여한 작업에 연결되는 공정한 허가형 합의 메커니즘을 제공할 수 있다.
• 하이브리드 합의 모델: 협력형 PoW는 하이브리드 시스템에서 시빌 공격에 강한 자원 기반 계층으로 작용할 수 있으며, 아마도 후속 BFT 스타일 합의 라운드를 위한 위원회 멤버 선출에 사용될 수 있다. 이는 Thunderella나 다른 슬리피 합의 모델에서 탐구된 아이디어와 유사하다.

미래 연구 방향:

1. 암호학적 구현: 가장 중요한 과제는 $\Phi$ 함수를 구체화하는 것이다. 준동형 해싱이나 집계 가능한 순차 작업 증명에 대한 연구가 중요하다.
2. 협력체를 위한 동적 난이도: 네트워크는 협력 기관의 수와 해싱 파워를 기반으로 $D_{global}$과 개별 $D_i$ 목표를 동적으로 어떻게 조정하는가? 이는 새로운 난이도 조정 알고리즘이 필요하다.
3. 상호운용성 및 브리지: 협력형 PoW 체인이 기존 PoW 또는 PoS 체인과 크로스체인 브리지를 통해 안전하게 통신할 수 있는 방법 탐구.
4. 형식적 보안 증명: 적응적 공격자에 대해 강력한 모델(예: 범용 구성 가능성 프레임워크) 하에서 그러한 체계의 보안을 증명.

10. 참고문헌

1. Nakamoto, S. (2008). Bitcoin: A Peer-to-Peer Electronic Cash System.
2. Demers, A., Greene, D., Hauser, C., Irish, W., Larson, J., Shenker, S., Sturgis, H., Swinehart, D., & Terry, D. (1987). Epidemic algorithms for replicated database maintenance. Proceedings of the sixth annual ACM Symposium on Principles of distributed computing.
3. Gervais, A., Karame, G. O., Wüst, K., Glykantzis, V., Ritzdorf, H., & Capkun, S. (2016). On the Security and Performance of Proof of Work Blockchains. Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security.
4. Back, A. (2002). Hashcash - A Denial of Service Counter-Measure.
5. Biais, B., Bisière, C., Bouvard, M., & Casamatta, C. (2019). The blockchain folk theorem. The Review of Financial Studies, 32(5), 1662-1715.
6. Bünz, B., Goldfeder, S., & Bonneau, J. (2018). Proofs-of-delay and randomness beacons in Ethereum. IEEE Security and Privacy on the blockchain (IEEE S&B).
7. Rocket, T., & Yin, M. (2020). Sleepy Consensus. IACR Cryptol. ePrint Arch..