SAT@home – распределенные вычисления
Присоединился к российскому проекту SAT@home, осуществляемому под эгидой РАН с использованием системы распределенных вычислений на основе BOINC.
Научная цель проекта описывается здесь.
........
........
Крайне привлекательным классом задач, для решения которых можно использовать SAT-подход, являются задачи криптоанализа. Сразу оговоримся, что мы не решаем задачи дешифровки реальных конфиденциальных данных. Все рассматриваемые нами тесты сгенерированы случайным образом. В этом плане наша работа направлена на исследование стойкости современных систем шифрования и подразумевает реальную помощь в создании новых систем шифрования. Наиболее сильным достигнутым нами практическим результатом является успешный логический криптоанализ (то есть в форме SAT-задачи) генератора ключевого потока широко известного шифра A5/1. Данный результат был получен в 2009 году с использованием системы BNB-Grid (статья в Трудах ИСА РАН, статья на Arxiv, статья в Lecture Notes in Computer Science). В 2010-2011 годах появились исследования (см., например, эту работу), в которых также был осуществлен реальный криптоанализ A5/1, но с использованием совершенно других методов (по сути, использовалась продвинутая техника rainbow таблиц). Однако даже самые хорошие rainbow-таблицы не покрывают все ключевое пространство на 100%. Поэтому в ближайшей перспективе в рамках SAT@home предполагается решение задач поиска инициализирующих последовательностей для A5/1, не покрываемых лучшими известными rainbow таблицами.В дальнейшем предполагается использовать SAT@home для исследования других криптографических функций, для решения некоторых «крайне трудных» задач дискретной оптимизации, в частности, квадратичной задачи о назначениях (QAP), а также для решения задач из области биоинформатики (исследование поведения дискретных моделей генных сетей).
На мой взгляд довольно интересно и, надеюсь, полезно.
Если позволите – прикладной вопрос. Использую Linux, ядро 3.5.0-17-generic. Видеокарта Nvidia Geforce 630. Драйвер для карты установлен, но при вычислениях не используется GPU, хотя в настройках клиента BOINC настройка "Использовать ГП" выставлена. На странице статистики 2-й идет машина с Linux и использованием для вычислений GPU, т.е. в принципе в данном проекте использовать GPU можно.
Вий, я ждал этого. Я уже терял надежду, но продолжал верить. И
МММ-2013SETI-2013 таки появился! Спасибо Вам! Надеюсь, что вы не погорели при участии вМММ-2012SETI-2012.комментариев: 510 документов: 110 редакций: 75
Мне то же понравилось, что наконец-то появился российский проект. Можно смело считать и ни в чем не сомневаться, заодно помочь своей академии наук.
SAT-задача — это вот это? A5/1 уже давно не жилец. По ссылке видно, что ещё в 2010ом году сломали (причём практический взлом) A5/3, а эти нам вещают про взлома A5/1? Они действительно отстают, или только кажется?
комментариев: 9796 документов: 488 редакций: 5664
Они просто могут досчитывать и оптимизировать rainbow-таблицы, например, чтобы расшифровывать налету. Такие таблицы и не являются взломом какого-то конкретного шифртекста — это массив данных для ускорения криптоанализа любого шифртекста. Они хотя бы обещают его опубликовать? Или будут использовать коллективные наработки в своих целях?
Кое-что по теме вот по этой ссылке ещё:
Это было по состоянию дел на 2011 год.
Как бы да, но:
Хотя понятно, что дальнейших исследований можно с особым интересом и не ждать. Результат предсказуем.