fix repeated namespaces

lurk-lang · Feb 7, 2024 · 501a664 · 501a664
1 parent 7f6c854
commit 501a664
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/src/cyclefold/gadgets.rs b/src/cyclefold/gadgets.rs
@@ -29,7 +29,7 @@ impl<E: Engine> AllocatedFoldingData<E> {
       n_limbs,
     )?;
 
-    let u = AllocatedR1CSInstance::alloc(cs.namespace(|| "U"), inst.map(|x| &x.u))?;
+    let u = AllocatedR1CSInstance::alloc(cs.namespace(|| "u"), inst.map(|x| &x.u))?;
 
     let T = AllocatedPoint::alloc(cs.namespace(|| "T"), inst.map(|x| x.T.to_coordinates()))?;
     T.check_on_curve(cs.namespace(|| "T on curve"))?;
@@ -157,7 +157,7 @@ pub mod emulated {
         .iter()
         .enumerate()
         .map(|(i, limb)| {
-          limb.as_allocated_num(cs.namespace(|| format!("convert limb {i} of X_r[0] to num")))
+          limb.as_allocated_num(cs.namespace(|| format!("convert limb {i} of comm.x to num")))
         })
         .collect::<Result<Vec<AllocatedNum<E1::Base>>, _>>()?;
 
@@ -171,7 +171,7 @@ pub mod emulated {
         .iter()
         .enumerate()
         .map(|(i, limb)| {
-          limb.as_allocated_num(cs.namespace(|| format!("convert limb {i} of X_r[0] to num")))
+          limb.as_allocated_num(cs.namespace(|| format!("convert limb {i} of comm.y to num")))
         })
         .collect::<Result<Vec<AllocatedNum<E1::Base>>, _>>()?;
 
@@ -224,7 +224,7 @@ pub mod emulated {
       let (_, y_sq) = self.y.mult_mod(cs.namespace(|| "y_sq"), &self.y, &m_bn)?;
 
       let always_equal = AllocatedBit::alloc(
-        cs.namespace(|| "always_equal = 1 - is_infinity"),
+        cs.namespace(|| "alloc always equal"),
         self
           .is_infinity
           .get_value()