halo2_axiom::poly

Module commitment

Source
Expand description

Generic commitment scheme structures

Structs§

  • Blind
    Wrapper type around a blinding factor.

Traits§

  • CommitmentScheme
    Defines components of a commitment scheme.
  • MSM
    Multi scalar multiplication engine
  • Params
    Parameters for circuit sysnthesis and prover parameters.
  • ParamsProver
    Parameters for circuit sysnthesis and prover parameters.
  • ParamsVerifier
    Verifier specific functionality with circuit constaints
  • Prover
    Common multi-open prover interface for various commitment schemes
  • Verifier
    Common multi-open verifier interface for various commitment schemes