File | Mode | Size |
---|---|---|
params-64-cSHAKE | ||
params-640-AESx64 | ||
params-640-cSHAKE | ||
params-640-cSHAKEx64 | ||
params-976-AESx64 | ||
params-976-cSHAKE | ||
params-976-cSHAKEx64 | ||
test | ||
AUTHORS.md | -rw-r--r-- | 98 bytes |
Hacl.AES128.fsti | -rw-r--r-- | 1.0 KB |
Hacl.Frodo.KEM.fst | -rw-r--r-- | 1.9 KB |
Hacl.Frodo.Random.fst | -rw-r--r-- | 761 bytes |
Hacl.Frodo.Random.fsti | -rw-r--r-- | 734 bytes |
Hacl.Impl.Frodo.Encode.fst | -rw-r--r-- | 5.9 KB |
Hacl.Impl.Frodo.Gen.fst | -rw-r--r-- | 10.2 KB |
Hacl.Impl.Frodo.KEM.Decaps.fst | -rw-r--r-- | 11.7 KB |
Hacl.Impl.Frodo.KEM.Encaps.fst | -rw-r--r-- | 12.7 KB |
Hacl.Impl.Frodo.KEM.KeyGen.fst | -rw-r--r-- | 6.4 KB |
Hacl.Impl.Frodo.KEM.fst | -rw-r--r-- | 1.3 KB |
Hacl.Impl.Frodo.Pack.fst | -rw-r--r-- | 6.7 KB |
Hacl.Impl.Frodo.Sample.fst | -rw-r--r-- | 4.5 KB |
Hacl.Impl.Matrix.fst | -rw-r--r-- | 19.7 KB |
Hacl.Keccak.fst | -rw-r--r-- | 1.1 KB |
Hacl.Keccak.fsti | -rw-r--r-- | 2.5 KB |
Makefile | -rw-r--r-- | 1.0 KB |