Setup

git clone --recurse-submodules https://github.com/tfaoliveira/libjc.git
cd libjc/env
vagrant up

You should now have an Ubuntu machine with Jasmin compiler and EasyCrypt installed. If you also want to install Proof General -- check PG page for details:

M-x package-refresh-contents RET
M-x package-install RET
proof-general RET

You can read the following page if you encounter any gpg related error: https://elpa.gnu.org/packages/gnu-elpa-keyring-update.html. If the public key isn't found, probably the following command will fix the issue:

gpg --homedir ~/.emacs.d/elpa/gnupg --receive-keys 066DAFCB81E42C40

Benchmarks

ChaCha20

Poly1305

SHAKE256

(output set 136 bytes)