Module kzg

KZG polynomial commitment scheme and accumulation scheme.

Structs

• Bdfg21
  Verifier of multi-open KZG. It is for the SHPLONK implementation in halo2_proofs. Notations are following https://eprint.iacr.org/2020/081.
• Bdfg21Proof
  Structured proof of Bdfg21.
• Gwc19
  Verifier of multi-open KZG. It is for the GWC implementation in halo2_proofs. Notations are following https://eprint.iacr.org/2019/953.pdf.
• Gwc19Proof
  Structured proof of Gwc19.
• KzgAccumulator
  KZG accumulator, containing lhs G1 and rhs G1 of pairing.
• KzgAs
  KZG accumulation scheme. The second generic MOS stands for different kind of multi-open scheme.
• KzgAsProvingKey
  KZG accumulation scheme proving key.
• KzgAsVerifyingKey
  KZG accumulation scheme verifying key.
• KzgDecidingKey
  KZG deciding key.
• KzgSuccinctVerifyingKey
  KZG succinct verifying key.
• LimbsEncoding
  AccumulatorEncoding that encodes Accumulator into limbs.

Traits

• LimbsEncodingInstructions
  Instructions to encode/decode a elliptic curve point into/from limbs.