Cryptographic proof-of-work systems must use strong algorithms to ensure trust. How could Bitcoin be improved to not use resources "unnecessarily"?