diff --git a/crates/lean_vm/src/tables/poseidon_16/mod.rs b/crates/lean_vm/src/tables/poseidon_16/mod.rs index 9b426bc1..8c6a5580 100644 --- a/crates/lean_vm/src/tables/poseidon_16/mod.rs +++ b/crates/lean_vm/src/tables/poseidon_16/mod.rs @@ -156,7 +156,7 @@ impl Air for Poseidon16Precompile { 0 } fn degree_air(&self) -> usize { - 10 + if BUS { 10 } else { 9 } } fn down_column_indexes_f(&self) -> Vec { vec![]