Aleph: 비동기 비잔틴 환경에서 효율적인 원자 브로드캐스트

초록

본 논문은 비동기 네트워크와 3f+1 노드 모델을 전제로, 신뢰할 수 없는 환경에서도 트러스트리스 랜덤니스 비콘을 이용해 거래의 원자 브로드캐스트를 O(1) 라운드 지연과 최적의 통신 복잡도(O(N² log N) per round)로 구현한 Aleph 프로토콜을 제안한다. 기존 HoneyBadgerBFT의 로그‑N 지연을 개선하고, 신뢰할 수 있는 딜러 없이도 동작한다.

상세 분석

Aleph 프로토콜은 비동기 Byzantine Fault Tolerant(ABFT) 모델을 기반으로 설계되었으며, N = 3f + 1개의 노드 중 f개가 악의적일 때도 안전성을 보장한다. 핵심 아이디어는 모든 노드가 공유하는 DAG(Directed Acyclic Graph) 형태의 Communication History(DAG)를 유지하고, 각 라운드에서 새로운 트랜잭션을 DAG에 삽입한 뒤, 특정 combinatorial 조건을 만족하면 즉시 최종 순서에 확정한다. 이 과정에서 “k ≥ Ω(N)”개의 정직 노드가 해당 트랜잭션을 입력하면, 기대 라운드 수는 O(N/k) = O(1)으로 수렴한다는 점이 혁신적이다. 기존 HoneyBadgerBFT는 최악‑case에 로그‑N 라운드가 필요했지만, Aleph은 부하와 무관하게 상수 라운드 지연을 달성한다. 통신 복잡도는 라운드당 O(N² log N) 워드이며, 전체 라운드 R 동안의 총 복잡도는 O(T + R·N² log N) (T는 입력 트랜잭션 수)이다. 이는 트랜잭션이 지속적으로 유입되는 상황에서도 최적에 가깝다. 또 다른 중요한 기여는 신뢰할 수 없는 환경에서도 공동 난수(beacon)를 생성하는 프로토콜이다. 기존에는 초기 키 배포를 위해 트러스트리 딜러가 필요했지만, Aleph은 공개키 기반의 다중 서명과 비대칭 암호를 활용해 완전한 trustless 설정을 구현한다. 프로토콜은 네트워크 레이어와 로직을 명확히 분리해 구현 복잡성을 낮추고, “Responsive” 속성을 만족해 네트워크 처리량에 비례해 진행 속도가 조절된다. 이론적 증명은 비동기 라운드 모델을 사용해 라틴스(라운드)와 정합성, 검열 저항성을 모두 보장한다. 다만, O(1) 지연을 보장하려면 트랜잭션이 충분히 많은 정직 노드에 의해 입력되어야 하는 전제(k = Ω(N))가 존재한다는 점과, DAG 유지에 필요한 메모리·CPU 비용이 실험적 평가 없이 이론적 한계만 제시된 점은 향후 연구 과제로 남는다.