An initial set of implementation of Prover, Signer and Verifier classes.