Asynchronously safe BFT consensus, implementation in Rust - View it on GitHub