chore: use num_trait one

kkrt-labs · Dec 16, 2024 · f4453ed · f4453ed
1 parent 1d86c43
commit f4453ed
Show file tree

Hide file tree

Showing 3 changed files with 9 additions and 9 deletions.
diff --git a/crates/brainfuck_prover/src/components/instruction/table.rs b/crates/brainfuck_prover/src/components/instruction/table.rs
@@ -668,7 +668,7 @@ mod tests {
     fn test_trace_evaluation_single_row() {
         let mut instruction_intermediate_table = InstructionIntermediateTable::new();
         instruction_intermediate_table.add_entry(InstructionTableEntry {
-            ip: BaseField::from(1),
+            ip: BaseField::one(),
             ci: BaseField::from(43),
             ni: BaseField::from(91),
         });
@@ -685,7 +685,7 @@ mod tests {
         );
 
         // Expected values for the single row
-        let expected_ip_column = vec![BaseField::from(1); 1 << LOG_N_LANES];
+        let expected_ip_column = vec![BaseField::one(); 1 << LOG_N_LANES];
         let expected_ci_column = vec![BaseField::from(43); 1 << LOG_N_LANES];
         let expected_ni_column = vec![BaseField::from(91); 1 << LOG_N_LANES];
 
@@ -783,7 +783,7 @@ mod tests {
                 ni: BaseField::from(91),
             },
             InstructionTableEntry {
-                ip: BaseField::from(1),
+                ip: BaseField::one(),
                 ci: BaseField::from(91),
                 ni: BaseField::from(9),
             },

diff --git a/crates/brainfuck_prover/src/components/io/table.rs b/crates/brainfuck_prover/src/components/io/table.rs
@@ -414,7 +414,7 @@ mod tests {
 
         // Add rows to the I/O table.
         let rows = vec![
-            IOTableRow::new(BaseField::zero(), BaseField::from(44), BaseField::from(1)),
+            IOTableRow::new(BaseField::zero(), BaseField::from(44), BaseField::one()),
             IOTableRow::new(BaseField::one(), BaseField::from(44), BaseField::from(2)),
         ];
         io_table.add_rows(rows);

diff --git a/crates/brainfuck_prover/src/components/processor/table.rs b/crates/brainfuck_prover/src/components/processor/table.rs
@@ -490,7 +490,7 @@ mod tests {
 
         let entries = vec![
             ProcessorTableEntry {
-                clk: BaseField::from(1),
+                clk: BaseField::one(),
                 ip: BaseField::from(5),
                 ci: BaseField::from(43),
                 ni: BaseField::from(91),
@@ -792,15 +792,15 @@ mod tests {
         let entries = vec![
             ProcessorTableEntry {
                 clk: BaseField::from(0),
-                ip: BaseField::from(1),
+                ip: BaseField::one(),
                 ci: BaseField::from(2),
                 ni: BaseField::from(3),
                 mp: BaseField::from(4),
                 mv: BaseField::from(5),
                 mvi: BaseField::from(6),
             },
             ProcessorTableEntry {
-                clk: BaseField::from(1),
+                clk: BaseField::one(),
                 ip: BaseField::from(2),
                 ci: BaseField::from(3),
                 ni: BaseField::from(4),
@@ -832,9 +832,9 @@ mod tests {
         let mut mvi_column = BaseColumn::zeros(expected_size);
 
         clk_column.data[0] = BaseField::from(0).into();
-        clk_column.data[1] = BaseField::from(1).into();
+        clk_column.data[1] = BaseField::one().into();
 
-        ip_column.data[0] = BaseField::from(1).into();
+        ip_column.data[0] = BaseField::one().into();
         ip_column.data[1] = BaseField::from(2).into();
 
         ci_column.data[0] = BaseField::from(2).into();