fix namespace format

Author: hero78119

gkr_iop/src/circuit_builder.rs

@@ -880,14 +880,14 @@ impl<'a, E: ExtensionField> CircuitBuilder<'a, E> {
         NR: Into<String>,
         N: Fn() -> NR,
     {
-        assert!(size <= 16);
+        assert!(size <= 16, "{size} > 16");
         self.assert_u16(
-            || format!("assert_ux_in_u16_1/{}", name_fn().into()),
+            || format!("assert_ux_in_u16_{}_check1", name_fn().into()),
             expr.clone(),
         )?;
         if size < 16 {
             self.assert_u16(
-                || format!("assert_ux_in_u16_2/{}", name_fn().into()),
+                || format!("assert_ux_in_u16_{}_check2", name_fn().into()),
                 expr * E::BaseField::from_canonical_u64(1 << (16 - size)).expr(),
             )?;
         }
@@ -1126,7 +1126,7 @@ impl<'a, E: ExtensionField> CircuitBuilder<'a, E> {
 
         // Lookup ranges
         for (i, (size, elem)) in split_rep.iter().enumerate() {
-            self.assert_ux_in_u16(|| format!("{}/{}", name().into(), i), *size, elem.clone())?;
+            self.assert_ux_in_u16(|| format!("{}_{}", name().into(), i), *size, elem.clone())?;
         }
 
         // constrain the fact that rep8 and repX.rotate_left(chunks_rotation) are

gkr_iop/src/precompiles/lookup_keccakf.rs

@@ -173,12 +173,12 @@ impl<E: ExtensionField> KeccakLayout<E> {
         ): (KeccakWitCols<WitIn>, KeccakFixedCols<Fixed>, [WitIn; 6]) = unsafe {
             (
                 transmute::<[WitIn; KECCAK_WIT_SIZE], KeccakWitCols<WitIn>>(array::from_fn(|id| {
-                    cb.create_witin(|| format!("keccak/witin_{}", id))
+                    cb.create_witin(|| format!("keccak_witin_{}", id))
                 })),
                 transmute::<[Fixed; 8], KeccakFixedCols<Fixed>>(array::from_fn(|id| {
-                    cb.create_fixed(|| format!("keccak/fixed_{}", id))
+                    cb.create_fixed(|| format!("keccak_fixed_{}", id))
                 })),
-                array::from_fn(|id| cb.create_witin(|| format!("keccak/eq_{}", id))),
+                array::from_fn(|id| cb.create_witin(|| format!("keccak_eq_{}", id))),
             )
         };
 
@@ -276,7 +276,7 @@ impl<E: ExtensionField> ProtocolBuilder<E> for KeccakLayout<E> {
             assert_eq!(c_temp.slice(s![i, ..]).iter().len(), sizes.iter().len());
 
             system.require_left_rotation64(
-                || format!("theta rotation/{i}"),
+                || format!("theta rotation_{i}"),
                 &c_aux
                     .slice(s![i, 4, ..])
                     .iter()