fix multiset checks: running product column should explicitly shift multiplicand

air/Cargo.toml

@@ -27,10 +27,12 @@ harness = false
 [features]
 default = ["std"]
 std = ["vm-core/std", "winter-air/std"]
+internals = []
 
 [dependencies]
 vm-core = { package = "miden-core", path = "../core", version = "0.8", default-features = false }
 winter-air = { package = "winter-air", version = "0.7", default-features = false }
+winter-prover = { package = "winter-prover", version = "0.7", default-features = false }
 
 [dev-dependencies]
 criterion = "0.5"

air/src/lib.rs

@@ -14,6 +14,7 @@ use winter_air::{
     Air, AirContext, Assertion, AuxTraceRandElements, EvaluationFrame,
     ProofOptions as WinterProofOptions, TraceInfo, TransitionConstraintDegree,
 };
+use winter_prover::matrix::ColMatrix;
 
 mod constraints;
 pub use constraints::stack;