Proof of stake is still bound to CAP theorem though. Even CASPER can not guarantee full consistency, availability, and partition tolerance.

There is also FLP impossibility, which reduces to the halting problem in an asynchronous distributed system setting.

By this logic, Bitcoin can never “scale”.