File Mode Size
Hacl.Benchmark.Ed25519.c -rw-r--r-- 2.1 KB
Hacl.Bignum25519.fst -rw-r--r-- 39.5 KB
Hacl.Bignum25519.fsti -rw-r--r-- 7.6 KB
Hacl.Curve25519.Finv.Field51.fst -rw-r--r-- 505 bytes
Hacl.Curve25519.Finv.Field51.fsti -rw-r--r-- 1.3 KB
Hacl.Ed25519.fst -rw-r--r-- 501 bytes
Hacl.Ed25519.fsti -rw-r--r-- 2.1 KB
Hacl.Impl.BignumQ.Mul.fst -rw-r--r-- 1.3 KB
Hacl.Impl.BignumQ.Mul.fsti -rw-r--r-- 2.2 KB
Hacl.Impl.Ed25519.Field51.fst -rw-r--r-- 1.1 KB
Hacl.Impl.Ed25519.Field56.fst -rw-r--r-- 1.5 KB
Hacl.Impl.Ed25519.Ladder.fst -rw-r--r-- 6.7 KB
Hacl.Impl.Ed25519.PointAdd.fst -rw-r--r-- 5.5 KB
Hacl.Impl.Ed25519.PointCompress.fst -rw-r--r-- 6.8 KB
Hacl.Impl.Ed25519.PointDecompress.fst -rw-r--r-- 3.1 KB
Hacl.Impl.Ed25519.PointDouble.fst -rw-r--r-- 5.0 KB
Hacl.Impl.Ed25519.PointEqual.fst -rw-r--r-- 9.8 KB
Hacl.Impl.Ed25519.Pow2_252m2.fst -rw-r--r-- 6.2 KB
Hacl.Impl.Ed25519.RecoverX.fst -rw-r--r-- 9.9 KB
Hacl.Impl.Ed25519.SecretExpand.fst -rw-r--r-- 548 bytes
Hacl.Impl.Ed25519.SecretExpand.fsti -rw-r--r-- 555 bytes
Hacl.Impl.Ed25519.SecretToPublic.fst -rw-r--r-- 898 bytes
Hacl.Impl.Ed25519.Sign.Expanded.fst -rw-r--r-- 4.4 KB
Hacl.Impl.Ed25519.Sign.Steps.fst -rw-r--r-- 8.4 KB
Hacl.Impl.Ed25519.Sign.fst -rw-r--r-- 2.2 KB
Hacl.Impl.Ed25519.SwapConditional.fst -rw-r--r-- 4.6 KB
Hacl.Impl.Ed25519.Verify.fst -rw-r--r-- 6.5 KB
Hacl.Impl.Load56.fst -rw-r--r-- 10.7 KB
Hacl.Impl.SHA512.ModQ.fst -rw-r--r-- 4.2 KB
Hacl.Impl.Store56.fst -rw-r--r-- 5.3 KB
Hacl.Spec.BignumQ.Definitions.fst -rw-r--r-- 2.8 KB
Hacl.Spec.BignumQ.Lemmas.fst -rw-r--r-- 37.1 KB
Hacl.Spec.BignumQ.Mul.fst -rw-r--r-- 30.0 KB
Hacl.Spec.Ed25519.Field56.Definition.fst -rw-r--r-- 2.2 KB
Hacl.Test.Ed25519.fst -rw-r--r-- 6.7 KB
Makefile -rw-r--r-- 53 bytes

back to top