Re: PoS is far inferior to PoW - why are so many people advocating switching to PoS

You can't mathematically prove it, because the other stake-holders can roll back to any point of time of their choosing.

That's why I said that PoS 1 != PoS 2 != PoS 3. There is at least one PoS implementation where what you just said is not possible.

The NXT prohibition on deep re-orgs just makes such re-orgs a manual process if/when they they happen.

Can you explain exactly what you mean by deep manual re-orgs? There is no such thing in NXT. As far as I know the re-orgs are fully automatic, based on the rolling checkpoints 720 blocks deep maintained by each node's software as a distributed consensus.