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
3461
log
plain
-rw-r--r--
.gitmodules
263
log
plain
-rw-r--r--
.mailmap
2311
log
plain
-rw-r--r--
.travis.yml
6327
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
8993
log
plain
-rw-r--r--
README.md
15101
log
plain
-rw-r--r--
_CoqProject
9597
log
plain
m---------
bbv
@ 99770e5
0
log
m---------
coqprime
@ be32c40
0
log
-rw-r--r--
crypto-defects.md
5955
log
plain
-rw-r--r--
curve25519_32.c
42299
log
plain
-rw-r--r--
curve25519_64.c
25826
log
plain
d---------
etc
559
log
plain
-rw-r--r--
folkwisdom.md
17563
log
plain
-rw-r--r--
p224_32.c
95652
log
plain
-rw-r--r--
p224_64.c
47811
log
plain
-rw-r--r--
p256_32.c
110960
log
plain
-rw-r--r--
p256_64.c
45415
log
plain
-rw-r--r--
p384_32.c
257556
log
plain
-rw-r--r--
p384_64.c
92589
log
plain
-rw-r--r--
p448_solinas_64.c
42110
log
plain
-rw-r--r--
p484_64.c
114388
log
plain
-rw-r--r--
p521_32.c
89529
log
plain
-rw-r--r--
p521_64.c
46036
log
plain
-rw-r--r--
primes.txt
1295
log
plain
-rw-r--r--
secp256k1_32.c
147479
log
plain
-rw-r--r--
secp256k1_64.c
55131
log
plain
d---------
src
2152
log
plain