Skip to content

Latest commit

 

History

History
22 lines (15 loc) · 958 Bytes

README.md

File metadata and controls

22 lines (15 loc) · 958 Bytes
Raw

hacl-wasm

How to extract HACL* to wasm

  1. Clone the F* repo, switch to branch master.
  • In the repo directory, enter:
cd src/ocaml-output && make
cd ../../ulib/ml && make
  • Set the FSTAR_HOME environment variable to the location of F* repo.

  1. Clone the KreMLin repo, switch to branch fstar-master. In the repo, build with make and set the KREMLIN_HOME environment variable to the location of the Kremlin repo.

  2. Clone the HACL* repo, switch to the fstar-master branch. In the repo, build with make build and set the HACL_HOME environment variable to the location of the HACL* repo.

  3. Go to the KreMLin repo and its test directory. Test the wasm extraction with make wasm. You can then extract individual files with :

make $HACL_HOME/code/curve25519/Hacl.Test.X25519.wasm