pub type Pair<'p> = (Verifier<'p>, Challenge);
Represents (verifier, challenge) pairs.
(verifier, challenge)