CheckProof verifies one proof by running the pvl on the provided proof information.

NewProofInfo creates a new ProofInfo.

NewPvlSource creates a new source and installs it into G.

SupportedVersion is which version of PVL is supported by this client.

ProofInfo contains all the data about a proof PVL needs to check it.