有没有人计划使用Galois的Cryptol？

Question

我在Dobb博士的2008-12-29电子邮件报告中看到，有一种用于设计加密系统的新DSL（特定于域的语言）。它被称为Cryptol，可从伽罗瓦获得。

有人看过吗？有人有计划使用它吗？是不是值得，你觉得呢？

---

Robert Gamble指出：

Cryptol并不是新的，它已存在多年。新的是它的（部分）可供公众使用，它最初是由NSA开发和使用的。

---

与Brian相似，我没有任何真正的理由使用Cryptol。如果我需要（重新）验证我们拥有的基于SSL的实现，它可能是有用的，虽然我不确定它会有帮助（我们不需要验证SSL库;我们可能需要验证我们的（误）使用SSL库。

Answer 1

看起来很有趣，但我目前没有充分的理由自己使用它。应该对其他人有利。