[논문 리뷰] IBFT 2.0: A Safe and Live Variation of the IBFT Blockchain Consensus Protocol for Eventually Synchronous Networks

Roberto Saltini, David Hyland-Wood|arXiv (Cornell University)|2019. 09. 23.

Distributed systems and fault tolerance참고 문헌 10인용 수 20

한 줄 요약

IBFT 2.0은 즉각적인 최종성, 안전성 및 생존성을 보장하는 비잔틴 결함 내성(BFT) 프로토콜로, 일시적인 동기화 네트워크에서도 안정적으로 작동하며, 동적 검증자 세트를 지원하는 콈터네이션 블록체인을 위한 Proof-of-Authority(권한 기반) 합의 프로토콜이다. 이는 메시지 인증 향상, 블록 해시에서 라운드 번호에 대한 의존성 제거, 서명 집합 최적화를 통해 기존 IBFT 프로토콜의 안전성 및 생존성 문제를 해결함으로써, 악성 환경 조건 하에서도 견고한 최종성을 달성한다.

ABSTRACT

In this work, we present IBFT 2.0 (Istanbul BFT 2.0), which is a Proof-of-Authority (PoA) Byzantine-fault-tolerant (BFT) blockchain consensus protocols that (i) ensures immediate finality, (ii) is robust in an eventually synchronous network model and (iii) features a dynamic validator set. IBFT 2.0, as the name suggests, builds upon the IBFT blockchain consensus protocol retaining all of the original features while addressing the safety and liveness limitations described in one of our previous works. In this paper, we present a high-level description of the IBFT 2.0 protocol and related robustness proof. Formal specification of the protocol and related formal proofs will be subject of a separate body of work. We also envision a separate work that will provide detailed implementation specifications for IBFT 2.0.

연구 동기 및 목표

• 일시적인 동기화 네트워크 조건 하에서 기존 IBFT 프로토콜의 안전성 및 생존성 취약점을 해결하기 위해.
• Proof-of-Authority(PoA) 블록체인 환경에서 즉각적인 최종성과 동적 검증자 세트를 유지하기 위해.
• 비잔틴 결함에 강건한 합의 메커니즘을 체계화하여 메시지 오버헤드를 최소화하고 효율성을 향상시키기 위해.
• 쿼럼 기반 인증서와 집합 서명을 사용하여 블록을 안전하고 효율적으로 최종화하기 위해.
• 메시지에서 라운드 번호와 블록 해시를 분리하여 의미론적 명확성과 최종화 정확성을 향상시키기 위해.

제안 방법

• 프로토콜은 최소 2f+1명의 검증자가 블록에 동의해야 최종화되도록 하는 쿼럼 기반 메커니즘을 사용하여, f명의 비잔틴 검증자 존재하에서도 안전성을 확보한다.
• 중요한 메타데이터만 포함하는 Prepared-Certificate를 도입하여, 라운드 번호, 블록 해시, 제안 서명, Prepare 메시지 서명 등 필수 정보만 포함함으로써 중복을 줄인다.
• 암호학적 서명과 메타데이터로부터 메시지 본문을 재구성함으로써 Prepared-Certificate에서 반복적인 메시지 본문을 제거하여 효율성을 향상시킨다.
• 다중 Prepare 메시지 서명을 하나의 서명으로 압축하는 집합 서명 기반 기법을 적용하여, 증명서 크기를 줄인다.
• 블록 해시를 이더리움 블록의 정보만 기반으로 계산하여 라운드 번호를 포함하지 않음으로써, 최종화의 의미론적 목표인 블록 최종화를 정확히 반영한다.
• 최종화 증명은 검증자들로부터의 Quorum(nh) 커밋 실링을 사용하여 구성되며, 모든 실링이 동일한 라운드 번호를 대상으로 할 때에만 일관성이 보장된다.

실험 결과

연구 질문

• RQ1 권한 기반 BFT 합의 프로토콜이 일시적인 동기화 네트워크에서 즉각적인 최종성과 함께 안전성과 생존성을 동시에 확보할 수 있는가?
• RQ2 중복을 줄이고 효율성을 향상시키기 위해 메시지 인증을 어떻게 최적화할 수 있으며, 이는 보안을 훼손하지 않는가?
• RQ3 블록 해시를 라운드 번호에서 분리함으로써 최종화의 정확성과 강건성에 어떤 영향을 미치는가?
• RQ4 집합 서명이 Prepared-Certificate 크기를 줄이는 데 효과적으로 활용될 수 있으며, 검증 가능성과 무결성을 유지할 수 있는가?
• RQ5 BFT 프로토콜에서 안전성 및 생존성 보장을 해치지 않으면서도 동적 검증자 세트를 어떻게 지원할 수 있는가?

주요 결과

• 프로토콜은 최소 2f+1개의 커밋 실링을 요구함으로써 즉각적인 최종성을 달성하여, 재조직화가 불가능함을 보장한다.
• 필수 메타데이터만 포함하는 Prepared-Certificate의 사용은 메시지 과잉을 줄이고 확장성을 향상시키며, 보안을 훼손하지 않는다.
• 라운드 번호를 블록 해시 계산에서 제거함으로써, 최종화의 의미론적 목표인 블록 최종화를 정확히 반영하여 정확성을 향상시킨다.
• 집합 서명을 통해 Quorum(nh)−1개의 개별 서명을 하나의 집합 서명으로 대체함으로써 Prepared-Certificate 크기를 크게 줄여 대역폭 효율성을 높였다.
• 진정한 검증자들이 항상 쿼럼 교차를 통해 합의에 도달할 수 있도록 보장함으로써, 일시적인 동기화 네트워크에서도 안전성과 생존성을 유지한다.
• 형식적 분석을 통해 진정한 검증자들이 충돌하는 Prepared-Certificate를 생성할 수 없음을 확인하였으며, 제시된 가정 하에 안전성이 유지됨을 입증하였다.