From e467ab9556855b80a56b140af60491c3c371536e Mon Sep 17 00:00:00 2001 From: kevaundray Date: Wed, 14 Dec 2022 11:01:40 +0000 Subject: [PATCH] clarify that z should not be in the domain --- specs/eip4844/polynomial-commitments.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/specs/eip4844/polynomial-commitments.md b/specs/eip4844/polynomial-commitments.md index 6e1c00ccda..2418fb6cec 100644 --- 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]) """