From 86d955ab7f286a2595ec7f3966785de38f717ccf Mon Sep 17 00:00:00 2001 From: Dankrad Feist Date: Mon, 13 Feb 2023 14:32:50 +0000 Subject: [PATCH] Call compute_challenge with polynomial as argument --- specs/deneb/polynomial-commitments.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/specs/deneb/polynomial-commitments.md b/specs/deneb/polynomial-commitments.md index 40fb83ad4..d4e3b26d6 100644 --- a/specs/deneb/polynomial-commitments.md +++ b/specs/deneb/polynomial-commitments.md @@ -547,6 +547,8 @@ def verify_aggregate_kzg_proof_multi(list_blobs: Sequence[Sequence[Blob]], evaluation_challenge = compute_challenge(blob, commitment) evaluation_challenges.append(evaluation_challenge) polynomial = blob_to_polynomial(blob) + evaluation_challenge = compute_challenge(polynomial, commitment) + evaluation_challenges.append(evaluation_challenge) ys.append(evaluate_polynomial_in_evaluation_form(polynomial, evaluation_challenge)) proofs.append(bytes_to_kzg_proof(proof_bytes))