diff options
| author | Jason A. Donenfeld <Jason@zx2c4.com> | 2018-08-27 22:37:37 -0600 |
|---|---|---|
| committer | Jason A. Donenfeld <Jason@zx2c4.com> | 2018-08-28 23:20:13 -0600 |
| commit | 3983ac3ec246ed537bb049aa44c6db8dd4e6586a (patch) | |
| tree | 880fbd2674454f010e92507ebaf40ab8d5b604dd /src/tests | |
| parent | 470a0a36d579980431361f23e8f319d5c68aa4af (diff) | |
curve25519-hacl64: use formally verified C for comparisons
The previous code had been proved in Z3, but this new code from upstream
KreMLin is directly generated from the F*, which is preferable. The
assembly generated is identical.
Signed-off-by: Jason A. Donenfeld <Jason@zx2c4.com>
Diffstat (limited to 'src/tests')
0 files changed, 0 insertions, 0 deletions