karthikbhargavan

I think there should be a streaming API for signing/verification. Copying the message is not the right way to do this. > On 23 May 2021, at 10:50, Franziskus Kiefer...

You appear to have inconsistent state between fstar and hacl. Can you clean both repos and recompile from scratch? On Mon, Apr 29, 2019, 10:56 jamesbarne wrote: > After I...

Questions: - What is the suggested format of Changes.md? Should we add a pointer to the commit? - Do we add a line for each change, e.g. does an rlimit...

Looks like this is an easy win, so I am for it.

Yeah. Shall we standardize on Scalar32 and Vec128/256? On Wed, Feb 12, 2020, 18:06 Benjamin Beurdouche wrote: > I am fine with anything, but we should decide on which to...

We're certainly interested in SIKE/BLS etc. Depending on what you start working on, give us a ping in case we already have components you can reuse.

@Frosne could you give some motivation for these modifications? And yes, can you comment on #556?

Thanks, these reasons make sense. I am all for reducing redundancy and verification times. Can we measure the performance impact of this change? Are there other functions from Bignum we...

I think the moment we have some benchmarks in this PR, we can go ahead with this. I am fine with merging.

This is unexpected since our previous benchmarks indicated there should be a *speedup*. Let us try to figure out why this slowdown and whether there is an easy fix, and...