From eb3774d6abff39a7cd8fb58d33e2154bae995392 Mon Sep 17 00:00:00 2001
From: Tom Wambsgans <TomWambsgans@users.noreply.github.com>
Date: Mon, 26 Jan 2026 14:20:58 +0400
Subject: [PATCH] reduce AIR degree on poseidon2 when used for dedicated
 benchmark

---
 crates/lean_vm/src/tables/poseidon_16/mod.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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<const BUS: bool> Air for Poseidon16Precompile<BUS> {
         0
     }
     fn degree_air(&self) -> usize {
-        10
+        if BUS { 10 } else { 9 }
     }
     fn down_column_indexes_f(&self) -> Vec<usize> {
         vec![]