clarify that z should not be in the domain

ethereum · Dec 14, 2022 · e467ab9 · e467ab9
1 parent a57e156
commit e467ab9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/specs/eip4844/polynomial-commitments.md b/specs/eip4844/polynomial-commitments.md
@@ -293,7 +293,7 @@ def compute_powers(x: BLSFieldElement, n: uint64) -> Sequence[BLSFieldElement]:
 def evaluate_polynomial_in_evaluation_form(polynomial: Polynomial,
                                            z: BLSFieldElement) -> BLSFieldElement:
     """
-    Evaluate a polynomial (in evaluation form) at an arbitrary point ``z``.
+    Evaluate a polynomial (in evaluation form) at an arbitrary point ``z`` that is not in the domain.
     Uses the barycentric formula:
        f(z) = (z**WIDTH - 1) / WIDTH  *  sum_(i=0)^WIDTH  (f(DOMAIN[i]) * DOMAIN[i]) / (z - DOMAIN[i])
     """