diff --git a/specs/light_client/merkle_proofs.md b/specs/light_client/merkle_proofs.md index bf6cd7a61..038990709 100644 --- a/specs/light_client/merkle_proofs.md +++ b/specs/light_client/merkle_proofs.md @@ -142,7 +142,7 @@ def concat_generalized_indices(*indices: Sequence[GeneralizedIndex]) -> Generali """ o = GeneralizedIndex(1) for i in indices: - o = o * get_previous_power_of_2(i) + i + o = o * get_previous_power_of_2(i) + (i - get_previous_power_of_2(i)) return o ```