헤데라 해시그래프(Hedera Hashgraph)의 비동기(Asynchronous)BFT란 어떤 합의 알고리즘인가요?

헤데라 해시그래프 위원회(HHC: Hedera Hashgraph Council)에서 거버넌스를 맡고 있는 R3 코다는 참여 기관들이 스마트계약으로 직접 거래를 할 수 있도록 하는 혁신적인 블록체인 플랫폼이라고 하는데요.

비즈니스 거래에서 발생하는 비싼 거래 비용을 제거했다고 합니다. 처음에는 금융 산업 영역을 위해서 개발되었지만 최근에는 헬스케어, 공급망, 정부, 무역 금융 등에도 적용되고 있어 주목받는 헤데라 해시그래프가 사용하는 합의 알고리즘인 비동기(Asynchronous)BFT합의 알고리즘이 무엇인지 알고 싶습니다.