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