密码算法语言Cryptol公开发布

Galois宣布密码术使用的语言Cryptol正式向公众开放 。 Cryptol是一类领域特定语言（Domain-specific language ），用于设计、实现和核查加密算法。Cryptol最初是Galois为美国国家安全局（NSA）开发的，它已经在许多项目中使用。Cryptol允许快速评估和持续修订，它现已提供了Linux、OS X、和Windows下载 。