This repository contains documentation, reports, plans, roadmaps, and more generally all kind of artifacts related to the High Assurance Lab team at the Cardano Foundation which are cutting across other projects boundaries.
For projects' specific items (code, issues, patches, etc...), refer to the following repositories. Each project's status is identified by an icon:
- π : Project is in maintenance mode, no new feature will be developed
- π: Project is not maintained nor developed
- π§ : Project is actively being developed but not ready for widespread usage yet
- π’ : Project is live and actively being developed
- π’ : Project is gathering feedback
- π‘ : Project is at ideation stage
Project | Comment | Status | URL |
---|---|---|---|
cardano-wallet |
Historically the main focus of the team | π | github |
cardano-wallet-agda |
Formal specification for some wallet features | π | github |
cardano-addresses |
CLI tool for addresses and mnemonic manipulation & derivations | π’ | github |
cardano-crypto |
Library for low-level crypto | π | github |
antithesis |
Simulation testing for Cardano ecosystem | π§π’ | Github radicle |
mpfs |
Merkle-Patricia-Forestry generic service | π§ | radicle |
cardano-deposit-wallet |
Safer and faster experimental wallet | π’ | github |
pop |
Track software lifecycle on Cardano, related to mpfs and antithesis |
π‘ | github |
vrf |
Library for VRF crypto | π§ | github |
kes |
Library for KES crypto | π§ | github |
cardano-wallet-client |
π | github | |
amaru |
Rust Cardano node | π§ | github |