Skip to main content

Browse the archive

https://github.com/project-everest/hacl-star
01 October 2021, 10:10:28 UTC
History
Tip revision: d65e32adf1d6233b49571b3677a2b3fd6486c385 authored by Son HO on 17 February 2021, 16:56:15 UTC
Merge branch 'master' into son_random
Tip revision: d65e32a
File Mode Size
AUTHORS.md -rw-r--r-- 134 bytes
Hacl.Bignum.Addition.fst -rw-r--r-- 9.7 KB
Hacl.Bignum.Base.fst -rw-r--r-- 3.8 KB
Hacl.Bignum.Comparison.fst -rw-r--r-- 3.5 KB
Hacl.Bignum.Convert.fst -rw-r--r-- 7.2 KB
Hacl.Bignum.Definitions.fst -rw-r--r-- 729 bytes
Hacl.Bignum.ExpBM.fst -rw-r--r-- 5.3 KB
Hacl.Bignum.ExpBM.fsti -rw-r--r-- 2.6 KB
Hacl.Bignum.ExpFW.fst -rw-r--r-- 12.1 KB
Hacl.Bignum.ExpFW.fsti -rw-r--r-- 1.4 KB
Hacl.Bignum.Exponentiation.fst -rw-r--r-- 4.1 KB
Hacl.Bignum.Exponentiation.fsti -rw-r--r-- 4.1 KB
Hacl.Bignum.Karatsuba.fst -rw-r--r-- 12.8 KB
Hacl.Bignum.Lib.fst -rw-r--r-- 4.9 KB
Hacl.Bignum.ModInv.fst -rw-r--r-- 2.0 KB
Hacl.Bignum.ModInvLimb.fst -rw-r--r-- 2.3 KB
Hacl.Bignum.ModInvLimb.fsti -rw-r--r-- 532 bytes
Hacl.Bignum.ModReduction.fst -rw-r--r-- 2.9 KB
Hacl.Bignum.Montgomery.fst -rw-r--r-- 7.8 KB
Hacl.Bignum.Montgomery.fsti -rw-r--r-- 5.8 KB
Hacl.Bignum.Multiplication.fst -rw-r--r-- 6.4 KB
Hacl.Bignum.PrecompTable.fst -rw-r--r-- 5.5 KB
Hacl.Bignum.SafeAPI.fst -rw-r--r-- 9.1 KB
Hacl.Bignum.fst -rw-r--r-- 4.1 KB
Hacl.Bignum.fsti -rw-r--r-- 14.5 KB
Hacl.Bignum256.fst -rw-r--r-- 3.1 KB
Hacl.Bignum256.fsti -rw-r--r-- 9.0 KB
Hacl.Bignum4096.fst -rw-r--r-- 3.1 KB
Hacl.Bignum4096.fsti -rw-r--r-- 9.2 KB
Hacl.Impl.Lib.fst -rw-r--r-- 7.8 KB
Hacl.Spec.Bignum.Addition.fst -rw-r--r-- 25.1 KB
Hacl.Spec.Bignum.Base.fst -rw-r--r-- 7.4 KB
Hacl.Spec.Bignum.Comparison.fst -rw-r--r-- 7.0 KB
Hacl.Spec.Bignum.Convert.fst -rw-r--r-- 16.6 KB
Hacl.Spec.Bignum.Definitions.fst -rw-r--r-- 12.7 KB
Hacl.Spec.Bignum.ExpBM.fst -rw-r--r-- 15.2 KB
Hacl.Spec.Bignum.ExpBM.fsti -rw-r--r-- 2.6 KB
Hacl.Spec.Bignum.ExpFW.fst -rw-r--r-- 14.0 KB
Hacl.Spec.Bignum.ExpFW.fsti -rw-r--r-- 1.0 KB
Hacl.Spec.Bignum.Exponentiation.fst -rw-r--r-- 1.3 KB
Hacl.Spec.Bignum.Exponentiation.fsti -rw-r--r-- 2.4 KB
Hacl.Spec.Bignum.Karatsuba.fst -rw-r--r-- 20.4 KB
Hacl.Spec.Bignum.Lib.fst -rw-r--r-- 18.9 KB
Hacl.Spec.Bignum.ModInv.fst -rw-r--r-- 3.2 KB
Hacl.Spec.Bignum.ModInvLimb.fst -rw-r--r-- 11.0 KB
Hacl.Spec.Bignum.ModInvLimb.fsti -rw-r--r-- 654 bytes
Hacl.Spec.Bignum.ModReduction.fst -rw-r--r-- 3.2 KB
Hacl.Spec.Bignum.Montgomery.fst -rw-r--r-- 16.6 KB
Hacl.Spec.Bignum.Montgomery.fsti -rw-r--r-- 4.5 KB
Hacl.Spec.Bignum.Multiplication.fst -rw-r--r-- 17.1 KB
Hacl.Spec.Bignum.PrecompTable.fst -rw-r--r-- 12.6 KB
Hacl.Spec.Bignum.Squaring.fst -rw-r--r-- 15.3 KB
Hacl.Spec.Bignum.fst -rw-r--r-- 6.7 KB
Hacl.Spec.Bignum.fsti -rw-r--r-- 10.4 KB
Hacl.Spec.Exponentiation.Lemmas.fst -rw-r--r-- 31.8 KB
Hacl.Spec.Karatsuba.Lemmas.fst -rw-r--r-- 4.4 KB
Hacl.Spec.Lib.fst -rw-r--r-- 9.8 KB
Hacl.Spec.Montgomery.Lemmas.fst -rw-r--r-- 21.2 KB
Makefile -rw-r--r-- 1.0 KB
README.md -rw-r--r-- 4.8 KB

README.md

back to top