Function neptune::circuit2::square_sum
source ยท pub fn square_sum<CS, Scalar: PrimeField>(
cs: CS,
to_add: Scalar,
elt: &Elt<Scalar>,
enforce: bool,
) -> Result<AllocatedNum<Scalar>, SynthesisError>where
CS: ConstraintSystem<Scalar>,
Expand description
Calculates square of sum and enforces that constraint.