index
:
fiat-crypto
master
fast, formally verified cryptography
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
/
SpecificGen
Mode
Name
Size
-rw-r--r--
2213_32.json
114
log
plain
-rw-r--r--
2519_32.json
119
log
plain
-rw-r--r--
25519_32.json
120
log
plain
-rw-r--r--
25519_64.json
109
log
plain
-rw-r--r--
41417_32.json
144
log
plain
-rw-r--r--
5211_32.json
149
log
plain
-rw-r--r--
GF2213_32.v
27563
log
plain
-rw-r--r--
GF2213_32Bounded.v
22288
log
plain
-rw-r--r--
GF2213_32BoundedAddCoordinates.v
3687
log
plain
-rw-r--r--
GF2213_32BoundedCommon.v
41134
log
plain
-rw-r--r--
GF2213_32BoundedExtendedAddCoordinates.v
3020
log
plain
-rw-r--r--
GF2213_32ExtendedAddCoordinates.v
4124
log
plain
-rw-r--r--
GF2213_32Reflective.v
6968
log
plain
d---------
GF2213_32Reflective
370
log
plain
-rw-r--r--
GF2213_32ReflectiveAddCoordinates.v
4384
log
plain
-rw-r--r--
GF2519_32.v
27337
log
plain
-rw-r--r--
GF2519_32Bounded.v
22288
log
plain
-rw-r--r--
GF2519_32BoundedAddCoordinates.v
3687
log
plain
-rw-r--r--
GF2519_32BoundedCommon.v
41134
log
plain
-rw-r--r--
GF2519_32BoundedExtendedAddCoordinates.v
3020
log
plain
-rw-r--r--
GF2519_32ExtendedAddCoordinates.v
4124
log
plain
-rw-r--r--
GF2519_32Reflective.v
6968
log
plain
d---------
GF2519_32Reflective
370
log
plain
-rw-r--r--
GF2519_32ReflectiveAddCoordinates.v
4384
log
plain
-rw-r--r--
GF25519_32.v
27953
log
plain
-rw-r--r--
GF25519_32Bounded.v
22484
log
plain
-rw-r--r--
GF25519_32BoundedAddCoordinates.v
3728
log
plain
-rw-r--r--
GF25519_32BoundedCommon.v
41500
log
plain
-rw-r--r--
GF25519_32BoundedExtendedAddCoordinates.v
3046
log
plain
-rw-r--r--
GF25519_32ExtendedAddCoordinates.v
4139
log
plain
-rw-r--r--
GF25519_32Reflective.v
7013
log
plain
d---------
GF25519_32Reflective
370
log
plain
-rw-r--r--
GF25519_32ReflectiveAddCoordinates.v
4414
log
plain
-rw-r--r--
GF25519_64.v
27496
log
plain
-rw-r--r--
GF25519_64Bounded.v
22514
log
plain
-rw-r--r--
GF25519_64BoundedAddCoordinates.v
3729
log
plain
-rw-r--r--
GF25519_64BoundedCommon.v
41633
log
plain
-rw-r--r--
GF25519_64BoundedExtendedAddCoordinates.v
3046
log
plain
-rw-r--r--
GF25519_64ExtendedAddCoordinates.v
4139
log
plain
-rw-r--r--
GF25519_64Reflective.v
7029
log
plain
d---------
GF25519_64Reflective
370
log
plain
-rw-r--r--
GF25519_64ReflectiveAddCoordinates.v
4422
log
plain
-rw-r--r--
GF41417_32.v
28411
log
plain
-rw-r--r--
GF41417_32Bounded.v
22484
log
plain
-rw-r--r--
GF41417_32BoundedAddCoordinates.v
3728
log
plain
-rw-r--r--
GF41417_32BoundedCommon.v
41500
log
plain
-rw-r--r--
GF41417_32BoundedExtendedAddCoordinates.v
3046
log
plain
-rw-r--r--
GF41417_32ExtendedAddCoordinates.v
4139
log
plain
-rw-r--r--
GF41417_32Reflective.v
7013
log
plain
d---------
GF41417_32Reflective
370
log
plain
-rw-r--r--
GF41417_32ReflectiveAddCoordinates.v
4414
log
plain
-rw-r--r--
GF5211_32.v
28453
log
plain
-rw-r--r--
GF5211_32Bounded.v
22288
log
plain
-rw-r--r--
GF5211_32BoundedAddCoordinates.v
3687
log
plain
-rw-r--r--
GF5211_32BoundedCommon.v
41134
log
plain
-rw-r--r--
GF5211_32BoundedExtendedAddCoordinates.v
3020
log
plain
-rw-r--r--
GF5211_32ExtendedAddCoordinates.v
4124
log
plain
-rw-r--r--
GF5211_32Reflective.v
6968
log
plain
d---------
GF5211_32Reflective
370
log
plain
-rw-r--r--
GF5211_32ReflectiveAddCoordinates.v
4384
log
plain
-rw-r--r--
GFtemplate3mod4
29875
log
plain
-rw-r--r--
GFtemplate5mod8
30288
log
plain
-rw-r--r--
README.md
73
log
plain
-rwxr-xr-x
copy_bounds.sh
782
log
plain
-rw-r--r--
fill_template.py
1079
log
plain