Skip to content

Commit

Permalink
Merge pull request #3159 from kevaundray/patch-3
Browse files Browse the repository at this point in the history
EIP4844: Clarify that z should not be in the domain
  • Loading branch information
asn-d6 authored Dec 14, 2022
2 parents f7187a6 + e467ab9 commit 05c2eb8
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion specs/eip4844/polynomial-commitments.md
Original file line number Diff line number Diff line change
Expand Up @@ -294,7 +294,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])
"""
Expand Down

0 comments on commit 05c2eb8

Please sign in to comment.