Jonathan Protzenko
Jonathan Protzenko
Sorry, I meant something like this: ``` typedef struct { // possibly more fields KRML_PRE_ALIGN vec256 x KRML_POST_ALIGN; } state; ... state *s = KRML_ALIGNED_MALLOC(sizeof state); ... KRML_ALIGNED_FREE(s); ``` I...
Thanks for the pointers on aligned malloc. Unsurprisingly, MSVC doesn't implement the C11-compliant `aligned_malloc`. I would probably use `KRML_*` macros like in the example above, then add in the krml...
This is now fixed.
Hi Christoph, There is a massive rewrite underway that fixes this. However, it's very labor-intensive, and many algorithms need to be rewritten to avoid the insertion of null-checks. Do you...
This is what I'm observing on my laptop: ``` [FSTAR-DEPEND (make)], 0:18.15 [VALE-DEPEND], 0:06.89 [FSTAR-DEPEND (full)], 0:24.71 ``` this is after a lot of performance improvements performed on `fstar/src/parser/FStar.Parser.Dep.fs` circa...
Hello, Apologies for the delay in responding, several of us were off, and it took a while to settle on a policy for external contributions. First of all, thanks very...
@karthikbhargavan might know who else is working on post-quantum stuff -- as far as I know, we have: - qtesla on a branch somewhere - a very preliminary implementation of...
so the "abstract" struct feature should be disabled for c89, and the struct definitions should just be made transparent? sounds like a new `-fnoabstract-struct` flag is needed for kremlin... thoughts?
We currently don't expose standalone AES and recommend the AEAD construction for all your needs. Have you seen https://hacl-star.github.io/EverCryptAEAD.html?