The Audit the Regulator Can Verify Without Trusting You | Synapse