加密算法编写工具Cryptol DSL目前已开源

根据Hacker News上提供的消息，用于编写加密算法的工具Cryptol DSL目前已经开源了，向广大开发者开放项目源代码。

Cryptol是什么呢？

Cryptol是一个用于指定加密算法的特定域语言。Cryptol实现算法类似于数学的规范：比在一个通用语言里的实现过程更加的严密。这里有一个比较：SHA-1 hash函数规范和SHA-1 hash函数在Cryptol里的实现。

Cryptol SHA-1实现

Cryptol实现过程中明确抓取了英语描述和数学规范：

SHA-1 规范

捕获和分析加密规范

如果将一种规范用在Cryptol里，程序员就可以为自己的程序生成测试矢量、证明定理、验证等效，甚至能从这个规范里生成代码。

Cryptol第二个版本目前已经开源了，基于BSD 许可证。Cryptol的使用者基本上是一些私人企业、教育工作者和美国政府。主要是被用来分析算法和实现过程，并且被用作是一种学习工具。

Cryptol的局限性

Cryptol最初的设计目的是用来表达各种各样的加密算法，以便可以有效地应用到硬件电路上。Cryptol最适合用于实施核心加密例程，而不是像SSL一样的整个加密协议套件。即使存在这样的局限性，Cryptol目前仍有能力提高许多关键加密实现的可信度。                          （编译/CSDN CODE）