Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Crypto trait in the high level interface and EAD #139

Merged

Conversation

chrysn
Copy link
Collaborator

@chrysn chrysn commented Nov 15, 2023

So far, we've only used crypto traits (#127) in the low-level objects, doing the hard-to-hacspec parts. This now applies the same to the high-level objects.

It still doesn't succeed in getting the dependency on all-the-implementations out, but at least now it's just a dev-dependency (depended on by the tests), and not a full dependency any more.

Examples moved to directly using the default edhoc-crypto selection, which makes it still easy to test around; actual applications I'd expect to depend on edhoc-crypto-something directly.

These are added trivially (all just say "Crypto"), and this eases their
use in other objects that otherwise need manual Debug implementations.
This allows pushing back the edhoc-crypto ("the default implementation
that is selected statically, making all implementations possible
dependencies") into the dev-dependencies.

The crypto-* features are removed from edhoc-rs; testing depends on
edhoc-crypto being pulled in in parallel to the test, and a feature
selected on that.

Follow-up-for: openwsn-berkeley#127
@chrysn
Copy link
Collaborator Author

chrysn commented Nov 15, 2023

As git dev-dependencies are ignored by crates.io, I think that with this PR we can start #98 (publication to crates.io) over in earnest: edhoc-ead*, edhoc-consts, edhoc-crypto-trait and edhoc-rs could go to crates.io; the rest will stay unpublished for the moment.

[edit: not quite -- edhoc-ead-zeroconf also depends on edhoc-crypto ... but that can be fixed]

@chrysn chrysn changed the title Crypto trait in the high level interface Crypto trait in the high level interface and EAD Nov 15, 2023
@chrysn chrysn mentioned this pull request Nov 15, 2023
2 tasks
@geonnave
Copy link
Collaborator

Went through and it looks good!

The hax side fails but due to a known bug, should work when this is merged.

Will wait a bit before merge in case @malishav wants to take a look.

@geonnave geonnave merged commit dbc44ff into openwsn-berkeley:main Nov 17, 2023
24 checks passed
@chrysn chrysn deleted the more-crypto-trait branch November 17, 2023 11:53
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants