Skip to content

Commit

Permalink
Arrabiata/tests: fix missing parameters introduced while rebasing
Browse files Browse the repository at this point in the history
  • Loading branch information
dannywillems committed Oct 28, 2024
1 parent 1e9e66c commit 7e956d0
Showing 1 changed file with 13 additions and 9 deletions.
22 changes: 13 additions & 9 deletions arrabiata/tests/constraints.rs
Original file line number Diff line number Diff line change
Expand Up @@ -194,18 +194,22 @@ fn test_integration_with_mvpoly_to_compute_cross_terms() {
let eval2: [Fp; NUMBER_OF_COLUMNS + NUMBER_OF_PUBLIC_INPUTS] =
std::array::from_fn(|_| Fp::rand(&mut rng));

let polys = constraints
.iter()
.map(|c| {
println!("Converting into mvpoly the constraint: {:?}", c);
// Adding one to the maximum degree to account for the variable α.
Sparse::<
let polys =
constraints
.iter()
.map(|c| {
println!("Converting into mvpoly the constraint: {:?}", c);
// Adding one to the maximum degree to account for the variable α.
Sparse::<
Fp,
{ NUMBER_OF_COLUMNS + NUMBER_OF_PUBLIC_INPUTS },
{ MAX_DEGREE as usize + 1 },
>::from_expr::<Column, ChallengeTerm>(c.clone())
})
.collect();
>::from_expr::<Column, ChallengeTerm>(
c.clone(),
Some(NUMBER_OF_COLUMNS + NUMBER_OF_PUBLIC_INPUTS),
)
})
.collect();
let _cross_terms =
mvpoly::compute_combined_cross_terms(polys, alpha_1, alpha_2, eval1, eval2, u1, u2);
}

0 comments on commit 7e956d0

Please sign in to comment.