Add new verification to is_data_available

jtraglia · jtraglia · commit 3e80dc8ed020 · 2024-10-03T07:42:45.000-05:00
diff --git a/specs/_features/eip7594/fork-choice.md b/specs/_features/eip7594/fork-choice.md
@@ -31,6 +31,7 @@ def is_data_available(beacon_block_root: Root) -> bool:
     # `MIN_EPOCHS_FOR_DATA_COLUMN_SIDECARS_REQUESTS` epochs.  
     column_sidecars = retrieve_column_sidecars(beacon_block_root)
     return all(
+        verify_data_column_sidecar(column_sidecar) and
         verify_data_column_sidecar_kzg_proofs(column_sidecar)
         for column_sidecar in column_sidecars
     )

Original file line number	Diff line number	Diff line change
`@@ -31,6 +31,7 @@ def is_data_available(beacon_block_root: Root) -> bool:`
`31`	`31`	# `MIN_EPOCHS_FOR_DATA_COLUMN_SIDECARS_REQUESTS` epochs.
`32`	`32`	`column_sidecars = retrieve_column_sidecars(beacon_block_root)`
`33`	`33`	`return all(`
	`34`	`+ verify_data_column_sidecar(column_sidecar) and`
`34`	`35`	`verify_data_column_sidecar_kzg_proofs(column_sidecar)`
`35`	`36`	`for column_sidecar in column_sidecars`
`36`	`37`	`)`