【发布时间】：2008-12-29 19:39:16
【问题描述】：
我在 Dobb 博士 2008 年 12 月 29 日的电子邮件报告中看到，有一种新的 DSL（特定领域语言）用于设计加密系统。它被称为Cryptol，可从 Galois 获得。
有人看过吗？有人有使用它的计划吗？你觉得值得吗？
罗伯特·甘布尔笔记：
Cryptol 并不新鲜，它已经存在很多年了。新的是它（部分）对公众的可用性，它最初是为 NSA 开发和使用的。
与 Brian 一样，我没有任何真正的理由使用 Cryptol。如果我需要（重新）验证我们拥有的基于 SSL 的实现，它可能会很有用，尽管我不确定它是否会有所帮助（我们不需要验证 SSL 库；我们可能需要验证我们的（错误）使用 SSL 库）。
【问题讨论】：
-
Cryptol 并不新鲜，它已经存在很多年了。新的是它（部分）对公众的可用性，它最初是为 NSA 开发和使用的。
-
我投票决定将此问题作为离题结束，因为按照现代标准，它是离题的，尽管它在被问到时是在合理的范围内。
标签： cryptography dsl cryptol