Jonathan Protzenko
Jonathan Protzenko
well, it turned out to be a missing `eval $(opam env)` in the terminal I started `gvim` from... wondering if there's any better way to check consistency?
@franziskuskiefer do we run sanitizers on hacl-packages CI?
Yet another issue fixed in hacl-packages. Thanks, hacl-packages!
The original question can now be answered in two ways. - We have official Rust bindings in several places... the evercrypt-rust crate that Franziskus mentioned above, and the in-progress hacl-rust...
We're going through pull requests with the other hacl maintainers and this one still doesn't seem to be settled. We don't see any dynamic checks in the P256 code that...
We now produce `obj/libhaclml.cmxa` as part of the build. Assuming you have a successful build of HACL*, then you should be able to include obj/ to get the benefits of...
We've been developing safe APIs on a best-effort basis. The EverCrypt layer now includes much safer APIs, and we now have much better documentation that documents the expectations. Let's reopen...
No intention to merge this any time soon, and it has bitrotted. We'll take inspiration from this PR once we have the resources to (finally) have a C implementation of...
To be filed as an F* issue if anyone feels like it... not specifically a HACL* issue.
Same as #327 (cross-referencing the two issues)