From 4c573ff6b96e693a343370903110e7cb3348407c Mon Sep 17 00:00:00 2001 From: Dankrad Feist Date: Sat, 17 Dec 2022 17:14:48 +0000 Subject: [PATCH] Add compute_kzg_proof to public methods --- specs/eip4844/polynomial-commitments.md | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/specs/eip4844/polynomial-commitments.md b/specs/eip4844/polynomial-commitments.md index 6aef9c611..8884457ed 100644 --- a/specs/eip4844/polynomial-commitments.md +++ b/specs/eip4844/polynomial-commitments.md @@ -370,8 +370,9 @@ def verify_kzg_proof_impl(polynomial_kzg: KZGCommitment, ```python def compute_kzg_proof(polynomial: Polynomial, z: BLSFieldElement) -> KZGProof: """ - Compute KZG proof at point `z` with `polynomial` being in evaluation form - Do this by computing the quotient polynomial in evaluation form: q(x) = (p(x) - p(z)) / (x - z) + Compute KZG proof at point `z` with `polynomial` being in evaluation form. + Do this by computing the quotient polynomial in evaluation form: q(x) = (p(x) - p(z)) / (x - z). + Public method. """ y = evaluate_polynomial_in_evaluation_form(polynomial, z) polynomial_shifted = [BLSFieldElement((int(p) - int(y)) % BLS_MODULUS) for p in polynomial]