Update specs/deneb/polynomial-commitments.md
Co-authored-by: George Kadianakis <desnacked@riseup.net>
This commit is contained in:
parent
aafbd45a19
commit
d8509e42c6
|
@ -493,7 +493,7 @@ def verify_blob_kzg_proof(blob: Blob,
|
||||||
polynomial = blob_to_polynomial(blob)
|
polynomial = blob_to_polynomial(blob)
|
||||||
evaluation_challenge = compute_challenge(blob, commitment)
|
evaluation_challenge = compute_challenge(blob, commitment)
|
||||||
|
|
||||||
# Evaluate polynomial at `evaluation_challenge` (evaluation function checks for div-by-zero)
|
# Evaluate polynomial at `evaluation_challenge`
|
||||||
y = evaluate_polynomial_in_evaluation_form(polynomial, evaluation_challenge)
|
y = evaluate_polynomial_in_evaluation_form(polynomial, evaluation_challenge)
|
||||||
|
|
||||||
# Verify proof
|
# Verify proof
|
||||||
|
|
Loading…
Reference in New Issue