IntersectMBO / IntersectMBO/formal-ledger-specifications
Support bootstrap addresses in conformance
Open
conformance
- Dominant language
- Agda
- Stars
- 52
- Forks
- 20
- Avg merge
- 6d 14h
- Merged PRs (30d)
- 7
Description
This issue has no description.
Contributor guide
Research direction
The issue does not name any files, tests, or entry points. First clarify which conformance specification covers bootstrap addresses and where that specification is implemented; done means the requested bootstrap-address support is defined and conformance checks pass.
Written by the indexing model from the issue text.
Assessment
- Domain
- blockchain
- Issue type
- Feature
- Difficulty
- 5/5
- Estimated time
- Over a week
- Activity status
- Quiet
- Clarity
- Needs clarification
- Newbie friendliness
- 25/100