poseidon AIR: explicit number of constraints, instead of hardcoded 94

TomWambsgans · TomWambsgans · commit 3b246355c012 · 2026-06-16T18:30:34.000+02:00
diff --git a/crates/lean_vm/src/tables/poseidon/mod.rs b/crates/lean_vm/src/tables/poseidon/mod.rs
@@ -307,7 +307,8 @@ impl<const BUS: bool> Air for Poseidon16Precompile<BUS> {
         0
     }
     fn n_constraints(&self) -> usize {
-        2 * BUS as usize + 94
+        const PRELUDE_CONSTRAINTS: usize = 10;
+        2 * BUS as usize + PRELUDE_CONSTRAINTS + POSEIDON1_HALF_FULL_ROUNDS * WIDTH + PARTIAL_ROUNDS
     }
     fn eval<AB: AirBuilder>(&self, builder: &mut AB, extra_data: &Self::ExtraData) {
         let cols: Poseidon1Cols16<AB::IF> = {

Original file line number	Diff line number	Diff line change
`@@ -307,7 +307,8 @@ impl<const BUS: bool> Air for Poseidon16Precompile<BUS> {`
`307`	`307`	`0`
`308`	`308`	`}`
`309`	`309`	`fn n_constraints(&self) -> usize {`
`310`		`- 2 * BUS as usize + 94`
	`310`	`+ const PRELUDE_CONSTRAINTS: usize = 10;`
	`311`	`+ 2 * BUS as usize + PRELUDE_CONSTRAINTS + POSEIDON1_HALF_FULL_ROUNDS * WIDTH + PARTIAL_ROUNDS`
`311`	`312`	`}`
`312`	`313`	`fn eval<AB: AirBuilder>(&self, builder: &mut AB, extra_data: &Self::ExtraData) {`
`313`	`314`	`let cols: Poseidon1Cols16<AB::IF> = {`