miden-core-lib cargo

This project isn't being tracked yet.