[논문 리뷰] Theoretical Bitcoin Attacks with less than Half of the Computational Power (draft)

Lear Bahack|arXiv (Cornell University)|2013. 12. 25.

Blockchain Technology Applications and Security참고 문헌 4인용 수 8

한 줄 요약

이 논문은 비트코인이 널리 받아들여진 바와 같이 네트워크의 계산 능력의 50% 이하를 제어하는 공격자에 의해 안전하다는 믿음을 도전한다. 이는 계산 능력의 50% 미만을 가진 공격자도 블록 버림 공격과 곤란도 상승 공격이라는 두 가지 이론적 결함을 악용해 블록체인을 교란시킬 수 있음을 밝혀내며, 비트코인 설계의 기본 보안 가정을 훼손한다.

ABSTRACT

A widespread security claim of the Bitcoin system, presented in the original Bitcoin white-paper, states that the security of the system is guaranteed as long as there is no attacker in possession of half or more of the total computational power used to maintain the system. This claim, however, is proved based on theoretically flawed assumptions. In the paper we analyze two kinds of attacks based on two theoretical flaws: the Block Discarding Attack and the Difficulty Raising Attack. We argue that the current theoretical limit of attacker's fraction of total computational power essential for the security of the system is in a sense not

연구 동기 및 목표

• 비트코인이 한 개체가 네트워크의 계산 능력의 50% 이상을 제어하지 않는 한 안전하다는 일반적인 가정을 도전하기 위해.
• 50% 미만의 계산 능력으로도 공격이 가능한 이전에 간과된 두 가지 이론적 결함을 식별하고 분석하기 위해.
• 현재의 이론적 공격 성공 임계값이 공격자가 전체 파wr의 50% 미만일 경우에도 시스템 보안을 보장하지 못함을 보여주기 위해.
• 블록 검증 및 곤란도 조정 메커니즘의 설계 결함을 악용하는 공격 방식을 공식적으로 분석하기 위해.

제안 방법

• 블록 검증 및 곤란도 조정 메커니즘을 분석하여 이론적 약점을 식별하기 위해.
• 블록 버림 공격를 모델링하여, 공격자가 유효한 블록을 기각시켜 체인 재구성 기회를 창출함으로써 체인 선택을 조작하는 방식을 분석하기 위해.
• 곤란도 상승 공격를 공식화하여, 공격자가 곤란도 목표를 인위적으로 상향시켜 정상 채굴 진행 속도를 늦추는 방식을 분석하기 위해.
• 확률론적 및 게임 이론적 추론을 사용하여, 50% 이하의 계산 능력 하에서 이러한 공격의 실현 가능성과 성공 확률을 평가하기 위해.
• 원래 비트코인 화이트페이퍼에서 내포된 가정들과 이론적 공격 모델을 비교하여 모순점을 드러내기 위해.
• 실제 네트워크 조건 하에서도 공격자의 계산 능력 비율이 50% 이하일 경우에도 두 공격이 성공할 수 있음을 입증하기 위해.

실험 결과

연구 질문

• RQ1 50% 이하의 전체 계산 능력만을 가진 공격자가 프로토콜의 이론적 결함을 악용하여 비트코인 블록체인을 성공적으로 교란시킬 수 있는가?
• RQ2 블록 검증 및 곤란도 조정 메커니즘의 특정 결함 중에서 50% 이하의 임계값 이하에서 공격을 가능하게 하는 것은 무엇인가?
• RQ3 블록 버림 공격와 곤란도 상승 공격는 프로토콜의 설계를 어떻게 악용하여 합의 보안을 뿌리 뽑는가?
• RQ4 원래 비트코인 화이트페이퍼의 가정들이 이러한 50% 이하의 공격를 충분히 반영하지 못하는 정도는 어느 정도인가?
• RQ5 식별된 이론적 결함를 고려할 때, 성공적인 공격를 위해 실제로 필요한 계산 능력의 최소 비율은 얼마인가?

주요 결과

• 블록 버림 공격는 공격자가 유효한 블록을 기각시켜 체인 선택을 조작함으로써, 계산 능력의 50% 미만일 경우에도 이중 지출 공격를 성공시킬 수 있도록 한다.
• 곤한도 상승 공격는 공격자가 곤란도 목표를 인위적으로 상향시켜 정상 채굴 진행 속도를 늦추고, 체인 재구성의 성공 가능성을 높일 수 있도록 한다.
• 두 공격 모두 비트코인 프로토콜 설계의 이론적 결함를 악용하며, 특히 블록 검증 및 곤란도 조정 방식에서 발생한다.
• 분석 결과, 이전에 가정된 것처럼 50% 임계값만으로는 비트코인의 보안을 보장할 수 없으며, 이는 이전에 인식되지 않은 공격 벡터가 존재하기 때문이다.
• 이 논문은 이러한 특정 공격 모델을 고려할 경우, 비트코인의 이론적 보안 한계가 일반적으로 언급되는 50% 임계값 이하임을 입증한다.
• 결과적으로, 공격자가 계산 능력의 소수를 점유하고 있을 경우에도 공격가능성이 있음을 시사하며, 현재 비트코인 보안 모델은 본질적으로 결함이 있을 수 있음을 암시한다.