| 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-- | GF2213_32.v | 22868 | logplain |
| -rw-r--r-- | GF2519_32.v | 22188 | logplain |
| -rw-r--r-- | GF25519_32.v | 23035 | logplain |
| -rw-r--r-- | GF25519_64.v | 22624 | logplain |
| -rw-r--r-- | GF41417_32.v | 22981 | logplain |
| -rw-r--r-- | GF5211_32.v | 23204 | logplain |
| -rw-r--r-- | GFtemplate3mod4 | 21732 | logplain |
| -rw-r--r-- | GFtemplate5mod8 | 22577 | logplain |
| -rw-r--r-- | README.md | 73 | logplain |
| -rw-r--r-- | fill_template.py | 1079 | logplain |
 |
index : fiat-crypto | |
| fast, formally verified cryptography |
| aboutsummaryrefslogtreecommitdiff |