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 | 1131629b19f19d1458db8bc1f2ceb17bf6f49f8a (patch) | |
tree | 5561280fe5850a65f378199fdff153ace423a819 /src/crypto/curve25519-x86_64.h | |
parent | crypto: use unaligned helpers (diff) | |
download | wireguard-monolithic-historical-1131629b19f19d1458db8bc1f2ceb17bf6f49f8a.tar.xz wireguard-monolithic-historical-1131629b19f19d1458db8bc1f2ceb17bf6f49f8a.zip |
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.
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions