Module commitment

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

Structs

IPACommitmentScheme

Concrete IPA commitment scheme

ParamsIPA

Public parameters for IPA commitment scheme

Functions

create_proof

Create a polynomial commitment opening proof for the polynomial defined by the coefficients px, the blinding factor blind used for the polynomial commitment, and the point x that the polynomial is evaluated at.

verify_proof

Checks to see if the proof represented within transcript is valid, and a point x that the polynomial commitment P opens purportedly to the value v. The provided msm should evaluate to the commitment P being opened.

Type Aliases

ParamsVerifierIPA

Verifier parameters