2008 年 12 月 29 日の Dobb 博士の電子メール レポートで、暗号システムを設計するための新しい DSL (ドメイン固有言語) があることを見ました。これはCryptolと呼ばれ、Galois から入手できます。
誰かがそれを見ましたか？誰かがそれを使用する計画を持っていますか? 価値があると思いますか。
ロバート・ギャンブルは次のように述べています。
Cryptol は新しいものではなく、何年も前から存在しています。新しいのは、それ (の一部) が一般に公開されたことです。元々は NSA のために開発され、使用されていました。
ブライアンのように、クリプトルを使用する本当の理由はありません。SSL ベースの実装を (再) 検証する必要がある場合に役立つかもしれませんが、そこで役立つかどうかはわかりません (SSL ライブラリを検証する必要はありません。 (誤) SSL ライブラリの使用)。