GNU Taler doesn't have those issues. It keeps payers anonymous, while payees not, allowing them to be taxed. Being a payment system, any currency can be attached to it, including USD and Bitcoin.