Questions about the consensus mechanism

Thanks for the reply! I had not seen any formal proof of the protocol itself, looks very interesting. Will be looking further into that as well.