input-output-hk / high-assurance-legacyLinks
Legacy code connected to the high-assurance implementation of the Ouroboros protocol family
☆78Updated 3 years ago
Alternatives and similar repositories for high-assurance-legacy
Users that are interested in high-assurance-legacy are comparing it to the libraries listed below
Sorting:
- A re-implementation of the Cardano ledger layer, replacing the Byron release☆51Updated 5 years ago
- Semantics of Virtual Machine for IELE prototype blockchain☆133Updated last year
- This repository provides cryptographic libraries that are used in the Byron era of the Cardano node