| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | 2213_32.json | 114 | logplain |
| -rw-r--r-- | 2519_32.json | 119 | logplain |
| -rw-r--r-- | 25519_32.json | 120 | logplain |
| -rw-r--r-- | 25519_64.json | 109 | logplain |
| -rw-r--r-- | 41417_32.json | 144 | logplain |
| -rw-r--r-- | 5211_32.json | 149 | logplain |
| -rw-r--r-- | GFtemplate3mod4 | 29875 | logplain |
| -rw-r--r-- | GFtemplate5mod8 | 30288 | logplain |
| -rw-r--r-- | README.md | 73 | logplain |
| -rwxr-xr-x | copy_bounds.sh | 782 | logplain |
| -rw-r--r-- | fill_template.py | 1079 | logplain |
 |
index : fiat-crypto | |
| fast, formally verified cryptography |
| aboutsummaryrefslogtreecommitdiff |