High-level implementation of Signer-Verifier interactions.