Cryptography, Cryptocurency, Blockchain, Mining.
at the same time a non-rational user has greater cost and does not gain any advantage). It means that there may be a strategy which does not require a prover to expend space over time, but if the parameters are set correctly, this strategy will be significantly more expensive. For this reason,