#Jasmin

Jasmin是一个开源项目，包含专为高保证和高速密码学设计的编程语言及其编译器。这套工具使开发者能够创建安全高效的密码学代码。项目采用MIT许可证，为密码学研究和应用提供重要资源。相关工具和详细信息可在项目Wiki获取，适合密码学专业人士和爱好者使用。