status-im
/
eth2.0-specs
mirror of https://github.com/status-im/eth2.0-specs.git
2
0
Fork 0
Code Issues Projects Releases Wiki Activity

Call compute_challenge with polynomial as argument

This commit is contained in:
Dankrad Feist 2023-02-13 14:32:50 +00:00
parent 7f1748b3c8
commit 86d955ab7f
No known key found for this signature in database
GPG Key ID: 6815E6A20BEBBABA
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
specs/deneb/polynomial-commitments.md
View File

@ -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))