Expand description
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. - Bdfg21
Proof - 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. - Gwc19
Proof - Structured proof of
Gwc19. - KzgAccumulator
- KZG accumulator, containing lhs G1 and rhs G1 of pairing.
- KzgAs
- KZG accumulation scheme. The second generic
MOSstands for different kind of multi-open scheme. - KzgAs
Proving Key - KZG accumulation scheme proving key.
- KzgAs
Verifying Key - KZG accumulation scheme verifying key.
- KzgDeciding
Key - KZG deciding key.
- KzgSuccinct
Verifying Key - KZG succinct verifying key.
- Limbs
Encoding AccumulatorEncodingthat encodesAccumulatorinto limbs.
Traits§
- Limbs
Encoding Instructions - Instructions to encode/decode a elliptic curve point into/from limbs.