Replies - Activity - Argimiro - Algorand

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.