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

Change blob verification fiat-shamir to single blob

This commit is contained in:
Dankrad Feist 2023-01-29 13:05:02 +00:00
parent b76ea49fec
commit 7f1748b3c8
No known key found for this signature in database
GPG Key ID: 6815E6A20BEBBABA
1 changed files with 9 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -540,15 +540,15 @@ def verify_aggregate_kzg_proof_multi(list_blobs: Sequence[Sequence[Blob]],
Public method. Public method.
""" """
aggregated_poly_commitments, evaluation_challenges, ys = [], [], [] commitments, evaluation_challenges, ys, proofs = [], [], [], []
for blobs, commitments_bytes in zip(list_blobs, list_commitments_bytes): for blob, commitment_bytes, proof_bytes in zip(blobs, commitments_bytes, proofs_bytes):
aggregated_poly_commitment, evaluation_challenge, y = \ commitment = bytes_to_kzg_commitment(commitment_bytes)
verify_aggregate_kzg_proof_aggregation(blobs, commitments_bytes) commitments.append(commitment)
aggregated_poly_commitments.append(aggregated_poly_commitment) evaluation_challenge = compute_challenge(blob, commitment)
evaluation_challenges.append(evaluation_challenge) evaluation_challenges.append(evaluation_challenge)
ys.append(y) polynomial = blob_to_polynomial(blob)
ys.append(evaluate_polynomial_in_evaluation_form(polynomial, evaluation_challenge))
proofs.append(bytes_to_kzg_proof(proof_bytes))
list_aggregated_proof = [bytes_to_kzg_proof(proof) for proof in list_aggregated_proof_bytes] return verify_kzg_proof_multi(commitments, evaluation_challenges, ys, proofs)
return verify_kzg_proof_multi(aggregated_poly_commitments, evaluation_challenges, ys, list_aggregated_proof)
``` ```