Приглашаются желающие участвовать в проекте "Формальная верификация реализации хэш-функции «Стрибог» с «Группой Астра»", который запланирован 6-19 июля 2025 года на Большой Математической Мастерской в Новосибирском Академгородке. Задача проекта – выработать подход к построению формального автоматически проверяемого доказательства функциональной корректности одной из реализаций на языке C хэш-функции «Стрибог». Подробная информация о проекте доступна по следующей ссылке:

https://bmm.mca.nsu.ru/project/116

Заказчиком данного проекта является Группа Астра. Куратором данного проекта на Большой Математической Мастерской является к.ф.-м.н., н.с. ИСИ СО РАН и старший преподаватель НГУ Кондратьев Дмитрий Александрович.

Заявки на участие оформляются на сайте Большой Математической Мастерской:

https://bmm.mca.nsu.ru

Для оформления заявки на участие нужно:
1. Зарегистрироваться.
2. Перейти в личный кабинет.
3. Перейти в раздел «Заявка на участие».
4. Нажать соответствующую кнопку.

Срок подачи заявок на участие с 1 мая до 1 июня 2025 года. Во время выполнения проекта 6-19 июля 2025 года обязательно очное участие.

Заинтересованные и проявившие свои способности участники проекта могут в дальнейшем присоединиться к команде Математического центра в Академгородке или найти работу в "Группе Астра".