Verifier now recieves a Presentation.