Function ark_groth16::r1cs_to_qap::evaluate_constraint

source · 
pub fn evaluate_constraint<'a, LHS, RHS, R>(
    terms: &'a [(LHS, usize)],
    assignment: &'a [RHS]
) -> Rwhere
    LHS: One + Send + Sync + PartialEq,
    RHS: Send + Sync + Mul<&'a LHS, Output = RHS> + Copy,
    R: Zero + Send + Sync + AddAssign<RHS> + Sum,
Expand description

Computes the inner product of terms with assignment.