Quantum-proof blockchain: why math, not machines, holds the key