status-im/eth2.0-specs
2
0
Fork 0
mirror of https://github.com/status-im/eth2.0-specs.git synced 2025-01-20 15:38:55 +00:00
Code Issues Projects Releases Wiki Activity

Add KZG multi verify function

Browse Source
This commit is contained in:
Dankrad Feist 2023-01-27 14:23:38 +00:00
parent f91b9863ce
commit b76ea49fec
No known key found for this signature in database
GPG Key ID: 6815E6A20BEBBABA
1 changed files with 25 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -527,3 +527,28 @@ def verify_blob_kzg_proof_multi(blobs: Sequence[Blob],
return verify_kzg_proof_multi(commitments, evaluation_challenges, ys, proofs)
```
#### `verify_aggregate_kzg_proof_multi`
```python
def verify_aggregate_kzg_proof_multi(list_blobs: Sequence[Sequence[Blob]],
list_commitments_bytes: Sequence[Sequence[Bytes48]],
list_aggregated_proof_bytes: Sequence[Bytes48]) -> bool:
"""
Given a list of blobs and an aggregated KZG proof, verify that they correspond to the provided commitments.
Public method.
"""
aggregated_poly_commitments, evaluation_challenges, ys = [], [], []
for blobs, commitments_bytes in zip(list_blobs, list_commitments_bytes):
aggregated_poly_commitment, evaluation_challenge, y = \
verify_aggregate_kzg_proof_aggregation(blobs, commitments_bytes)
aggregated_poly_commitments.append(aggregated_poly_commitment)
evaluation_challenges.append(evaluation_challenge)
ys.append(y)
list_aggregated_proof = [bytes_to_kzg_proof(proof) for proof in list_aggregated_proof_bytes]
return verify_kzg_proof_multi(aggregated_poly_commitments, evaluation_challenges, ys, list_aggregated_proof)
```