Skip to content

Commit

Permalink
EIP4844: Remove expected_ prefix
Browse files Browse the repository at this point in the history
  • Loading branch information
asn-d6 committed Jan 25, 2023
1 parent d6bb1b9 commit 3db5654
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions specs/eip4844/polynomial-commitments.md
Original file line number Diff line number Diff line change
Expand Up @@ -495,18 +495,18 @@ def compute_aggregate_kzg_proof(blobs: Sequence[Blob]) -> KZGProof:

```python
def verify_aggregate_kzg_proof(blobs: Sequence[Blob],
expected_commitments_bytes: Sequence[Bytes48],
commitments_bytes: Sequence[Bytes48],
aggregated_proof_bytes: Bytes48) -> bool:
"""
Given a list of blobs and an aggregated KZG proof, verify that they correspond to the provided commitments.
Public method.
"""
expected_commitments = [bytes_to_kzg_commitment(c) for c in expected_commitments_bytes]
commitments = [bytes_to_kzg_commitment(c) for c in commitments_bytes]

aggregated_poly, aggregated_poly_commitment, evaluation_challenge = compute_aggregated_poly_and_commitment(
blobs,
expected_commitments
commitments
)

# Evaluate aggregated polynomial at `evaluation_challenge` (evaluation function checks for div-by-zero)
Expand Down

0 comments on commit 3db5654

Please sign in to comment.