Quantum-Safe Bitcoin Without a Soft Fork: Levy's Method