#deterministic-verifier