Module ipa

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

Structs

• Bgh19
  Verifier of multi-open inner product argument. It is for the implementation in halo2_proofs, which is previously https://eprint.iacr.org/2019/1021 .
• Bgh19Proof
  Structured proof of Bgh19.
• Ipa
  Inner product argument polynomial commitment scheme.
• IpaAccumulator
  Inner product argument accumulator.
• IpaAs
  Inner product argument accumulation scheme. The second generic MOS stands for different kind of multi-open scheme.
• IpaAsProof
  Inner product argument accumulation scheme proof.
• IpaDecidingKey
  Inner product argument deciding key.
• IpaProof
  Inner product argument
• IpaProvingKey
  Inner product argument proving key.
• IpaSuccinctVerifyingKey
  Inner product argument succinct verifying key.