Quantum-Safe Smart Contracts