Merge pull request #95 from valida-xyz/fix_mul_padding_rows

Fix padding rows in `Mul32Chip`

alu_u32/src/mul/mod.rs

@@ -50,12 +50,10 @@ where
         }
 
         // Encode dummy operations as needed to pad the trace.
-        let dummy_op = Operation::Mul32(Word::default(), Word::default(), Word::default());
         for i in num_ops..num_padded_ops {
             let row = &mut values[i * NUM_MUL_COLS..(i + 1) * NUM_MUL_COLS];
             let cols: &mut Mul32Cols<F> = row.borrow_mut();
             cols.counter = F::from_canonical_usize(i + 1);
-            self.op_to_row(&dummy_op, cols);
         }
 
         RowMajorMatrix {

basic/tests/test_prover.rs

@@ -31,7 +31,6 @@ use rand::thread_rng;
 use valida_machine::__internal::p3_commit::ExtensionMmcs;
 
 #[test]
-#[ignore] // TODO: Bus arguments are failing?
 fn prove_fibonacci() {
     let mut program = vec![];