From 807650e8a165c3930fd5b6604f511ad7f0779373 Mon Sep 17 00:00:00 2001 From: Ramana Kumar Date: Sat, 1 Oct 2022 15:25:47 +0100 Subject: [PATCH] Fix some type annotations for blobs blobs should not be Sequence[BLSFieldElement], it should be Sequence[Sequence[BLSFieldElement]]. But we can be more specific and use Sequence[Blob]. --- specs/eip4844/validator.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/specs/eip4844/validator.md b/specs/eip4844/validator.md index c29a7c414..e1bcf9564 100644 --- a/specs/eip4844/validator.md +++ b/specs/eip4844/validator.md @@ -117,7 +117,7 @@ def compute_powers(x: BLSFieldElement, n: uint64) -> Sequence[BLSFieldElement]: ```python def compute_aggregated_poly_and_commitment( - blobs: Sequence[Sequence[BLSFieldElement]], + blobs: Sequence[Blob], kzg_commitments: Sequence[KZGCommitment]) -> Tuple[Polynomial, KZGCommitment]: """ Return the aggregated polynomial and aggregated KZG commitment. @@ -167,7 +167,7 @@ def validate_blobs_sidecar(slot: Slot, ### `compute_proof_from_blobs` ```python -def compute_proof_from_blobs(blobs: Sequence[BLSFieldElement]) -> KZGProof: +def compute_proof_from_blobs(blobs: Sequence[Blob]) -> KZGProof: commitments = [blob_to_kzg_commitment(blob) for blob in blobs] aggregated_poly, aggregated_poly_commitment = compute_aggregated_poly_and_commitment(blobs, commitments) x = hash_to_bls_field(PolynomialAndCommitment( @@ -206,7 +206,7 @@ use the `payload_id` to retrieve `blobs` and `blob_kzg_commitments` via `get_blo ```python def validate_blobs_and_kzg_commitments(execution_payload: ExecutionPayload, - blobs: Sequence[BLSFieldElement], + blobs: Sequence[Blob], blob_kzg_commitments: Sequence[KZGCommitment]) -> None: # Optionally sanity-check that the KZG commitments match the versioned hashes in the transactions assert verify_kzg_commitments_against_transactions(execution_payload.transactions, blob_kzg_commitments)