https://github.com/project-everest/hacl-star
History
Tip revision: eaa7a6422c284c14488fbc5ea30e272900b6a083 authored by Christoph M. Wintersteiger on 21 February 2020, 17:37:03 UTC
Add MerkleTree.Low.Datastructures to Merkle tree bundle
Tip revision: eaa7a64
File Mode Size
dist
AUTHORS.md -rw-r--r-- 278 bytes
Hacl.Curve25519_51.fst -rw-r--r-- 1012 bytes
Hacl.Curve25519_51.fsti -rw-r--r-- 197 bytes
Hacl.Curve25519_64.fst -rw-r--r-- 1.2 KB
Hacl.Curve25519_64.fsti -rw-r--r-- 197 bytes
Hacl.Curve25519_64_Local.fst -rw-r--r-- 1.2 KB
Hacl.Curve25519_64_Local.fsti -rw-r--r-- 203 bytes
Hacl.Curve25519_64_Slow.fst -rw-r--r-- 1.2 KB
Hacl.Curve25519_64_Slow.fsti -rw-r--r-- 202 bytes
Hacl.Impl.Curve25519.AddAndDouble.fst -rw-r--r-- 9.3 KB
Hacl.Impl.Curve25519.Field51.fst -rw-r--r-- 9.4 KB
Hacl.Impl.Curve25519.Field64.Hacl.fst -rw-r--r-- 4.2 KB
Hacl.Impl.Curve25519.Field64.Hacl.fsti -rw-r--r-- 285 bytes
Hacl.Impl.Curve25519.Field64.Local.fsti -rw-r--r-- 482 bytes
Hacl.Impl.Curve25519.Field64.Vale.fst -rw-r--r-- 8.2 KB
Hacl.Impl.Curve25519.Field64.Vale.fsti -rw-r--r-- 288 bytes
Hacl.Impl.Curve25519.Field64.fst -rw-r--r-- 4.8 KB
Hacl.Impl.Curve25519.Fields.Core.fsti -rw-r--r-- 11.5 KB
Hacl.Impl.Curve25519.Fields.fst -rw-r--r-- 2.8 KB
Hacl.Impl.Curve25519.Finv.fst -rw-r--r-- 6.4 KB
Hacl.Impl.Curve25519.Generic.fst -rw-r--r-- 20.3 KB
Hacl.Impl.Curve25519.Generic.fsti -rw-r--r-- 1.6 KB
Hacl.Impl.Curve25519.Lemmas.fst -rw-r--r-- 1.1 KB
Hacl.Meta.Curve25519.fst -rw-r--r-- 2.3 KB
Hacl.Meta.Curve25519.fsti -rw-r--r-- 28 bytes
Hacl.Spec.Curve25519.AddAndDouble.fst -rw-r--r-- 2.0 KB
Hacl.Spec.Curve25519.Field51.Definition.fst -rw-r--r-- 3.7 KB
Hacl.Spec.Curve25519.Field51.Lemmas.fst -rw-r--r-- 44.4 KB
Hacl.Spec.Curve25519.Field51.fst -rw-r--r-- 18.0 KB
Hacl.Spec.Curve25519.Field64.Core.fst -rw-r--r-- 11.1 KB
Hacl.Spec.Curve25519.Field64.Definition.fst -rw-r--r-- 1.1 KB
Hacl.Spec.Curve25519.Field64.Lemmas.fst -rw-r--r-- 19.0 KB
Hacl.Spec.Curve25519.Field64.fst -rw-r--r-- 7.1 KB
Hacl.Spec.Curve25519.Finv.fst -rw-r--r-- 8.0 KB
Makefile -rw-r--r-- 1.7 KB

back to top