В Galois сообщили о том, что криптографический язык Cryptol стал
доступен широкой публике.
Cryptol – это домен-ориентированный язык, предназначенный для разработки,
внедрения и проверки криптографических алгоритмов, работы по которому велись для
нужд Агентства национальной безопасности США в течение десяти последних лет. Он
был успешно применен во многих проектах, а в данный момент используется в
Rockwell Collins, Inc.
Домен-ориентированные языки позволяют специалистам проектировать решения,
основываясь на понятных им конструкциях и и концепциях. Являясь одним из таких
языков, Cryptol помогает экспертам в области шифрования разрабатывать и
применять криптографические алгоритмы, имея уверенность в высокой степени
надежности и точности созданных ими систем, обеспечивая высокопроизводительную
реализацию их алгоритмов.
Cryptol позволяет специалисту по криптографиии:
- Создавать техданные и ассоциированные формальные модели.
- Проверять данные на предмет соответствия опубликованным инструментам
тестирования и формальным правилам. - Быстро создать несколько вариантов разработки в Cryptol для того, чтобы
опробовать их эффективность с позиций занимаемого места, времени и других
характеристик производительности. - Скомпилировать мультизадачную разработку, включая C/C++, Haskell и VHDL/Verilog.
- Проводить проверку эквивалентности в отношении исходных данных, включая
проверку решений, разработанных не Cryptol.
Дистрибутивы языка под Linux, MacOS и Windows бесплатны для некоммерческого
использования. Скачать дистрибутив и ознакомиться с более детальной технической
информацией можно на
сайте Cryptol.
