Verifying the Verifier | Synapse