From 74ab741057bdf971009fe25a7294502a7aac7a10 Mon Sep 17 00:00:00 2001 From: Daniel Lubarov Date: Mon, 19 Sep 2022 17:35:23 -0700 Subject: [PATCH] Update plonky2/src/plonk/validate_shape.rs Co-authored-by: wborgeaud --- plonky2/src/plonk/validate_shape.rs | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/plonky2/src/plonk/validate_shape.rs b/plonky2/src/plonk/validate_shape.rs index 9d36110b..3e0082fc 100644 --- a/plonky2/src/plonk/validate_shape.rs +++ b/plonky2/src/plonk/validate_shape.rs @@ -60,7 +60,9 @@ where ensure!(openings.wires.len() == config.num_wires); ensure!(openings.plonk_zs.len() == config.num_challenges); ensure!(openings.plonk_zs_next.len() == config.num_challenges); - ensure!(openings.partial_products.len() == common_data.num_partial_products); + ensure!( + openings.partial_products.len() == config.num_challenges * common_data.num_partial_products + ); ensure!(openings.quotient_polys.len() == common_data.num_quotient_polys()); Ok(())