“The Algorand blockchain is already quantum-secure with respect to its transaction history, preventing retroactive alteration of transactions.”