| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | ArchitectureToZLike.v | 1643 | logplain |
| -rw-r--r-- | ArchitectureToZLikeProofs.v | 5274 | logplain |
| -rw-r--r-- | BarretReduction.v | 4098 | logplain |
| -rw-r--r-- | BaseSystem.v | 1779 | logplain |
| -rw-r--r-- | BaseSystemProofs.v | 4256 | logplain |
| d--------- | Double | 67 | logplain |
| -rw-r--r-- | Interface.v | 19203 | logplain |
| -rw-r--r-- | InterfaceProofs.v | 9488 | logplain |
| -rw-r--r-- | MontgomeryReduction.v | 5489 | logplain |
| -rw-r--r-- | Pow2Base.v | 660 | logplain |
| -rw-r--r-- | Pow2BaseProofs.v | 26146 | logplain |
| -rw-r--r-- | README.md | 197 | logplain |
| -rw-r--r-- | VerdiTactics.v | 13462 | logplain |
| -rw-r--r-- | ZBounded.v | 9430 | logplain |
| -rw-r--r-- | ZBoundedZ.v | 3361 | logplain |
 |
index : fiat-crypto | |
| fast, formally verified cryptography |
| aboutsummaryrefslogtreecommitdiff |