Module halo2_proofs::poly::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
    Multiscalar multiplication engine
  • Params
    Common for Verifier and Prover.
  • ParamsProver
    Parameters for circuit synthesis and prover parameters.
  • ParamsVerifier
    Verifier specific functionality with circuit constraints
  • Prover
    Common multi-open prover interface for various commitment schemes
  • Verifier
    Common multi-open verifier interface for various commitment schemes