logos-storage/plonky2
1
0
Fork 0
mirror of https://github.com/logos-storage/plonky2.git synced 2026-01-04 23:03:08 +00:00
Code Issues Packages Projects Releases Wiki Activity

Use salt_size

Browse Source
This commit is contained in:
Daniel Lubarov 2022-09-19 17:45:59 -07:00
parent 74ab741057
commit e20b76f104
1 changed files with 2 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
plonky2/src/fri/validate_shape.rs
View File

@ -6,6 +6,7 @@ use crate::fri::structure::FriInstanceInfo;
use crate::fri::FriParams;
use crate::hash::hash_types::RichField;
use crate::plonk::config::GenericConfig;
use crate::plonk::plonk_common::salt_size;
pub(crate) fn validate_fri_proof_shape<F, C, const D: usize>(
proof: &FriProof<F, C::Hasher, D>,
@ -40,15 +41,7 @@ where
.iter()
.zip(&instance.oracles)
{
ensure!(
leaf.len()
== oracle.num_polys
+ if oracle.blinding && params.hiding {
SALT_SIZE
} else {
0
}
);
ensure!(leaf.len() == oracle.num_polys + salt_size(oracle.blinding && params.hiding));
ensure!(merkle_proof.len() + cap_height == params.lde_bits());
}