Although the circuits are currently compiled on a trusted server, there's potential for a SNARK to validate a verification key against the original circuit source code, decentralizing the production of verified verifiers.