Rast Consensus implemented in Rust