fix kzg inclusion proof logic
This commit is contained in:
parent
6cdc6bfa32
commit
eb46f4c486
|
@ -327,7 +327,7 @@ proc verify_data_column_sidecar_kzg_proofs*(sidecar: DataColumnSidecar): Result[
|
||||||
# https://github.com/ethereum/consensus-specs/blob/5f48840f4d768bf0e0a8156a3ed06ec333589007/specs/_features/eip7594/p2p-interface.md#verify_data_column_sidecar_inclusion_proof
|
# https://github.com/ethereum/consensus-specs/blob/5f48840f4d768bf0e0a8156a3ed06ec333589007/specs/_features/eip7594/p2p-interface.md#verify_data_column_sidecar_inclusion_proof
|
||||||
proc verify_data_column_sidecar_inclusion_proof*(sidecar: DataColumnSidecar): Result[void, string] =
|
proc verify_data_column_sidecar_inclusion_proof*(sidecar: DataColumnSidecar): Result[void, string] =
|
||||||
# Verify if the given KZG commitments are included in the beacon block
|
# Verify if the given KZG commitments are included in the beacon block
|
||||||
let gindex = 27.GeneralizedIndex
|
let gindex = kzg_commitment_inclusion_proof_gindex(sidecar.index)
|
||||||
if not is_valid_merkle_branch(
|
if not is_valid_merkle_branch(
|
||||||
hash_tree_root(sidecar.kzg_commitments),
|
hash_tree_root(sidecar.kzg_commitments),
|
||||||
sidecar.kzg_commitments_inclusion_proof,
|
sidecar.kzg_commitments_inclusion_proof,
|
||||||
|
|
Loading…
Reference in New Issue