Jasmin denotes both a language and a compiler designed for writing high-assurance and high-speed cryptography. Jasmin implementations aim at being efficient, safe, correct, and secure.
Reference documentation of the language and compiler are on readthedocs.
For a complete installation guide covering several use cases, please read our documentation.
If you just want to install the Jasmin tools, here is a TL;DR:
-
with APT (debian, ubuntu), a package is available in a dedicated repository, see the documentation
-
from AUR (arch linux), a package is available in the Arch User Repository, see the documentation
-
with nix nix-env -iA nixpkgs.jasmin-compiler
-
with opam opam install jasmin
The Formosa-Crypto Zulip Chat is meant for anybody interested in high-assurance cryptography using EasyCrypt, Jasmin, and related tools.
Jasmin is free software. All files in this distribution are, unless specified
otherwise, licensed under the MIT license.
The documentation (under docs/) is licensed separately from the
compiler, under the CC-BY 4.0.