Module 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