Function neptune::circuit2::square_sum

source ·

pub fn square_sum<CS: ConstraintSystem<Scalar>, Scalar: PrimeField>(
    cs: CS,
    to_add: Scalar,
    elt: &Elt<Scalar>,
    enforce: bool
) -> Result<AllocatedNum<Scalar>, SynthesisError>

Expand description

Calculates square of sum and enforces that constraint.