Struct ark_poly_commit::multilinear_pc::MultilinearPC [−][src]
pub struct MultilinearPC<E: PairingEngine> { /* fields omitted */ }
Expand description
Polynomial Commitment Scheme on multilinear extensions.
Implementations
pub fn trim(
params: &UniversalParams<E>,
supported_num_vars: usize
) -> (CommitterKey<E>, VerifierKey<E>)[src]
pub fn trim(
params: &UniversalParams<E>,
supported_num_vars: usize
) -> (CommitterKey<E>, VerifierKey<E>)[src]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>[src]
pub fn commit(
ck: &CommitterKey<E>,
polynomial: &impl MultilinearExtension<E::Fr>
) -> Commitment<E>[src]commit
pub fn open(
ck: &CommitterKey<E>,
polynomial: &impl MultilinearExtension<E::Fr>,
point: &[E::Fr]
) -> Proof<E>[src]
pub fn open(
ck: &CommitterKey<E>,
polynomial: &impl MultilinearExtension<E::Fr>,
point: &[E::Fr]
) -> Proof<E>[src]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[src]
pub fn check<'a>(
vk: &VerifierKey<E>,
commitment: &Commitment<E>,
point: &[E::Fr],
value: E::Fr,
proof: &Proof<E>
) -> bool[src]Verifies that value is the evaluation at x of the polynomial
committed inside comm.
Auto Trait Implementations
impl<E> RefUnwindSafe for MultilinearPC<E> where
E: RefUnwindSafe, impl<E> Send for MultilinearPC<E>impl<E> Sync for MultilinearPC<E>impl<E> Unpin for MultilinearPC<E> where
E: Unpin, impl<E> UnwindSafe for MultilinearPC<E> where
E: UnwindSafe,