Jonathan Protzenko
Jonathan Protzenko
Yup! I'll respond on the issue so that we don't scatter the overall discussion across individual PRs.
Great! sha384/sha512 is a no-brainer and I'll send a followup PR very soon. We have SHA3 as well, so I can send that in, too, with the caveat that we...
@gpshead I'll let you check MD5/SHA1 in the checklist above... quick question: what is the timeline for landing sha3? it requires a little bit of work on my side and...
With #103597, there is only one algorithm left in hashlib that is not verified: Blake2. I took a quick glance at the code, and I have a few high-level points...
Thanks, that's useful context! - Good to know that openssl is not used for blake2. In that case, these are not used? https://github.com/python/cpython/blob/main/Modules/_hashopenssl.c#L133 - You are correct that libb2 performs...
The benchmarks for HACL vs Blake2 reference implementation are still on a [branch](https://github.com/cryspen/hacl-packages/pull/402), but I managed to run them. Here are the relevant lines: ``` BLAKE2_blake2b_ref_streaming 2450 ns 2449 ns...
Quick update: I took a look at our blake2 code and it doesn't expose enough of the parameterized API which Python currently offers for tree hashing. It's not a big...
Can you try linking against `obj/libhaclml.cmxa`? It contains all of the spec modules, extracted to OCaml, linked together, for the benefits of clients who want to link against them. ocamlbuild...
No response, closing.
@pnmadelaine are we done with this? sounds like your (excellent) rewrite of the APIs with consistent names has landed, no?