Jonathan Protzenko comments

Results 404 comments of


                                            Jonathan Protzenko

Executing the P256 spec in OCaml leads to a stack overflow

hey @Frosne, any news on this?

About the Evercrypt. AEAD file

We have now documented the header file extensively. Please file a separate issue if the documentation is not helpful here: https://github.com/hacl-star/hacl-star/blob/main/dist/gcc-compatible/EverCrypt_AEAD.h Thanks

Use non-zero pre-allocated vectors in Merkle tree deserialization.

Closing this as the repository has now moved to hacl-star/merkle-tree

Building HACL* w/o Vale

I think all of this should be obsolete now with the advent of dotnet, right? Closing, since we do not have much control over msbuild in any case. Thanks.

Minimum supported version for C compiler

To be closed once I finish & merge https://github.com/hacl-star/hacl-star/pull/561

Build `hacl-star-raw` OCaml bindings with Dune

FYI, in https://github.com/FStarLang/karamel/pull/212, Tahina and I looked into building bindings with Dune. In the current state of things, building with dune is *worse* than building by hand with GNU Make....

Code quality improvements

Ongoing work for unused variable elimination going on in https://github.com/hacl-star/hacl-star/pull/582 (it's tricky, so need to iterate before we have something that works just fine)

Usability fixes for the `make ci` target

All of these were fixed over time.

Testing of Chacha20Poly1305 doesn't work (missing some Evercrypt header)

I believe this is all fixed, since the tests have been split according to the level of CPU support they require. Closing.

Compilation failures on CentOS 7 / Oracle Linux 7

Regarding __has_include: to be removed in https://github.com/hacl-star/hacl-star/pull/561 Regarding compiler warnings for SSE3: is this something that is now handled properly in hacl-packages? @franziskuskiefer