v0.3.0-rc1

What's Changed

New features

• Core functions for the lake-authz draft by @geonnave in #110
• EAD zeroconf: send full CRED_V in message_2 by @geonnave in #117

Bugs fixed

• Fix: make hax skip RNG functions by @geonnave in #118

Other Changes

• Update dependencies that broke CI by @chrysn in #102
• Adjust Rust version so that hax can translate it into fstar by @geonnave in #97
• Allow applications to pick their C_x by @chrysn in #104
• Removing hacspec by @geonnave in #106
• Update readme by @geonnave in #109
• API: Use u8 instead of hex str by @chrysn in #101
• Add pre-commit config by @geonnave in #112
• Add default features to edhoc-rs-no_std example and update README.md by @malishav in #113
• chore,ci: make release step not depend on build-fstar by @geonnave in #122
• fix,ci: make release step not depend on build-fstar by @geonnave in #123

New Contributors

• @chrysn made their first contribution in #102

Full Changelog: v0.2.1...v0.3.0-rc1