Skip to content

Latest commit

 

History

History
39 lines (27 loc) · 1.42 KB

README.md

File metadata and controls

39 lines (27 loc) · 1.42 KB

Important Notice

The development of new Jasmin implementations switched to https://github.com/formosa-crypto/libjade

For more information about the Formosa Crypto Project, consult the following website: https://formosa-crypto.org/

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

chacha20

Poly1305

poly1305

SHAKE256

(output set 136 bytes)

shake256