Module commitment

Expand description

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

Structs§

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.