GNU Taler: An anonymous, taxable payment system using modern cryptography