Hell, people even have a hard time correctly implementing the handful of provably correct consensus algorithms that already exist. Just look through the issues section of every raft implementation.