Zero-knowledge protocols can allow for private money transactions while still making it possible for governments to collect taxes