Monad BFT