If you are accepting that the network can hard fork to change the hash algorithm, then why not accept that they can do a soft fork to blacklist UTXOs or any one of who-knows-how many possible defenses? Changing the hashing algorithm is a nuclear option and probably not necessary in the astronomically unlikely event that someone managed to get 51% of hash rate for any amount of time.
edit: Blacklisting UTXOs is entirely possible as I mentioned, and as I said, it should be achievable by soft fork. This would be the proof of work equivalent of slashing. I have a hard time believing Vitalik doesn’t know this. Is he being dishonest? I don’t know.
edit: Blacklisting UTXOs is entirely possible as I mentioned, and as I said, it should be achievable by soft fork. This would be the proof of work equivalent of slashing. I have a hard time believing Vitalik doesn’t know this. Is he being dishonest? I don’t know.