franklin_crypto::plonk::circuit::linear_combination

Function enforce_zero_naive

Source 
pub fn enforce_zero_naive<E: Engine, CS: ConstraintSystem<E>>(
    cs: &mut CS,
    terms: &[(E::Fr, Variable)],
    constant: E::Fr,
) -> Result<(), SynthesisError>