Update plonky2/src/fri/validate_shape.rs

Co-authored-by: wborgeaud <williamborgeaud@gmail.com>
2026-01-05 23:33:07 +00:00 · 2022-09-19 17:33:18 -07:00 · 2022-09-19 17:33:18 -07:00 · 786826487c
commit 786826487c
parent dbce356818
1 changed files with 9 additions and 1 deletions
--- 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());
        }