[논문 리뷰] Analysis of Hashrate-Based Double Spending

Meni Rosenfeld|arXiv (Cornell University)|2014. 02. 09.

Blockchain Technology Applications and Security인용 수 235

한 줄 요약

이 논문은 블록체인의 이중지불 공격에 대한 엄밀한 확률적 분석을 제공하며, 공격자 해시레이트와 확인 수를 기반으로 성공 확률을 모델링한다. 공격의 경제적 타당성이 발생하기 이전의 최대 안전 거래 가치를 위한 공식을 유도하여, 보안이 확인 수에 대해 로그적으로, 공격자 해시레이트에 대해 지수적으로 의존함을 보여주며, 고정된 확인 수나 시간 기반 보안에 대한 오해를 해소한다.

ABSTRACT

Bitcoin is the world's first decentralized digital currency. Its main technical innovation is the use of a blockchain and hash-based proof of work to synchronize transactions and prevent double-spending the currency. While the qualitative nature of this system is well understood, there is widespread confusion about its quantitative aspects and how they relate to attack vectors and their countermeasures. In this paper we take a look at the stochastic processes underlying typical attacks and their resulting probabilities of success.

연구 동기 및 목표

• 비트코인의 작업 증명 메커니즘이 이중지불 공격에 대해 가지는 정량적 보안 특성을 명확히 하는 것.
• 공격자 해시레이트와 확인 수를 기반으로 성공적인 이중지불 확률을 모델링하는 것.
• 이중지불 공격이 경제적으로 타당해지는 경제적 임계점을 규명하여 상인의 위험 평가에 도움을 주는 것.
• 고정된 확인 수나 시간 간격이 제공하는 보안에 대한 일반적인 오해를 제거하는 것.

제안 방법

• 공격자가 정직한 네트워크보다 더 긴 체인을 구축하려는 시도를 하는 갬블러의 궤멸 문제로 이중지불 공격을 모델링한다.
• 무작위 보행 프레임워크를 사용하여, n개의 확인을 거친 체인을 공격자가 따라잡을 확률을 계산한다.
• 공격자 해시레이트 q와 확인 수 n에 따라 성공 확률을 유도하며, q < 0.5일 경우 공식 P = (q/(1-q))^(n+1)을 사용한다.
• 공격자의 비용과 기대 수익을 기반으로 공격에 안전한 최대 거래 가치 v를 결정하는 경제 모델을 도입한다.
• 다양한 해시레이트 수준과 확인 수에 따라 안전 거래 가치를 계산하고, 표 2를 생성한다.
• 채굴 비용과 공격자의 동기를 고려하여, 비용 기반 모델이 로그가 아닌 선형(선형)으로 확인 수가 필요하게 되며, 이는 보안에 취약함을 보여준다.

실험 결과

연구 질문

• RQ1 주어진 해시레이트를 가진 공격자가 n개의 확인 후에 거래를 성공적으로 이중지불할 수 있는 수학적 확률은 무엇인가?
• RQ2 확인 수가 이중지불 공격의 경제적 타당성에 어떻게 영향을 미치는가?
• RQ3 주어진 해시레이트를 가진 공격자에 대해 안전하게 유지되는 최대 거래 가치는 무엇인가?
• RQ4 왜 시간 경과보다 확인 수가 보안에 더 중요한가?
• RQ5 이중지불 공격이 공격자에게 경제적으로 합리적인 조건는 무엇인가?

주요 결과

• 성공적인 이중지불 확률은 확인 수가 많아질수록 공격자 해시레이트가 낮을수록 지수적으로 감소한다.
• 공격자 해시레이트가 10%일 경우, 10개의 확인 후 최대 4,361 BTC의 거래가 안전하다.
• 해시레이트가 20%일 경우, 10개의 확인 후 최대 안전 가치는 31,000 BTC로 감소하여 보안이 급격히 약화됨을 보여준다.
• 공격자 해시레이트가 50%를 초과하면, 확인 수에 관계없이 성공 확률이 1에 수렴하므로 시스템은 보안이 없다.
• 모델은 더 오랜 시간 기다리는 것이 보안을 향상시키지 못하며, 오직 확인 수만이 중요하다고 보여준다.
• 논문은 6개의 확인이 절대적인 보안을 보장하지 않으며, 보안이 거래 가치에 대해 선형이 아니라 로그적으로 스케일링됨을 결론 내린다.