Keeta 합의 알고리즘의 첫 공식 검증: 안전성은 증명됐지만, 영구 잠금 위험도 확인
Modeling and Verification of Keeta's Consensus [pdf]
Keeta는 고액 글로벌 결제를 위해 설계된 블록체인 네트워크로, 클라이언트 주도의 2단계 합의 알고리즘을 사용한다. 이 백서는 Quint로 작성된 최초의 공식 사양을 제시하고 TLC 모델 체커로 비잔틴 오류 모델에서 검증한다. 고정된 동일 가중치 대표자 집합에서 합의(안전성)가 유지됨을 보여주고, 이 보장이 임의의 대표자 수로 일반화될 수 있다고 주장한다. 또한 경쟁이 심한 계정이 영구적으로 잠길 수 있는 조건을 보여준다. 라이브 스테이크 기반 투표에서 합의가 유지되는지는 여전히 열린 문제로 남는다.
합의 알고리즘은 블록체인 시스템의 안전성과 신뢰성의 기반이 되며, 결함이 있으면 이중 지불이나 영구적으로 지연된 거래가 발생할 수 있다.