| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | Barrett256.v | 16470 | logplain |
| -rw-r--r-- | Montgomery256.v | 16147 | logplain |
| -rw-r--r-- | Prod.v | 17028 | logplain |
| -rw-r--r-- | Spec.v | 7964 | logplain |
| -rw-r--r-- | Translation.v | 59285 | logplain |
 |
index : fiat-crypto | |
| fast, formally verified cryptography |
| aboutsummaryrefslogtreecommitdiff |