Agreed with everything except your 1, 2, 3 about whether it’s more accessible to mining
Clearly it’s easier to go on an exchange and purchase AE than to setup any kind of software. The friction that installing software (compared to just going on a web page) is not negligible.
Also, with a Cosmos-like BDSM PoS, you don’t need to have a redundant setup with no downtime. You can simply “delegate” your tokens to a certain validator.
Re tps: pBFT makes it more straightforward to achieve higher tps with some parameter tweaking (max number of validators, max timeouts, etc.)
yes, more time will be lost in the network overhead of getting everyone to agree, but there’d be no uncles/orphans
another huge advantage is how much easier it is to do a light client; if you have the current validator set, you only need to check if some piece of the state is included in a merkle tree that’s signed by that validator set; if you don’t have it, you need to check block signatures recursively back to the beginning of the chain, but only for blocks that change the validator set
again, in cosmos, the gaia cli is able to do that for mere milliseconds for testnets with millions of blocks
finally, the biggest advantage of pbft to me is the fast-finality (some would say “instant finality”); this property makes interoperability much easier because blocks cannot be reverted
one might argue that finality could be a bad thing - cause it prioritizes safety over availablility; e.g. if there’s a network partition, the chain will stall; depending on what you’re trying to aciheve, this might not be a bad thing; but even if you prioritize availability - there is a solution - polkadot has a hybrid consensus mechanism called GRANDPA, which mixes aurand and a tendermint-style pbft (https://medium.com/polkadot-network/grandpa-block-finality-in-polkadot-an-introduction-part-1-d08a24a021b5)
That way, new blocks are always produced, and getting finalized at some point via the pBFT working in the background. It’s somewhat similar to what aeternity is already doing with bitcoin-ng.