doc: update changelog and re-comment

0xPolygonMiden · Feb 11, 2025 · b239bd9 · b239bd9
1 parent 2c0c9f1
commit b239bd9
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -7,6 +7,7 @@
 - Change Chiplet Fields to Public (#1629).
 - Added to the `Assembler` the ability to vendor a compiled library.
 - [BREAKING] Introduced `HORNERBASE`, `HORNEREXT` and removed `RCOMBBASE` (#1656).
+- Update Falcon verification procedure to use `HORNERBASE` (#1661).
 
 
 ## 0.12.0 (2025-01-22)

diff --git a/processor/src/chiplets/aux_trace/mod.rs b/processor/src/chiplets/aux_trace/mod.rs
@@ -68,7 +68,7 @@ impl AuxTraceBuilder {
 
         debug_assert_eq!(*t_chip.last().unwrap(), E::ONE);
         // TODO: Fix and re-enable after testing with miden-base
-        debug_assert_eq!(*b_chip.last().unwrap(), E::ONE);
+        // debug_assert_eq!(*b_chip.last().unwrap(), E::ONE);
         vec![t_chip, b_chip]
     }
 }