├── .gitignore ├── .ocamlformat ├── .travis.yml ├── CHANGES.md ├── LICENSE.md ├── META.hacl_x25519.template ├── README.md ├── bench ├── bench.ml └── dune ├── dune-project ├── freestanding ├── Makefile └── dune ├── hacl_x25519.opam ├── src ├── Hacl_Curve25519_51.c ├── Hacl_Curve25519_51.h ├── Hacl_Ed25519.c ├── Hacl_Ed25519.h ├── Hacl_Hash.c ├── Hacl_Hash.h ├── Hacl_Kremlib.h ├── Hacl_Spec.h ├── dune ├── evercrypt_targetconfig.h ├── hacl_ed25519.ml ├── hacl_ed25519.mli ├── hacl_x25519.ml ├── hacl_x25519.mli ├── hacl_x25519_stubs.c ├── kremlin │ ├── include │ │ ├── kremlib.h │ │ └── kremlin │ │ │ ├── c_endianness.h │ │ │ ├── fstar_int.h │ │ │ ├── internal │ │ │ ├── builtin.h │ │ │ ├── callconv.h │ │ │ ├── compat.h │ │ │ ├── debug.h │ │ │ ├── target.h │ │ │ ├── types.h │ │ │ └── wasmsupport.h │ │ │ └── lowstar_endianness.h │ └── kremlib │ │ └── dist │ │ └── minimal │ │ ├── FStar_UInt128.h │ │ ├── FStar_UInt128_Verified.h │ │ ├── FStar_UInt_8_16_32_64.h │ │ ├── LowStar_Endianness.h │ │ ├── Makefile.basic │ │ ├── Makefile.include │ │ ├── fstar_uint128_gcc64.h │ │ ├── fstar_uint128_msvc.h │ │ ├── fstar_uint128_struct_endianness.h │ │ └── libkremlib.def └── libintvector.h ├── test ├── dune ├── rfc8032.ml └── test.ml └── test_wycheproof ├── dune ├── wycheproof ├── dune ├── wycheproof.ml ├── wycheproof.mli └── x25519_test.json ├── wycheproof_hacl.expected ├── wycheproof_hacl.ml └── wycheproof_hacl.mli /.gitignore: -------------------------------------------------------------------------------- 1 | .merlin 2 | _build 3 | *.install 4 | -------------------------------------------------------------------------------- /.ocamlformat: -------------------------------------------------------------------------------- 1 | version=0.15.0 2 | profile=conventional 3 | -------------------------------------------------------------------------------- /.travis.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/hacl/HEAD/.travis.yml -------------------------------------------------------------------------------- /CHANGES.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/hacl/HEAD/CHANGES.md -------------------------------------------------------------------------------- /LICENSE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/hacl/HEAD/LICENSE.md -------------------------------------------------------------------------------- /META.hacl_x25519.template: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/hacl/HEAD/META.hacl_x25519.template -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/hacl/HEAD/README.md -------------------------------------------------------------------------------- /bench/bench.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/hacl/HEAD/bench/bench.ml -------------------------------------------------------------------------------- /bench/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/hacl/HEAD/bench/dune -------------------------------------------------------------------------------- /dune-project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/hacl/HEAD/dune-project -------------------------------------------------------------------------------- /freestanding/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/hacl/HEAD/freestanding/Makefile -------------------------------------------------------------------------------- /freestanding/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/hacl/HEAD/freestanding/dune -------------------------------------------------------------------------------- /hacl_x25519.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/hacl/HEAD/hacl_x25519.opam -------------------------------------------------------------------------------- /src/Hacl_Curve25519_51.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/hacl/HEAD/src/Hacl_Curve25519_51.c -------------------------------------------------------------------------------- /src/Hacl_Curve25519_51.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/hacl/HEAD/src/Hacl_Curve25519_51.h -------------------------------------------------------------------------------- /src/Hacl_Ed25519.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/hacl/HEAD/src/Hacl_Ed25519.c -------------------------------------------------------------------------------- /src/Hacl_Ed25519.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/hacl/HEAD/src/Hacl_Ed25519.h -------------------------------------------------------------------------------- /src/Hacl_Hash.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/hacl/HEAD/src/Hacl_Hash.c -------------------------------------------------------------------------------- /src/Hacl_Hash.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/hacl/HEAD/src/Hacl_Hash.h -------------------------------------------------------------------------------- /src/Hacl_Kremlib.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/hacl/HEAD/src/Hacl_Kremlib.h -------------------------------------------------------------------------------- /src/Hacl_Spec.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/hacl/HEAD/src/Hacl_Spec.h -------------------------------------------------------------------------------- /src/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/hacl/HEAD/src/dune -------------------------------------------------------------------------------- /src/evercrypt_targetconfig.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/hacl/HEAD/src/evercrypt_targetconfig.h -------------------------------------------------------------------------------- /src/hacl_ed25519.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/hacl/HEAD/src/hacl_ed25519.ml -------------------------------------------------------------------------------- /src/hacl_ed25519.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/hacl/HEAD/src/hacl_ed25519.mli -------------------------------------------------------------------------------- /src/hacl_x25519.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/hacl/HEAD/src/hacl_x25519.ml -------------------------------------------------------------------------------- /src/hacl_x25519.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/hacl/HEAD/src/hacl_x25519.mli -------------------------------------------------------------------------------- /src/hacl_x25519_stubs.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/hacl/HEAD/src/hacl_x25519_stubs.c -------------------------------------------------------------------------------- /src/kremlin/include/kremlib.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/hacl/HEAD/src/kremlin/include/kremlib.h -------------------------------------------------------------------------------- /src/kremlin/include/kremlin/c_endianness.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/hacl/HEAD/src/kremlin/include/kremlin/c_endianness.h -------------------------------------------------------------------------------- /src/kremlin/include/kremlin/fstar_int.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/hacl/HEAD/src/kremlin/include/kremlin/fstar_int.h -------------------------------------------------------------------------------- /src/kremlin/include/kremlin/internal/builtin.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/hacl/HEAD/src/kremlin/include/kremlin/internal/builtin.h -------------------------------------------------------------------------------- /src/kremlin/include/kremlin/internal/callconv.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/hacl/HEAD/src/kremlin/include/kremlin/internal/callconv.h -------------------------------------------------------------------------------- /src/kremlin/include/kremlin/internal/compat.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/hacl/HEAD/src/kremlin/include/kremlin/internal/compat.h -------------------------------------------------------------------------------- /src/kremlin/include/kremlin/internal/debug.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/hacl/HEAD/src/kremlin/include/kremlin/internal/debug.h -------------------------------------------------------------------------------- /src/kremlin/include/kremlin/internal/target.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/hacl/HEAD/src/kremlin/include/kremlin/internal/target.h -------------------------------------------------------------------------------- /src/kremlin/include/kremlin/internal/types.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/hacl/HEAD/src/kremlin/include/kremlin/internal/types.h -------------------------------------------------------------------------------- /src/kremlin/include/kremlin/internal/wasmsupport.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/hacl/HEAD/src/kremlin/include/kremlin/internal/wasmsupport.h -------------------------------------------------------------------------------- /src/kremlin/include/kremlin/lowstar_endianness.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/hacl/HEAD/src/kremlin/include/kremlin/lowstar_endianness.h -------------------------------------------------------------------------------- /src/kremlin/kremlib/dist/minimal/FStar_UInt128.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/hacl/HEAD/src/kremlin/kremlib/dist/minimal/FStar_UInt128.h -------------------------------------------------------------------------------- /src/kremlin/kremlib/dist/minimal/FStar_UInt128_Verified.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/hacl/HEAD/src/kremlin/kremlib/dist/minimal/FStar_UInt128_Verified.h -------------------------------------------------------------------------------- /src/kremlin/kremlib/dist/minimal/FStar_UInt_8_16_32_64.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/hacl/HEAD/src/kremlin/kremlib/dist/minimal/FStar_UInt_8_16_32_64.h -------------------------------------------------------------------------------- /src/kremlin/kremlib/dist/minimal/LowStar_Endianness.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/hacl/HEAD/src/kremlin/kremlib/dist/minimal/LowStar_Endianness.h -------------------------------------------------------------------------------- /src/kremlin/kremlib/dist/minimal/Makefile.basic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/hacl/HEAD/src/kremlin/kremlib/dist/minimal/Makefile.basic -------------------------------------------------------------------------------- /src/kremlin/kremlib/dist/minimal/Makefile.include: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/hacl/HEAD/src/kremlin/kremlib/dist/minimal/Makefile.include -------------------------------------------------------------------------------- /src/kremlin/kremlib/dist/minimal/fstar_uint128_gcc64.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/hacl/HEAD/src/kremlin/kremlib/dist/minimal/fstar_uint128_gcc64.h -------------------------------------------------------------------------------- /src/kremlin/kremlib/dist/minimal/fstar_uint128_msvc.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/hacl/HEAD/src/kremlin/kremlib/dist/minimal/fstar_uint128_msvc.h -------------------------------------------------------------------------------- /src/kremlin/kremlib/dist/minimal/fstar_uint128_struct_endianness.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/hacl/HEAD/src/kremlin/kremlib/dist/minimal/fstar_uint128_struct_endianness.h -------------------------------------------------------------------------------- /src/kremlin/kremlib/dist/minimal/libkremlib.def: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/hacl/HEAD/src/kremlin/kremlib/dist/minimal/libkremlib.def -------------------------------------------------------------------------------- /src/libintvector.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/hacl/HEAD/src/libintvector.h -------------------------------------------------------------------------------- /test/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/hacl/HEAD/test/dune -------------------------------------------------------------------------------- /test/rfc8032.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/hacl/HEAD/test/rfc8032.ml -------------------------------------------------------------------------------- /test/test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/hacl/HEAD/test/test.ml -------------------------------------------------------------------------------- /test_wycheproof/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/hacl/HEAD/test_wycheproof/dune -------------------------------------------------------------------------------- /test_wycheproof/wycheproof/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/hacl/HEAD/test_wycheproof/wycheproof/dune -------------------------------------------------------------------------------- /test_wycheproof/wycheproof/wycheproof.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/hacl/HEAD/test_wycheproof/wycheproof/wycheproof.ml -------------------------------------------------------------------------------- /test_wycheproof/wycheproof/wycheproof.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/hacl/HEAD/test_wycheproof/wycheproof/wycheproof.mli -------------------------------------------------------------------------------- /test_wycheproof/wycheproof/x25519_test.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/hacl/HEAD/test_wycheproof/wycheproof/x25519_test.json -------------------------------------------------------------------------------- /test_wycheproof/wycheproof_hacl.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/hacl/HEAD/test_wycheproof/wycheproof_hacl.expected -------------------------------------------------------------------------------- /test_wycheproof/wycheproof_hacl.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/hacl/HEAD/test_wycheproof/wycheproof_hacl.ml -------------------------------------------------------------------------------- /test_wycheproof/wycheproof_hacl.mli: -------------------------------------------------------------------------------- 1 | --------------------------------------------------------------------------------