Copyright IBM Corp.

NewIssue instantiates an IssueAction given the passed arguments.

NewWellFormednessProver returns a WellFormednessProver for the passed parameters.

NewWellFormednessVerifier returns a WellFormednessVerifier corresponding to the passed parameters.

IssueAction specifies an issue of one or more tokens.

Proof poves that an IssueAction is valid.

Prover produces a proof of validity of an IssueAction.

Verifier checks if Proof is valid.

WellFormedness shows that issued tokens contains Pedersen commitments to (type, value) WellFormedness also shows that all the issued tokens contain the same type.

WellFormednessProver contains information that allows an Issuer to prove that issued tokens are well formed.

WellFormednessRandomness is the randomness used to generate the well-formedness proof.

WellFormednessVerifier checks the validity of WellFormedness proof.