!원문 캡처 · github.com

Jasmin은 고신뢰성과 고속 실행을 목표로 암호 구현을 작성하는 언어이자 컴파일러다. Jasmin 구현은 효율성, 안전성, 정확성, 보안성을 갖추도록 설계됐다.

언어와 컴파일러의 참조 문서를 제공한다. 설치 방법은 사용 사례별 설치 안내에서 확인할 수 있다. Debian·Ubuntu용 APT 저장소와 Arch User Repository(AUR) 패키지가 있으며, Nix와 opam으로도 설치할 수 있다.

  • Nix: nix-env -iA nixpkgs.jasmin-compiler
  • opam: opam install jasmin

EasyCrypt, Jasmin 및 관련 도구를 이용한 고신뢰 암호에 관심 있는 사람은 Formosa-Crypto Zulip 채팅에서 지원을 받을 수 있다.

Jasmin은 자유 소프트웨어다. 별도 표기가 없는 배포 파일은 MIT 라이선스를 따르며, docs/의 문서는 컴파일러와 별도로 CC-BY 4.0 라이선스를 적용한다.