Expand description
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 . - Bgh19
Proof - 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
MOSstands for different kind of multi-open scheme. - IpaAs
Proof - Inner product argument accumulation scheme proof.
- IpaDeciding
Key - Inner product argument deciding key.
- IpaProof
- Inner product argument
- IpaProving
Key - Inner product argument proving key.
- IpaSuccinct
Verifying Key - Inner product argument succinct verifying key.