cerc-io/lotus
16
0
Fork 0
Code Issues Pull Requests Packages Projects Releases 27 Wiki Activity

fix: beacon: validate drand change at nv16 correctly

Browse Source
This commit is contained in:
Aayush 2024-03-06 12:23:09 -05:00
parent 64b32ad632
commit daafe73462
1 changed files with 9 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
chain/beacon/beacon.go
View File

@ -89,11 +89,15 @@ func ValidateBlockValues(bSchedule Schedule, nv network.Version, h *types.BlockH
return xerrors.Errorf("expected final beacon entry in block to be at round %d, got %d", maxRound, last.Round) return xerrors.Errorf("expected final beacon entry in block to be at round %d, got %d", maxRound, last.Round)
} }
// Verify that all other entries' rounds are as expected for the epochs in between parentEpoch and h.Height // If the beacon is UNchained, verify that the block only includes the rounds we want for the epochs in between parentEpoch and h.Height
for i, e := range h.BeaconEntries { // For chained beacons, you must have all the rounds forming a valid chain with prevEntry, so we can skip this step
correctRound := currBeacon.MaxBeaconRoundForEpoch(nv, parentEpoch+abi.ChainEpoch(i)+1) if !currBeacon.IsChained() {
if e.Round != correctRound { // Verify that all other entries' rounds are as expected for the epochs in between parentEpoch and h.Height
return xerrors.Errorf("unexpected beacon round %d, expected %d for epoch %d", e.Round, correctRound, parentEpoch+abi.ChainEpoch(i)) for i, e := range h.BeaconEntries {
correctRound := currBeacon.MaxBeaconRoundForEpoch(nv, parentEpoch+abi.ChainEpoch(i)+1)
if e.Round != correctRound {
return xerrors.Errorf("unexpected beacon round %d, expected %d for epoch %d", e.Round, correctRound, parentEpoch+abi.ChainEpoch(i))
}
} }
} }