| File | Mode | Size |
|---|---|---|
| README.md | -rw-r--r-- | 81 bytes |
| Seq.Create.fst | -rw-r--r-- | 16.3 KB |
| Spec.CTR.Lemmas.fst | -rw-r--r-- | 319 bytes |
| Spec.CTR.fst | -rw-r--r-- | 3.2 KB |
| Spec.Curve25519.Lemmas.fst | -rw-r--r-- | 860 bytes |
| Spec.Curve25519.fst | -rw-r--r-- | 4.8 KB |
| Spec.Ed25519.fst | -rw-r--r-- | 22.0 KB |
| Spec.GF128.fst | -rw-r--r-- | 3.4 KB |
| Spec.GaloisField.fst | -rw-r--r-- | 2.5 KB |
| Spec.Lib.fst | -rw-r--r-- | 16.3 KB |
| Spec.SHA2_512.fst | -rw-r--r-- | 22.2 KB |
| Spec.SHA512.fst | -rw-r--r-- | 296 bytes |
| Spec.SHA512.fsti | -rw-r--r-- | 1004 bytes |
