What are the relative advantages and disadvantages of Ouroborus (a Proof of Stake system) vs Tendermint (a BFT system)?
Some high level advantages of Tendermint I've seen so far (though I might be totally incorrect) are:
- instant finality
- faster settlement
- lower fees (?)
And some advantages for Ouroborus:
- formally verified
- built in yield mechanism for validators (through staking)
I'm obviously a total novice here and would love to learn more about the cryptographic, economic, computational, etc properties of both systems and how they compare. I'm especially curious about the relative downside/risks of each system.