diff --git a/plonky2/src/fri/validate_shape.rs b/plonky2/src/fri/validate_shape.rs index e8a70a08..597adeda 100644 --- a/plonky2/src/fri/validate_shape.rs +++ b/plonky2/src/fri/validate_shape.rs @@ -40,7 +40,15 @@ where .iter() .zip(&instance.oracles) { - ensure!(leaf.len() == oracle.num_polys); // TODO: Account for blinding if ZK? + ensure!( + leaf.len() + == oracle.num_polys + + if oracle.blinding && params.hiding { + SALT_SIZE + } else { + 0 + } + ); ensure!(merkle_proof.len() + cap_height == params.lde_bits()); }