Just write over the top of the file with 0s. There have been a number of challenges people have set with standard hard drives and SSDs for an commercial company

Just write over the top of the file with 0s. There have been a number of challenges people have set with standard hard drives and SSDs for an commercial company to restore a file after it has been written over with 0s and not a single company will take that, its unrecoverable. I can understand why we might think some nation states might be able to do something theoretically better but its unlikely in practice with the pace of the technology and how immensely hard it actually is. You don't need to destroy the devices you just need to zero them once.