[논문 리뷰] Proof of Work Without All the Work

Diksha Gupta, Jared Saia외 1명|arXiv (Cornell University)|2017. 08. 03.

Internet Traffic Analysis and Secure E-voting인용 수 1

한 줄 요약

이 논문은 공격자 활동에 따라 작업을 동적으로 조정함으로써 정상 작동 중에는 최소한의 계산 비용으로 네트워크 보안을 유지하는 새로운 작업 증명(Proof-of-Work, PoW) 프로토콜을 제안한다. 이 프로토콜은 공격자의 노력에 비례하여 계산 비용이 선형적으로 증가하므로, 정상 조건에서는 낮은 오버헤드를 제공하면서도 공격 상황에서도 강력한 보안 보장을 유지한다.

ABSTRACT

Proof-of-work (PoW) is an algorithmic tool used to secure networks by imposing a computational cost on participating devices. Unfortunately, traditional PoW schemes require that correct devices perform computational work perpetually, even when the system is not under attack. We address this issue by designing a general PoW protocol that ensures two properties. First, the network stays secure. In particular, the fraction of identities in the system that are controlled by an attacker is always less than 1/2. Second, our protocol’s computational cost is commensurate with the cost of an attacker. In particular, the total computational cost of correct devices is a linear function of the attacker's computational cost plus the number of correct devices that have joined the system. Consequently, if the network is attacked, we ensure security, with a cost that grows linearly with the attacker’s cost; and, in the absence of an attack, our computational cost remains small. We prove similar guarantees for bandwidth cost. Our result is motivated by blockchain and cryptocurrency systems such as Bitcoin. Thus, our results hold in a dynamic, decentralized system where participants join and depart over time, and where the total computational power of the attacker is up to a constant fraction of the total computational power of correct devices. We demonstrate how to leverage our results to address important security problems in distributed computing including: Sybil attacks, Byzantine consensus, and Committee election.

연구 동기 및 목표

• 공격이 없을 때도 지속적으로 계산 작업을 요구하는 기존 PoW 기법의 비효율성을 해결하기 위해.
• 공격이 발생하지 않을 경우 정상 참가자에게 최소한의 비용을 부담시키면서도 네트워크 보안을 보장하는 PoW 프로토콜을 설계하기 위해.
• 정상 기기의 계산 비용이 공격자의 계산 능력에 비례하여 증가하고, 정상 기기의 수에 비례하지 않도록 하기 위해.
• 자원 효율성을 확보하기 위해, 대역폭 비용에 대해서도 동일한 효율성 보장을 적용하기 위해.
• 탈중앙화 네트워크에서 시빌 저항, 바쿠프라티안 합의, 위원회 선거와 같은 안전한 메커니즘의 실용적 구현을 가능하게 하기 위해.

제안 방법

• 공격자가 탐지될 경우에만 계산 작업을 활성화하는 동적 PoW 프로토콜 설계. 이는 적대적 행동에 기반한다.
• 공격자가 제어하는 신원 비율을 1/2 이하로 제한하는 메커니즘 도입으로 장기적 보안 확보.
• 정상 기기의 총 계산 비용이 공격자의 비용에 비례하고, 참여한 정상 기기 수에 비례하는 비용 모델 사용.
• 공격자의 총 계산 능력이 정상 기기 총 능력의 일정 비율 이하인 위협 모델을 정의하여 보안 보장을 형식화.
• 프로토콜의 효율성을 활용해 저오버헤드로 안전한 위원회 선거 및 바쿠프라티안 합의 프로토콜 지원.
• 공격자의 노력에 비례하여 계산 비용과 대역폭 비용이 모두 선형적으로 증가함을 증명. 이는 시스템 크기나 정상 참여 수에 비례하지 않는다.

실험 결과

연구 질문

• RQ1 공격이 발생하지 않을 경우 정상 노드가 수행하는 작업을 최소화할 수 있는 PoW 프로토콜을 설계할 수 있는가?
• RQ2 정상 노드의 오버헤드를 최소화하면서도 강력한 보안 보장(예: 공격자가 1/2 이하의 신원을 제어)을 유지할 수 있는 방법은 무엇인가?
• RQ3 공격자의 노력에 비례하여 정상 기기들이 보장하기 위해 지불해야 할 최소한의 계산 비용은 얼마인가?
• RQ4 동일한 효율 원칙을 대역폭 비용에도 적용할 수 있으며, 자원 사용이 비례하도록 보장할 수 있는가?
• RQ5 이 프로토콜은 실용적으로 블록체인과 같은 탈중앙화 시스템에서 시빌 저항 및 합의 보장을 위해 효과적으로 사용될 수 있는가?

주요 결과

• 제안된 PoW 프로토콜은 공격자가 제어하는 신원 비율이 항상 1/2 이하로 유지되어 강력한 보안을 확보한다.
• 정상 기기의 총 계산 비용은 공격자의 계산 비용에 비례하고, 참여한 정상 기기 수에 비례하는 선형 함수로 제한된다.
• 공격이 없을 경우 정상 기기의 계산 비용은 작고, 시스템 크기에 비례하지 않는다.
• 대역폭 비용에 대해서도 유사한 선형 스케일링을 달성하여 비례적 자원 사용을 보장한다.
• 이 프로토콜은 탈중앙화 시스템에서 동적으로 변화하는 환경에서 시빌 저항, 바쿠프라티안 합의, 위원회 선거와 같은 안전한 메커니즘의 효율적 구현을 가능하게 한다.
• 공격자의 계산 능력이 정상 기기 총 능력의 일정 비율 이하인 현실적인 위협 모델 하에서도 보안 보장이 유지된다.