Struct ark_poly_commit::multilinear_pc::MultilinearPC

pub struct MultilinearPC<E: PairingEngine> { /* fields omitted */ }

Polynomial Commitment Scheme on multilinear extensions.

Implementations

impl<E: PairingEngine> MultilinearPC<E>

pub fn setup<R: RngCore>(num_vars: usize, rng: &mut R) -> UniversalParams<E>

setup

pub fn trim(
    params: &UniversalParams<E>,
    supported_num_vars: usize
) -> (CommitterKey<E>, VerifierKey<E>)

Trim the universal parameters to specialize the public parameters for multilinear polynomials to the given supported_num_vars, and returns committer key and verifier key. supported_num_vars should be in range 1..=params.num_vars

pub fn commit(
    ck: &CommitterKey<E>,
    polynomial: &impl MultilinearExtension<E::Fr>
) -> Commitment<E>

commit

pub fn open(
    ck: &CommitterKey<E>,
    polynomial: &impl MultilinearExtension<E::Fr>,
    point: &[E::Fr]
) -> Proof<E>

On input a polynomial p and a point point, outputs a proof for the same.

pub fn check<'a>(
    vk: &VerifierKey<E>,
    commitment: &Commitment<E>,
    point: &[E::Fr],
    value: E::Fr,
    proof: &Proof<E>
) -> bool

Verifies that value is the evaluation at x of the polynomial committed inside comm.