Module pcs

Verifiers for polynomial commitment schemes.

Modules

• ipa
  Inner product argument polynomial commitment scheme and accumulation scheme. The notations are following https://eprint.iacr.org/2020/499.pdf.
• kzg
  KZG polynomial commitment scheme and accumulation scheme.

Structs

• Query
  Query to an oracle. It assumes all queries are based on the same point, but with some shift.

Traits

• AccumulationDecider
  Accumulation scheme decider. When accumulation is going to end, the decider will perform the check if the final accumulator is valid or not, where the check is usually much more expensive than accumulation verification.
• AccumulationScheme
  Accumulation scheme verifier.
• AccumulationSchemeProver
  Accumulation scheme prover.
• AccumulatorEncoding
  Accumulator encoding.
• PolynomialCommitmentScheme
  Polynomial commitment scheme verifier.