Update layouts.rs

zkonduit · Nov 8, 2024 · ff0cc0a · ff0cc0a
1 parent 6d21309
commit ff0cc0a
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/src/circuit/ops/layouts.rs b/src/circuit/ops/layouts.rs
@@ -360,6 +360,12 @@ pub fn sqrt<F: PrimeField + TensorType + PartialOrd + std::hash::Hash>(
     let claimed_output = region.assign(&config.custom_gates.output, &claimed_output)?;
     region.increment(claimed_output.len());
 
+    // assert value is positive
+    let sign = sign(config, region, &[input.clone()])?;
+
+    // assert the sign is positive
+    enforce_equality(config, region, &[sign, one.clone()])?;
+
     // this is now of scale 2 * scale
     let product = pairwise(
         config,