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

Update specs/deneb/polynomial-commitments.md 

Co-authored-by: George Kadianakis <desnacked@riseup.net>
This commit is contained in:
dankrad 2023-02-14 20:00:58 +00:00 committed by GitHub
parent 86d955ab7f
commit c49a2c2855
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -406,7 +406,7 @@ def verify_kzg_proof_multi(commitments: Sequence[KZGCommitment],
num_commitments = int.to_bytes(len(commitments), 8, ENDIANNESS) num_commitments = int.to_bytes(len(commitments), 8, ENDIANNESS)
data = RANDOM_CHALLENGE_KZG_MULTI_DOMAIN + degree_poly + num_commitments data = RANDOM_CHALLENGE_KZG_MULTI_DOMAIN + degree_poly + num_commitments
# Append each polynomial which is composed by field elements # Append all inputs to the transcript before we hash
for commitment, z, y, proof in zip(commitments, zs, ys, proofs): for commitment, z, y, proof in zip(commitments, zs, ys, proofs):
data += commitment \ data += commitment \
+ int.to_bytes(z, BYTES_PER_FIELD_ELEMENT, ENDIANNESS) \ + int.to_bytes(z, BYTES_PER_FIELD_ELEMENT, ENDIANNESS) \