Module halo2_proofs::poly::commitment
source · [−]Expand description
Generic commitment scheme structures
Structs
Wrapper type around a blinding factor.
Traits
Defines components of a commitment scheme.
Multi scalar multiplication engine
Parameters for circuit sysnthesis and prover parameters.
Parameters for circuit sysnthesis and prover parameters.
Verifier specific functionality with circuit constaints
Common multi-open prover interface for various commitment schemes
Common multi-open verifier interface for various commitment schemes