degree 2 in DotProduct table

TomWambsgans · TomWambsgans · commit 1be59143bdf1 · 2025-12-01T14:37:04.000+01:00
diff --git a/crates/lean_vm/src/tables/dot_product/air.rs b/crates/lean_vm/src/tables/dot_product/air.rs
@@ -54,7 +54,7 @@ impl<const BE: bool> Air for DotProductPrecompile<BE> {
         dot_product_air_n_cols_ef(BE)
     }
     fn degree(&self) -> usize {
-        3
+        2
     }
     fn n_constraints(&self) -> usize {
         8

Original file line number	Diff line number	Diff line change
`@@ -54,7 +54,7 @@ impl<const BE: bool> Air for DotProductPrecompile<BE> {`
`54`	`54`	`dot_product_air_n_cols_ef(BE)`
`55`	`55`	`}`
`56`	`56`	`fn degree(&self) -> usize {`
`57`		`- 3`
	`57`	`+ 2`
`58`	`58`	`}`
`59`	`59`	`fn n_constraints(&self) -> usize {`
`60`	`60`	`8`