Система «Fiat Cryptography» Массачусетского технологического института автоматизирует процесс защиты практически чего угодно

Лаборатория компьютерных наук и искусственного интеллекта (CSAIL) Массачусетского технологического институтаразработал системудля запуска сложных математических алгоритмов для защиты онлайн-коммуникаций. «Fiat Cryptography», как называется этот код, в настоящее время защищает около 90 процентов коммуникаций Google Chrome.

Исследователи представили своибумагавСимпозиум ЕЕЕ по безопасности и Политика конфиденциальности в мае, хотя изначально эта Технологии была теоретически разработана и внедрена в лабораториях Массачусетского технологического института в 2018 году.

Fiat Cryptography предназначен для автоматической генерации и одновременной проверки оптимизированных криптографических алгоритмов для всех аппаратных платформ. Раньше этот процесс выполнялся вручную.

Вы не ослышались: еще год назад шифрование данных в Интернете было достигнуто группой криптографов, которые писали и переписывали алгоритмы, вручную взвешивая различные математические методы и архитектуры микросхем для оптимизации производительности.

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

Сначала исследователи искали решение в языках программирования C и ассемблера, а затем перенесли эти методы в свою библиотеку кода — список наиболее эффективных алгоритмов для каждой архитектуры.

Используя компилятор для преобразования языков программирования в код, алгоритмы затем автоматически проверяются с помощью Coq, математического доказательного средства теорем. Каждая итерация тестируется, прежде чем выбирается ONE производительная для конкретной архитектуры чипа.

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

«По сути, это все равно, что взять процесс, который происходит в Human мозге, и понять его достаточно хорошо, чтобы написать код, имитирующий этот процесс», — сказал Адам Члипала, исследователь CSAIL, работавший над проектом, в интервью MIT News.

С тех пор фиатная криптография была развернута в BoringSSL от Google — криптографической библиотеке с открытым исходным кодом, используемой Google Chrome, приложениями Android и другими программами.

К Члипале присоединились аспиранты CSAIL Андрес Эрбсен в качестве первого автора и Джейд Филипум и Джейсон Гросс в качестве соавторов, а также Роберт Слоан, аспирант инженерного факультета.

В настоящее время исследователи работают над способами, которые позволят компилятору работать еще быстрее при поиске оптимизированных алгоритмов.

Изображение предоставлено ShutterStock