tutus-consensus/formal-models/.github/dbft_antiMEV.png