STARK proofs could prevent Bitcoin slowing to a crawl after it's upgraded to post quantum. But increasing the block size ...