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.

Sign up for GitHub

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

Add features for assurance levels #314

Open

franziskuskiefer opened this issue Jun 12, 2024 · 2 comments

Member

franziskuskiefer commented Jun 12, 2024

Add features for the different assurance levels in libcrux and it's sub-crates.

Correctness proof
Panic free
unverified/experimental

Member Author

franziskuskiefer commented Jun 17, 2024 •

edited

Loading

pure rust
side-channels

Member Author

franziskuskiefer commented Jun 26, 2024

@jschneider-bensch is adding some features in #329. Can you update what the plan is here?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment