IntersectMBO / IntersectMBO/formal-ledger-specifications
[Dijkstra] Add DRep update certificate
Open
era: dijkstra
- Dominant language
- Agda
- Stars
- 52
- Forks
- 20
- Avg merge
- 6d 14h
- Merged PRs (30d)
- 7
Description
This aligns the spec better with the implementation
Contributor guide
Research direction
Start with the Dijkstra specification and the existing DRep update certificate implementation. Determine which certificate definition is missing and compare the specification with the implementation; done means the specification aligns with the implementation.
Written by the indexing model from the issue text.
Assessment
- Domain
- backend
- Issue type
- Feature
- Difficulty
- 4/5
- Estimated time
- 3-5 days
- Activity status
- Active
- Clarity
- Needs clarification
- Newbie friendliness
- 35/100