IntersectMBO / IntersectMBO/ouroboros-consensus
Check conformace w.r.t. PBFT rules
- Dominant language
- Haskell
- Stars
- 67
- Forks
- 43
- Avg merge
- 5d 13h
- Merged PRs (30d)
- 43
Description
The consensus layer implements the PBFT rules of the [blockchain spec](https://hydra.iohk.io/job/Cardano/cardano-ledger-specs/byronChainSpec/latest/download-by-type/doc-pdf/blockchain-spec). We should check that valid generated chains are accepted by the consensus layer, and conversely, that invalid chains are rejected.
For the conformance tests of invalid chains, there are the abstract predicate failures we could test conformance with:
- [ ] Cardano.Spec.Chain.STS.Rule.Pbft
- [ ] SlotNotAfterLastBlock
- [ ] SlotInTheFuture
- [ ] PrevHashNotMatching
- [ ] InvalidHeaderSignature
- [ ] Cardano.Spec.Chain.STS.Rule.SigCnt
- [ ] TooManyIssuedBlocks
- [ ] NotADelegate
Related to https://github.com/input-output-hk/cardano-ledger-specs/issues/787
Contributor guide
Assessment
This issue has not been assessed yet.