Expand description
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§
- Accumulation
Decider - 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.
- Accumulation
Scheme - Accumulation scheme verifier.
- Accumulation
Scheme Prover - Accumulation scheme prover.
- Accumulator
Encoding - Accumulator encoding.
- Polynomial
Commitment Scheme - Polynomial commitment scheme verifier.