NewProver returns a Prover.

NewVerifier returns a range proof Verifier.

Commitment is the commitment to the randomness used in the range proof.

EqualityProofs show that for each token in an array of tokens, token_value = \sum_{i=0}^exponent v_i base^i.

MembershipProof shows that committed values 0=<v_i =<max_value, for 1 =< i =< n.

Prover produces a proof that show that values of tokens is < max_value.

RangeProof is a range proof that show that an array of token have value < max_value max_value = base^exponent - 1 token_value = \sum_{i=0}^exponent v_i base^i and 0=<v_i =<base-1.

Verifier checks the validity of range proofs produced by Prover.