INNER CODE UNIT · Rust

verify

arkworks-rs/poly-commit · bench-templates/src/lib.rs:176

pub fn verify<F, P, PCS>(
    ck: &PCS::CommitterKey,
    vk: &PCS::VerifierKey,
    num_vars: usize,
    rand_poly: fn(usize, &mut ChaCha20Rng) -> P,
    rand_point: fn(usize, &mut ChaCha20Rng) -> P::Point,
) -> Duration
where
    F: PrimeField,
    P: Polynomial<F>,
    PCS: PolynomialCommitment<F, P>,
{
    let rng = &mut ChaCha20Rng::from_rng(test_rng()).unwrap();

    let labeled_poly =
        LabeledPolynomial::new("test".to_string(), rand_poly(num_vars, rng), None, None);

    let (coms, states) = PCS::commit(&ck, [&labeled_poly], Some(rng)).unwrap();

View source record →