IntersectMBO / IntersectMBO/ouroboros-consensus
Verify correctness of Shelley.verifyHeaderIntegrity
Open
- Dominant language
- Haskell
- Stars
- 67
- Forks
- 43
- Avg merge
- 5d 13h
- Merged PRs (30d)
- 43
Description
https://github.com/input-output-hk/ouroboros-network/blob/736ccc6a5ca0f640a0669d4e159c16fc85c41159/ouroboros-consensus-shelley/src/Ouroboros/Consensus/Shelley/Ledger/Integrity.hs#L20-L40
It's annoying that we have to take `tpraosSlotsPerKESPeriod` as an argument.
Note that we ignore the Byron era (or any other eras before the current one in case of Allegra/Mary) entirely.
Is this even correct? What about for Allegra and Mary?
We should test this properly.
Contributor guide
Assessment
This issue has not been assessed yet.