IntersectMBO / IntersectMBO/formal-ledger-specifications
Remaining MA features/proofs
Open
📋 backlog
era: shelley-ma
- Dominant language
- Agda
- Stars
- 52
- Forks
- 20
- Avg merge
- 6d 14h
- Merged PRs (30d)
- 7
Description
The current MA implementation is still missing a few things, in particular:
- [x] One or more implementations of the `Value` type (Fig. 3)
- [ ] Adjusting `scriptsNeeded` to include the `PolicyID`s of `mint` (Fig. 8)
- [ ] Preservation of value for token algebras (Lemma 8.1)
- [ ] Maybe more?
Contributor guide
Assessment
This issue has not been assessed yet.