https://github.com/project-everest/hacl-star
History
Tip revision: 33159f4cb39ae97bafc29f795bb8b5a0f31eecec authored by Jonathan Protzenko on 06 May 2019, 14:26:25 UTC
Merge branch 'fstar-master' into readme-patch-1
Tip revision: 33159f4
File Mode Size
benchmark
rfc7748_src
Makefile -rw-r--r-- 1.0 KB
README -rw-r--r-- 611 bytes
curve51-ours.c -rw-r--r-- 4.4 KB
curve64-ours.c -rw-r--r-- 4.4 KB
curve64-rfc.c -rw-r--r-- 4.5 KB
merkle_tree_test.c -rw-r--r-- 5.2 KB
merkle_tree_test.h -rw-r--r-- 13 bytes

README

back to top