Franziskus Kiefer

Function `_F` in blake2b expects a `uint128_t` as third argument but gets `uint64_t` depending on `to_double_word`. @denismerigoux can you look into this?

Add support for running [wycheproof test vectors](https://github.com/google/wycheproof/tree/master/testvectors).

`ctr.py` should be either used or removed.

Type checker

3

To make sure that hacspecs are properly typed we need a way to type check specs. We started out using [mypy](https://github.com/python/mypy) but it turns out it doesn't support everything we...

ocaml parser

2

I'd like to merge the ocaml parser to master if it's working. But I tried to use it and failed 😢 Or am I using it wrong @strub ? ./main.native...

Tracking progress on the spec checker. There are currently three separate efforts - haskell checker in [spec-checker](../tree/master/spec-checker) - python checker in [spec-checker/spec-checker.py](../tree/master/spec-checker/spec-checker.py) - ocaml checker in [spec-checker-ocaml](../tree/ocaml-parser/spec-checker-ocaml) (branch)

Some of the information that gets lost when generating the C code we should add back here in Rust.

We either relies on the crypto provider to generate randomness or uses `rand::rngs::OsRng` for generating randomness. The latter is cryptographically secure but not ideal because it taps into the OS...

P384 and P521 are not supported by evercrypt yet. But it would be nice to support them here through some other implementation.