fix: blake example

0xPolygonMiden · Oct 29, 2024 · 1b390a1 · 1b390a1
1 parent 9f9cc63
commit 1b390a1
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 5 deletions.
diff --git a/miden/src/examples/blake3.rs b/miden/src/examples/blake3.rs
@@ -41,11 +41,13 @@ fn generate_blake3_program(n: usize) -> Program {
     let program = format!(
         "
         use.std::crypto::hashes::blake3
+        use.std::sys
 
         begin
             repeat.{}
                 exec.blake3::hash_1to1
             end
+            exec.sys::truncate_stack
         end",
         n
     );

diff --git a/processor/src/decoder/aux_trace/mod.rs b/processor/src/decoder/aux_trace/mod.rs
@@ -41,11 +41,6 @@ impl AuxTraceBuilder {
         let p2 = block_hash_column_builder.build_aux_column(main_trace, rand_elements);
         let p3 = op_group_table_column_builder.build_aux_column(main_trace, rand_elements);
 
-        debug_assert_eq!(
-            *p1.last().unwrap(),
-            E::ONE,
-            "block stack table is not empty at the end of program execution"
-        );
         debug_assert_eq!(
             *p2.last().unwrap(),
             E::ONE,