IntersectMBO / IntersectMBO/cardano-ledger
Revise Property 15.3 (Existence of roll back function) in Shelley Spec
Open
:scroll: formal-spec
- Dominant language
- Haskell
- Stars
- 295
- Forks
- 179
- Avg merge
- 4d 7h
- Merged PRs (30d)
- 29
Description
Reformulate Property 15.3 (Existence of roll back function) in Shelley Spec to more closely resemble how rollbacks are actually implemented in the consensus layer.
Contributor guide
Research direction
Start by locating Property 15.3 in the Shelley Spec and compare it with how rollbacks are implemented in the consensus layer. Reformulate the property to match that implementation, then verify that the revised statement accurately describes the consensus behavior.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- haskell
- Domain
- blockchain
- Issue type
- Documentation
- Difficulty
- 4/5
- Estimated time
- 3-5 days
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 25/100