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

fix

Browse Source
This commit is contained in:
Daniel Lubarov 2022-09-19 21:30:14 -07:00
parent 616a6b3919
commit f8e0b6f6a3
1 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
evm/src/verifier.rs
View File

@ -209,7 +209,7 @@ fn validate_proof_shape<F, C, S, const D: usize>(
stark: &S,
proof: &StarkProof<F, C, D>,
config: &StarkConfig,
num_ctls: usize,
num_ctl_zs: usize,
) -> anyhow::Result<()>
where
F: RichField + Extendable<D>,
@ -237,7 +237,6 @@ where
ensure!(openings.local_values.len() == S::COLUMNS);
ensure!(openings.next_values.len() == S::COLUMNS);
let num_ctl_zs = num_ctls * config.num_challenges;
let num_zs = num_ctl_zs + stark.num_permutation_batches(config);
ensure!(openings.permutation_ctl_zs.len() == num_zs);
ensure!(openings.permutation_ctl_zs_next.len() == num_zs);