This package relies on the WebAssembly output of the KreMLin compiler. The following files need to be in the package directory for the bindings to work :

all the .wasm files corresponding to HACL* modules generated by KreMLin;
loader.js and shell.js, which are also generated by KreMLin

The main file for the bindings is api.js. This file reads the API data described in api.json and creates a Javascript object containing functions that call into the HACL* WebAssembly modules with the correct arguments.

api_test.js runs the test vectors for each exposed function to check the
correctness of the bindings (the WebAssembly code is compiled from verified code so it should be correct).

Documentation

Run the file api_doc.js. This will create a new file doc/readable_api.js. To produce the JSDoc documentation of the HACL Javascript API, please run

jsdoc doc/readable_api.js -d doc/out

You can browse the documentation by opening doc/out/index.html in your web browser.

Keywords

crypto

webassembly

verified

FAQs

What is @ligolang/hacl-wasm?

Is @ligolang/hacl-wasm popular?

Is @ligolang/hacl-wasm well maintained?

Package last updated on 04 Jun 2023

Did you know?

Socket for GitHub automatically highlights issues in each pull request and monitors the health of all your open source dependencies. Discover the contents of your packages and block harmful activity before you install or update your dependencies.

Install