If that happens, we fork Bitcoin to another crypto primitive/algorithm and it will be a mess for a while, but it will work out.