Quantum-Proofing Bitcoin