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 } }