Skip to main content

Browse the archive

https://github.com/project-everest/hacl-star
01 October 2021, 10:10:28 UTC
History
Tip revision: e4af4fa0596a02a778781281adf6d42eb4b4df95 authored by Bryan Parno on 13 August 2018, 17:46:57 UTC
Fix up decrypt as well. It's not yet optimized.
Tip revision: e4af4fa
File Mode Size
experimental
Makefile -rw-r--r-- 8.9 KB
README.md -rw-r--r-- 2.4 KB
Seq.Create.fst -rw-r--r-- 16.3 KB
Seq.Create.fst.hints -rw-r--r-- 26.4 KB
Spec.CTR.Lemmas.fst -rw-r--r-- 319 bytes
Spec.CTR.Lemmas.fst.hints -rw-r--r-- 1.1 KB
Spec.CTR.fst -rw-r--r-- 3.2 KB
Spec.CTR.fst.hints -rw-r--r-- 14.3 KB
Spec.Chacha20.Lemmas.fst -rw-r--r-- 396 bytes
Spec.Chacha20.Lemmas.fst.hints -rw-r--r-- 742 bytes
Spec.Chacha20.fst -rw-r--r-- 5.1 KB
Spec.Chacha20.fst.hints -rw-r--r-- 8.3 KB
Spec.Chacha20Poly1305.fst -rw-r--r-- 4.9 KB
Spec.Chacha20Poly1305.fst.hints -rw-r--r-- 12.9 KB
Spec.Chacha20_vec.fst -rw-r--r-- 6.8 KB
Spec.Chacha20_vec.fst.hints -rw-r--r-- 15.1 KB
Spec.Curve25519.Lemmas.fst -rw-r--r-- 856 bytes
Spec.Curve25519.Lemmas.fst.hints -rw-r--r-- 1.8 KB
Spec.Curve25519.fst -rw-r--r-- 4.8 KB
Spec.Curve25519.fst.hints -rw-r--r-- 15.5 KB
Spec.Ed25519.fst -rw-r--r-- 21.6 KB
Spec.Ed25519.fst.hints -rw-r--r-- 22.5 KB
Spec.GF128.fst -rw-r--r-- 3.4 KB
Spec.GF128.fst.hints -rw-r--r-- 13.6 KB
Spec.GaloisField.fst -rw-r--r-- 2.5 KB
Spec.GaloisField.fst.hints -rw-r--r-- 23.6 KB
Spec.HMAC.SHA2_256.fst -rw-r--r-- 12.9 KB
Spec.HMAC.SHA2_256.fst.hints -rw-r--r-- 18.2 KB
Spec.HMAC.SHA2_384.fst -rw-r--r-- 13.7 KB
Spec.HMAC.SHA2_384.fst.hints -rw-r--r-- 15.8 KB
Spec.HMAC.SHA2_512.fst -rw-r--r-- 14.5 KB
Spec.HMAC.SHA2_512.fst.hints -rw-r--r-- 15.6 KB
Spec.HMAC.Test.fst -rw-r--r-- 18.6 KB
Spec.HMAC.fst -rw-r--r-- 2.3 KB
Spec.HMAC.fst.hints -rw-r--r-- 6.8 KB
Spec.HSalsa20.fst -rw-r--r-- 1.1 KB
Spec.HSalsa20.fst.hints -rw-r--r-- 3.9 KB
Spec.Lib.fst -rw-r--r-- 16.4 KB
Spec.Lib.fst.hints -rw-r--r-- 129.4 KB
Spec.Poly1305.Lemmas.fst -rw-r--r-- 1.1 KB
Spec.Poly1305.Lemmas.fst.hints -rw-r--r-- 3.2 KB
Spec.Poly1305.fst -rw-r--r-- 2.7 KB
Spec.Poly1305.fst.hints -rw-r--r-- 11.1 KB
Spec.SHA2.Test.fst -rw-r--r-- 10.3 KB
Spec.SHA2.fst -rw-r--r-- 14.7 KB
Spec.SHA2.fst.hints -rw-r--r-- 51.5 KB
Spec.SHA2_256.fst -rw-r--r-- 17.4 KB
Spec.SHA2_256.fst.hints -rw-r--r-- 67.4 KB
Spec.SHA2_384.fst -rw-r--r-- 14.7 KB
Spec.SHA2_384.fst.hints -rw-r--r-- 45.2 KB
Spec.SHA2_512.fst -rw-r--r-- 21.8 KB
Spec.SHA2_512.fst.hints -rw-r--r-- 82.5 KB
Spec.SHA512.fst -rw-r--r-- 296 bytes
Spec.SHA512.fsti -rw-r--r-- 964 bytes
Spec.Salsa20.fst -rw-r--r-- 5.6 KB
Spec.Salsa20.fst.hints -rw-r--r-- 15.5 KB

README.md

back to top