미니밋: 더 빠른 블록을 위한 초저지연 합의 프로토콜

초록

Minimmit은 5f+1 ≤ n 조건 하에서 뷰 진행에 2f+1 표결, 최종 합의에 n‑f 표결이라는 이중 쿼럼을 도입해 뷰 지연을 23 %·거래 지연을 10.7 % 감소시킨 새로운 BFT SMR 프로토콜이다.

상세 분석

Minimmit은 기존 2라운드 최종성을 제공하는 BFT 프로토콜과 달리 “뷰 진행(quorum = 2f+1)”과 “블록 최종화(quorum = n‑f)”를 서로 다른 임계값으로 분리한다. 5f+1 ≤ n이라는 가정 하에, 2f+1표결은 언제든지 올바른 리더가 제안한 블록에 대해 최소한의 투표만으로 다음 뷰로 전환할 수 있게 해준다. 이는 네트워크가 지리적으로 분산돼 지연 차이가 큰 환경에서 큰 쿼럼(n‑f)을 기다리는 비용을 크게 절감한다. 논문은 이 설계가 안전성(safety)과 활력(liveness)을 해치지 않음을 정형 증명으로 보여준다. 특히, L‑notarisation(= n‑f표결)과 M‑notarisation(= 2f+1표결) 사이의 교차성을 이용해, L‑notarisation이 존재하면 어떤 다른 블록도 2f+1표결을 받을 수 없으므로 뷰 전환이 일관성을 유지한다. 또한, “낙관적 응답성(optimistic responsiveness)”을 정의해 동기화 구간(GST 이후)에서는 올바른 리더가 단일 라운드(제안 + 투표)만으로 블록을 최종화할 수 있음을 보장한다. 실험에서는 50개의 프로세서를 10개의 가상 지역에 고르게 배치하고, 실제 AWS 인터‑리전 지연을 모델링한 시뮬레이터로 비교했다. Simplex(3라운드)과 Kudzu(2라운드, n‑2f표결) 대비 Minimmit은 뷰 지연을 각각 25 %·23 % 감소시켰으며, 블록 지연도 26 % 감소했다. 거래 지연은 뷰 전환에 필요한 대기 시간이 짧아져 10.7 % 개선되었다. 프로토콜은 슬로우 패스(추가 라운드)를 완전히 포기함으로써 복구 시에 필요한 추가 라운드가 없으며, 이는 크래시·비잔틴 장애에 대한 여유를 약간 감소시킨다. 그러나 5f+1 ≤ n이라는 강한 가정 하에 충분히 안전하고, aggregate signature와 erasure coding을 활용한 최적화(E‑Minimmit)도 제시해 통신량과 복구 비용을 추가로 낮춘다. 비교 분석에서는 Alpenglow와 Hydrangea가 크래시 내성을 더 높이지만, Minimmit은 단순하고 빠른 뷰 전환을 통해 실시간 트랜잭션 처리에 유리함을 강조한다. 전체적으로 Minimmit은 “뷰 진행과 최종화에 서로 다른 쿼럼을 적용한다”는 핵심 아이디어를 통해 지연을 크게 줄이면서도 기존 2라운드 BFT 프로토콜과 동등한 안전·활력 보장을 제공한다는 점에서 의미가 크다.