renamed t1 to verifier for clarity