add proof for consensus algorithm