fix: fix hashing order

lurk-lang · Mar 2, 2024 · c2dd897 · c2dd897
1 parent aab52fa
commit c2dd897
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/src/cyclefold/gadgets.rs b/src/cyclefold/gadgets.rs
@@ -458,12 +458,12 @@ pub mod emulated {
     where
       CS: ConstraintSystem<<E as Engine>::Base>,
     {
-      self
-        .comm_E
-        .absorb_in_ro(cs.namespace(|| "absorb comm_E"), ro)?;
       self
         .comm_W
         .absorb_in_ro(cs.namespace(|| "absorb comm_W"), ro)?;
+      self
+        .comm_E
+        .absorb_in_ro(cs.namespace(|| "absorb comm_E"), ro)?;
 
       ro.absorb(&self.u);
       ro.absorb(&self.x0);

diff --git a/src/cyclefold/snark.rs b/src/cyclefold/snark.rs
@@ -521,10 +521,10 @@ where
 {
   absorb_commitment::<E1, E2>(&U.comm_W, ro);
   absorb_commitment::<E1, E2>(&U.comm_E, ro);
+  ro.absorb(U.u);
   for e in &U.X {
     ro.absorb(*e);
   }
-  ro.absorb(U.u);
 }
 
 #[cfg(test)]