index
:
fiat-crypto
master
fast, formally verified cryptography
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Mode
Name
Size
-rw-r--r--
.dir-locals.el
481
log
plain
-rw-r--r--
.gitignore
3428
log
plain
-rw-r--r--
.gitmodules
263
log
plain
-rw-r--r--
.mailmap
2311
log
plain
-rw-r--r--
.travis.yml
6522
log
plain
-rw-r--r--
AUTHORS
597
log
plain
-rw-r--r--
CONTRIBUTORS
1200
log
plain
-rw-r--r--
LICENSE
1119
log
plain
-rw-r--r--
Makefile
27355
log
plain
-rw-r--r--
README.md
7430
log
plain
-rw-r--r--
_CoqProject
348439
log
plain
m---------
bbv
@ 8eb02b5
0
log
-rwxr-xr-x
capture.sh
735
log
plain
m---------
coqprime
@ be32c40
0
log
-rw-r--r--
crypto-defects.md
5955
log
plain
-rw-r--r--
curve25519_32.c
40682
log
plain
-rw-r--r--
curve25519_64.c
24355
log
plain
d---------
etc
522
log
plain
-rw-r--r--
expansion.md
4303
log
plain
-rwxr-xr-x
extract-function-header.sh
614
log
plain
-rwxr-xr-x
extract-function.sh
2263
log
plain
-rw-r--r--
failures.txt
10342
log
plain
-rw-r--r--
folkwisdom.md
17563
log
plain
-rw-r--r--
generate_parameters.py
14294
log
plain
d---------
liblow
73
log
plain
-rw-r--r--
measure.c
3003
log
plain
d---------
measurements
590
log
plain
-rw-r--r--
optimizations.md
7332
log
plain
-rw-r--r--
p224_32.c
92817
log
plain
-rw-r--r--
p224_64.c
46047
log
plain
-rw-r--r--
p256_32.c
112615
log
plain
-rw-r--r--
p256_64.c
45722
log
plain
-rw-r--r--
p384_32.c
256858
log
plain
-rw-r--r--
p384_64.c
89577
log
plain
-rw-r--r--
p521_32.c
88175
log
plain
-rw-r--r--
p521_64.c
44720
log
plain
-rw-r--r--
primes.txt
1295
log
plain
-rwxr-xr-x
regenerate-curves.sh
322
log
plain
-rwxr-xr-x
register-allocate.py
47875
log
plain
-rw-r--r--
secp256k1_32.c
144692
log
plain
-rw-r--r--
secp256k1_64.c
51617
log
plain
d---------
src
389
log
plain
-rw-r--r--
synthesis-parameters.txt
985
log
plain
d---------
third_party
234
log
plain