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