Module halo2_proofs::poly::multiopen

This module contains an optimisation of the polynomial commitment opening scheme described in the Halo paper.

Structs

• ProverQuery
  A polynomial query at a point
• VerifierQuery
  A polynomial query at a point

Functions

• create_proof
  Create a multi-opening proof
• verify_proof
  Verify a multi-opening proof