> If you spend a few minutes thinking about this problem, it should become obvious that we can’t build OTPs using (pure) software: at least not the kind of software that can run on any general-purpose computer.

> The problem here stems from the “can only run once” requirement.

Couldn't this be done by a blockchain?

I mean, make a smart contract work like a GKR Token