Function neptune::circuit::square_sum

source ยท 
pub fn square_sum<CS, Scalar: PrimeField>(
    cs: CS,
    to_add: Scalar,
    num: &AllocatedNum<Scalar>,
    enforce: bool,
) -> Result<AllocatedNum<Scalar>, SynthesisError>
where
    CS: ConstraintSystem<Scalar>,
Expand description

Calculates square of sum and enforces that constraint.