> While proof of stake does have a lot of advantages over PoW, it cannot handle more than 1/3 of the voiting power acting incorrectly.
The 1/3 bound is without any synchronicity assumptions; with strong synchronicity assumptions you can get to 1/2. This seems strictly better than PoW (no liveness at all in an asynchronous network, and 1/2 with synchronicity assumptions).