В Galois сообщили о том, что криптографический язык Cryptol стал доступен широкой публике.

Cryptol – это домен-ориентированный язык, предназначенный для разработки, внедрения и проверки криптографических алгоритмов, работы по которому велись для нужд Агентства национальной безопасности США в течение десяти последних лет. Он был успешно применен во многих проектах, а в данный момент используется в Rockwell Collins, Inc.

Домен-ориентированные языки позволяют специалистам проектировать решения, основываясь на понятных им конструкциях и и концепциях. Являясь одним из таких языков, Cryptol помогает экспертам в области шифрования разрабатывать и применять криптографические алгоритмы, имея уверенность в высокой степени надежности и точности созданных ими систем, обеспечивая высокопроизводительную реализацию их алгоритмов.

Cryptol позволяет специалисту по криптографиии:
- Создавать техданные и ассоциированные формальные модели.
- Проверять данные на предмет соответствия опубликованным инструментам тестирования и формальным правилам.
- Быстро создать несколько вариантов разработки в Cryptol для того, чтобы опробовать их эффективность с позиций занимаемого места, времени и других характеристик производительности.
- Скомпилировать мультизадачную разработку, включая C/C++, Haskell и VHDL/Verilog.
- Проводить проверку эквивалентности в отношении исходных данных, включая проверку решений, разработанных не Cryptol.

Дистрибутивы языка под Linux, MacOS и Windows бесплатны для некоммерческого использования. Скачать дистрибутив и ознакомиться с более детальной технической информацией можно на сайте Cryptol.