File | Mode | Size |
---|---|---|
AUTHORS.md | -rw-r--r-- | 98 bytes |
Hacl.AES128.fsti | -rw-r--r-- | 1.0 KB |
Hacl.Frodo.KEM.fst | -rw-r--r-- | 2.6 KB |
Hacl.Frodo.Random.fst | -rw-r--r-- | 809 bytes |
Hacl.Frodo.Random.fsti | -rw-r--r-- | 783 bytes |
Hacl.Frodo1344.fst | -rw-r--r-- | 1.2 KB |
Hacl.Frodo64.fst | -rw-r--r-- | 1.2 KB |
Hacl.Frodo640.fst | -rw-r--r-- | 1.2 KB |
Hacl.Frodo976.fst | -rw-r--r-- | 1.2 KB |
Hacl.Impl.Frodo.Encode.fst | -rw-r--r-- | 6.3 KB |
Hacl.Impl.Frodo.Gen.fst | -rw-r--r-- | 11.6 KB |
Hacl.Impl.Frodo.KEM.Decaps.fst | -rw-r--r-- | 15.5 KB |
Hacl.Impl.Frodo.KEM.Encaps.fst | -rw-r--r-- | 16.4 KB |
Hacl.Impl.Frodo.KEM.KeyGen.fst | -rw-r--r-- | 11.1 KB |
Hacl.Impl.Frodo.KEM.fst | -rw-r--r-- | 767 bytes |
Hacl.Impl.Frodo.Pack.fst | -rw-r--r-- | 6.7 KB |
Hacl.Impl.Frodo.Params.fst | -rw-r--r-- | 4.6 KB |
Hacl.Impl.Frodo.Sample.fst | -rw-r--r-- | 5.2 KB |
Hacl.Impl.Matrix.fst | -rw-r--r-- | 20.8 KB |
Hacl.Keccak.fst | -rw-r--r-- | 989 bytes |
Hacl.Keccak.fsti | -rw-r--r-- | 2.6 KB |
Makefile | -rw-r--r-- | 1.1 KB |