diff --git a/specs/_features/eip7594/polynomial-commitments-sampling.md b/specs/_features/eip7594/polynomial-commitments-sampling.md index 8702b72a5..fb4b46fc8 100644 --- a/specs/_features/eip7594/polynomial-commitments-sampling.md +++ b/specs/_features/eip7594/polynomial-commitments-sampling.md @@ -313,7 +313,7 @@ def compute_kzg_proof_multi_impl( This is done by committing to the following quotient polynomial: Q(X) = f(X) - r(X) / Z(X) Where: - - r(X) is the degree k-1 polynomial that agrees with f(x) at all `k` points + - r(X) is the degree `k-1` polynomial that agrees with f(x) at all `k` points - Z(X) is the degree `k` polynomial that evaluates to zero on all `k` points """