Added logger to verifiers and provers