From d22fa8895b487844f2db632eb3e433937c4b6d9c Mon Sep 17 00:00:00 2001 From: wborgeaud Date: Fri, 11 Feb 2022 10:37:17 +0100 Subject: [PATCH] Fix one error to get another one --- starky/src/proof.rs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/starky/src/proof.rs b/starky/src/proof.rs index c505a59b..3999e455 100644 --- a/starky/src/proof.rs +++ b/starky/src/proof.rs @@ -34,7 +34,7 @@ impl, C: GenericConfig, const D: usize> S .evals_proofs[0] .1; let lde_bits = config.fri_config.cap_height + initial_merkle_proof.siblings.len(); - 1 << (lde_bits - config.fri_config.rate_bits) + lde_bits - config.fri_config.rate_bits } } @@ -52,7 +52,7 @@ impl StarkProofTarget { .evals_proofs[0] .1; let lde_bits = config.fri_config.cap_height + initial_merkle_proof.siblings.len(); - 1 << (lde_bits - config.fri_config.rate_bits) + lde_bits - config.fri_config.rate_bits } }