I agree with most of what you've said, but some cryptocurrencies use proof-of-work systems (like RandomX) that truly are ASIC/FPGA/GPU-proof by design.