Jasmin

February 17, 2026 ยท View on GitHub

pipeline status project chat project chat

About

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.

Installation

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

Getting support

The Formosa-Crypto Zulip Chat is meant for anybody interested in high-assurance cryptography using EasyCrypt, Jasmin, and related tools.

License

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.