Function neptune::circuit::mul_sum

source · 
pub fn mul_sum<CS, Scalar: PrimeField>(
    cs: CS,
    a: &AllocatedNum<Scalar>,
    b: &AllocatedNum<Scalar>,
    pre_add: Option<Scalar>,
    post_add: Option<Scalar>,
    enforce: bool,
) -> Result<AllocatedNum<Scalar>, SynthesisError>
where
    CS: ConstraintSystem<Scalar>,
Expand description

Calculates (a * (pre_add + b)) + post_add — and enforces that constraint.