Block header validation (MS5.4)

[buddhisthead]

Description

"Use the SPD and SPO data together with a VRF calculation to validate block headers, signalling failures"

Intersect Milestone

MS5.4

Acceptance Criteria

• "Verify successful validation of all mainnet blocks"

The context suggests this is only VRF but we should include KES validation as well if we have it. Successful VRF validation requires the SPDD to be correct, so this is dependent on #376

• We do not require correct final values past 214

• "Verify signalled failures on constructed bad headers"

• Verified up to epoch 214 (M)

• We need a way to inject bad headers with broken VRF and/or KES signatures and show (through logs) they are rejected (M)

• Code test harness to detect invalid header (S)

Expected Deliverables

• "Block header validation module"

BlockVRFValidator and BlockKESValidator

• "Test reports"

Simple report showing that all blocks up to mainnet tip are considered valid, and the results of the bad header injection.

[buddhisthead]

@shd Please assign to someone as you desire.

[golddydev]

We have similar issue for VRF validation done already #197

[sandtreader]

Updated description to clarify deliverables for Intersect milestone