View on GitHub


High-Assurance and High-Speed Cryptography

Download this project as a .zip file Download this project as a tar.gz file

Jasmin is a framework for developing high-speed and high-assurance cryptographic software. The framework is structured around the Jasmin programming language and its compiler. The language is designed for enhancing portability of programs and for simplifying verification tasks. The compiler is designed to achieve predictability and efficiency of the output code (currently limited to x64 platforms), and is formally verified in the Coq proof assistant.

Contact information

Have you any suggestions, bug fixes or bug reports for Jasmin? Please browse the issues on GitHub and add your own.

Installing Jasmin

Jasmin is distributed in source from. It can be downloaded from its GitHub repository. Once cloned, you should read the README to get Jasmin installed.


A set of examples is available in the compiler/examples sub-directory of the Jasmin GitHub repository.