테트리스: 지식 기반 비동기 BFT 합의 프로토콜

초록

테트리스는 비동기 비잔틴 결함 허용 모델에서 지식 추론과 전정보 프로토콜(FIP)을 결합한 새로운 합의 알고리즘이다. 전체 상태를 해시 체인과 푸시/풀 방식으로 압축해 전송량을 최소화하면서, 1/3 이하의 악성 노드가 존재할 경우 초당 수초 내에 최종성을 달성한다. 또한 거래 순서의 공정성을 보장한다는 목표를 제시한다.

상세 분석

본 논문은 ‘지식(knowledge)’이라는 형식적 개념을 시스템 설계의 핵심으로 삼아, 각 노드가 로컬 히스토리를 통해 얻는 정보를 ‘그룹 지식’으로 전이시키는 과정을 상세히 서술한다. 이를 위해 전정보 프로토콜(FIP)을 채택했으며, 전통적인 FIP가 초래하는 폭발적 메시지 크기를 해시 체인 기반 압축과 선택적 푸시/풀 메커니즘으로 완화한다는 점이 눈에 띈다. 논문은 비동기 모델을 전제로 하며, 메시지는 결국 전달된다는 ‘eventual delivery’ 가정 하에 안전성을 증명한다. 그러나 실제 구현 세부가 부족하고, ‘최소 대역폭 요구량’에 대한 수학적 증명은 생략돼 있다. 또한 1/3 이하 악성 노드 가정은 전통적인 비잔틴 합의와 일치하지만, 퍼미션리스 환경에서 노드 선택·교체 메커니즘을 별도 프로토콜에 의존한다는 점에서 전체 시스템의 복합성을 간과한다. 공정성 보장을 위한 구체적 메커니즘(예: 거래 순서 랜덤화, 선점 방지)도 모호하게 기술돼 있어, 실제 금융 시장 적용 시 검증이 필요하다. 전반적으로 지식 기반 접근은 이론적으로 흥미하지만, 알고리즘 흐름도·상태 전이표·성능 실험이 부족해 실용성 평가가 어렵다.