[논문 리뷰] Free2Shard: Adaptive-adversary-resistant sharding via Dynamic Self Allocation

Ranvir Rana, Sreeram Kannan외 2명|arXiv (Cornell University)|2020. 05. 19.

Blockchain Technology Applications and Security참고 문헌 38인용 수 5

한 줄 요약

Free2Shard는 블록체인의 대규모 환경에서 near-linear 처리량 스케일링을 달성하면서도, 노드를 동적으로 손상시킬 수 있는 완전히 적응형 공격자에 대비하여도 안정성을 유지하는 혁신적인 스크래칭 아키텍처를 제안한다. 이는 정직한 노드가 실시간 공격 활동을 기반으로 자체적으로 샤드에 할당되도록 함으로써 가능해진다. 핵심 기여는 게임 이론 원리에 기반한 동적 자기할당(Dynamic Self-Allocation, DSA) 정책으로, 암호학적 증명이나 중앙집중적 조정 없이도 적응형 공격 상황에서도 각 샤드가 정직한 노드 과반수를 유지함을 보장한다.

ABSTRACT

Propelled by the growth of large-scale blockchain deployments, much recent progress has been made in designing sharding protocols that achieve throughput scaling linearly in the number of nodes. However, existing protocols are not robust to an adversary adaptively corrupting a fixed fraction of nodes. In this paper, we propose Free2Shard -- a new architecture that achieves near-linear scaling while being secure against a fully adaptive adversary. The focal point of this architecture is a dynamic self-allocation algorithm that lets users allocate themselves to shards in response to adversarial action, without requiring a central or cryptographic proof. This architecture has several attractive features unusual for sharding protocols, including: (a) the ability to handle the regime of large number of shards (relative to the number of nodes); (b) heterogeneous shard demands; (c) requiring only a small minority to follow the self-allocation; (d) asynchronous shard rotation; (e) operation in a purely identity-free proof-of-work setting. The key technical contribution is a deep mathematical connection to the classical work of Blackwell in dynamic game theory.

연구 동기 및 목표

• 허가 없는 블록체인 환경에서 노드를 동적으로 손상시킬 수 있는 적응형 공격자에 의해 실패하는 기존 스크래칭 프로토콜의 핵심적 한계를 해결하기 위해.
• 최대 50%의 노드가 악성일 수 있고 실시간으로 행동을 적응시킬 수 있는 상황에서도 높은 처리량과 안전성을 유지할 수 있는 스크래칭 아키텍처를 설계하기 위해.
• 중앙 기관이나 암호학적 증명 없이도 정직한 노드가 악성 행동에 대응해 샤드에 자율적으로 할당될 수 있도록 하기 위해.
• 이상적인 환경에서의 구현에 대한 강건성 확보를 위해 비동기 샤드 전환, 이질적인 샤드 워크로드, 소수의 정직한 노드만 프로토콜을 따르는 부분적 배포 환경을 고려하기 위해.
• 보증된 보안과 확장성 유지 조건에서 허가 없는 작업증명(PoW) 및 지분증명(PoS) 환경에서도 안전하게 작동할 수 있도록 프로토콜을 확장하기 위해.

제안 방법

• 정직한 노드가 관측한 악성 노드 집중도를 기반으로 샤드에 재할당하는 동적 자기할당(Dynamic Self-Allocation, DSA) 정책을 도입하며, 동적 게임 이론의 Blackwell 접근 가능성 원리에서 유도된 계산적으로 단순한 전략을 사용한다.
• 정직한 노드와 적응형 공격자 간의 전략적 상호작용을 모델링하기 위해 Stackelberg 게임 프레임워크를 활용하여, 정직한 노드가 항상 각 샤드에서 과반수를 유지할 수 있음을 보장한다.
• 시간 평균 분석을 통해 비동기적 또는 희박한 전환 주기(예: 매 Δ 라운드마다) 상황에서도 프로토콜이 보안성과 처리량 보장을 유지함을 보여준다.
• 세 가지 핵심 기반 기능을 활용한다: 전역적으로 샤드 블록 해시의 순서를 보장하는 비잔틴 결함 내성(SMR) 엔진, 데이터 접근성을 보장하는 데이터 가용성 엔진, 그리고 효율적인 부팅 및 전환을 위한 상호 검증 기반 상태 커밋 엔진.
• SMR와 샤드 마이닝 과정 간의 해시-소트리션 메커니즘을 도입하여 허가 없는 환경에서 브리핑 공격을 방지함으로써 프로토콜을 PoW 환경에 적응시킨다.
• 전역 순서화를 통해 상태 커밋을 활용한 상호 샤드 거래를 지원하며, Atomix와 같은 기존 프로토콜과의 통합을 가능하게 하면서도, 전역 순서화로 인해 발생하는 동기화 및 재실행 공격 등의 알려진 취약점을 방지한다.

실험 결과

연구 질문

• RQ1 완전히 적응형 공격자(노드를 동적으로 손상시킬 수 있음)가 존재하는 상황에서도 near-linear 처리량 스케일링을 유지하면서 보안성을 확보할 수 있는가?
• RQ2 중앙 조정 기관이나 암호학적 증명 없이도 정직한 노드가 비중앙집중적이고 비암호학적인 방식으로 악성 노드 집중에 대응해 샤드에 자율적으로 할당될 수 있는가?
• RQ3 전체 시스템을 안정화하고 모든 샤드에서 라이브니스를 확보하기 위해 필요한 최소한의 정직한 노드 비율은 얼마인가?
• RQ4 샤드 전환이 비동기적이거나 희박한 경우에도 보안성과 효율성이 유지될 수 있는가?
• RQ5 보증된 확장성과 보안성을 유지하면서도, 허가 없는 작업증명(PoW) 및 지분증명(PoS) 환경에서도 안전하게 작동할 수 있도록 프로토콜을 확장할 수 있는가?

주요 결과

• Free2Shard는 최대 50%의 노드가 악성일 수 있는 완전히 적응형 공격자 상황에서도 노드 수에 비례해 near-linear 처리량 스케일링을 달성한다.
• 동적 자기할당(Dynamic Self-Allocation, DSA) 정책은 모든 샤드에서 정직한 노드 비율이 0.5를 초과함을 보장하여 안전성과 라이브니스를 유지한다.
• 단지 소수의 정직한 노드(예: 10%)만 DSA 정책을 따를 경우에도 프로토콜은 보안성과 안정성을 유지하므로 부분적 배포에 대한 강건성을 확보한다.
• 비동기 샤드 전환(예: 매 Δ 라운드마다 또는 랜덤 간격으로) 상황에서도 보안성이 손상되지 않으며, 샤드당 정직한 노드 비율의 시간 평균이 여전히 0.5를 초과한다.
• 해시-소트리션 메커니즘을 활용해 지분증명(PoS) 및 작업증명(PoW) 블록체인 모두와 호환되며, PoW 환경에서의 브리핑 공격을 방지한다.
• 전역 순서화와 상태 커밋을 통해 상호 샤드 거래가 안전하고 효율적으로 처리되며, 동기화 및 재실행 공격 등의 알려진 취약점을 피한다.