Язык для криптографии

[vlad_light]

Возможно, кто-то работал с языками charm или cryptol. Что по поводу них скажите?
Вообще, мне нужен какой-то инструмент (ЯП, пакет, библиотека, ...) для простого и быстрого прототипирования криптоалгоритмов (работа с большими числами, матрицами, многочленами, перестановками и т. п.). Кто что подскажет? (Знаю си, немного с++ и ар).

[error420]

Для прототипирования подойдет python, SageMath.
Для реализаций можете взглянуться на Jasmin.