IntersectMBO / IntersectMBO/ouroboros-consensus
Use the real crypto in formal spec tests
Open
conformance
enhancement
formal-spec
- Dominant language
- Haskell
- Stars
- 67
- Forks
- 43
- Avg merge
- 5d 13h
- Merged PRs (30d)
- 43
Description
Currently, the small programs that test the reference implementation generated by the Agda specification use fake crypto. As a first "baby step" towards conformance testing, the purpose of this work is to use the crypto used by the real implementation, namely `StandardCrypto`.
Contributor guide
Assessment
This issue has not been assessed yet.