Quantum money

A quantum money scheme issues quantum states as banknotes that a holder of the verification key can check, while no efficient adversary can turn one valid banknote into two states that both verify.

TODO: syntax and security definition.