криптография

ChainCatcher сообщает, что соучредитель Ethereum Виталик Бутерин опубликовал новую статью «Obfuscation (Часть третья): Local Mixing», в которой подробно рассматривается исследуемая криптографическая техника обфускации — "локальное смешивание" (Local Mixing), и утверждает, что она может стать новым основным инструментом криптографии после эллиптических кривых, RSA и решеточной криптографии.Виталик отметил, что текущие основные технологии обфускации в значительной степени зависят от сложных математических предположений, но часто имеют очень высокие вычислительные затраты; в то время как локальное смешивание использует совершенно другой подход, не полагаясь на эллиптические кривые, разложение больших чисел или решеточную криптографию, а заимствует опыт симметричной криптографии и проектирования хеш-функций, постоянно перемешивая, реконструируя и скрывая структуру цепи, устраняя утечку информации при сохранении функциональности.Технология локального смешивания включает в себя такие этапы, как обратимость (reversibility), усиление (hardening), смешивание (mixing), разделение (splitting), перекрестное перемещение (crossing walk) и "компонентализация" (gadgetization), добавляя случайные структуры в цепь, переставляя логические ворота и применяя нелинейные механизмы скрытия, что затрудняет злоумышленникам восстановление исходной вычислительной логики.Виталик подчеркнул, что эта технология все еще находится на ранней стадии, ее безопасность еще не была проверена в долгосрочной перспективе, и она сталкивается с вызовами, такими как случайные атаки и линейный анализ. Тем не менее, он считает, что локальное смешивание представляет собой совершенно новый путь в криптографических исследованиях, целью которого является создание более эффективных схем неразличимой обфускации (iO).Если технология локального смешивания достигнет прорыва, это может привести к новым схемам квантово-устойчивого открытого ключа и способствовать развитию универсальных технологий обфускации. В настоящее время в этой области потребуется много лет криптоанализа и оптимизации, но исследования с помощью ИИ могут значительно ускорить этот процесс. Виталик отметил, что технологии обфускации рассматриваются как "последний рубеж" криптографии, поскольку теоретически другие криптографические примитивы могут быть построены на основе обфускации и односторонних функций, а локальное смешивание может не только снизить затраты на традиционные схемы обфускации, но и стать важным направлением для будущей криптографической инфраструктуры.

Сообщение от ChainCatcher, согласно официальным данным, OpenAI опубликовала результаты исследований, в которых утверждается, что ее следующая генерация AI модели Astra достигла прогресса в области математики и теоретической компьютерной науки, охватывающей такие области, как высокоразмерная геометрия, теория кодирования, теория групп, квантовая сложность, постквантовая криптография и экстремальная комбинаторная математика. Опубликованные 10 результатов касаются: проблемы упаковки высокоразмерных шаров, проблемы бинарного и сферического кодирования, проблемы не софических групп, гипотезы жесткости Коннеса, проблемы сложности арифметических схем, проблемы квантового параллельного повторения, проблемы ближайших векторов, гипотезы объема Эйрхарта, проблемы многокрасного числа Рэмси, гипотезы экстремальной теории графов.Как сообщается, эти результаты были получены с помощью внутренней версии модели Astra, затраты на вычисления для поиска решений составили около 2000 долларов (по цене Sol API).Затем исследователи-люди использовали ту же модель для помощи в оформлении результатов в виде статьи и сгенерировали проверяемые сертификаты доказательства с помощью системы формализации Lean.

Сообщение ChainCatcher, Anthropic объявила, что модель Claude Mythos Preview достигла прорыва в области криптографических исследований, обнаружив улучшенный метод атаки на кандидатный алгоритм постквантовой цифровой подписи HAWK. HAWK является кандидатным алгоритмом постквантовой подписи, собранным NIST для противодействия атакам квантовых компьютеров, который ранее прошел два раунда экспертной оценки, но Claude всего за 60 часов снизил эффективную стойкость ключа HAWK-256 с 2^64 до 2^38, значительно уменьшив теоретические затраты на взлом. HAWK еще не был фактически развернут, эта атака в настоящее время не затрагивает никакие производственные системы.Claude также обнаружил улучшенную атаку на 7 раундов AES, увеличив скорость в 200-800 раз. В процессе исследования Claude самостоятельно выполнил обзор литературы, математические рассуждения и экспериментальную проверку под ограниченным руководством криптографов. Атака на HAWK заняла около 60 часов, стоимость API составила около 100 тысяч долларов; атака на AES была выполнена Claude самостоятельно, после генерации около 1 миллиарда токенов была предложена основная инновационная идея. Исследователи Anthropic затем потратили сотни часов на проверку результатов. Anthropic заявила, что модели ИИ уже могут помочь в обнаружении важных недостатков криптографических алгоритмов, и криптографическое сообщество может столкнуться с аналогичными узкими местами, как в области программных уязвимостей ------ результаты исследований, полученные ИИ, значительно превышают возможности верификации человека. Anthropic уже сотрудничает с академическими учреждениями для запуска бенчмарка CryptanalysisBench и координирует раскрытие информации с авторами NIST и государственными партнерами. Исследовательская группа уже достигла предварительных результатов по алгоритмам LEA, Serpent-128 и другим. Anthropic предупреждает, что с увеличением возможностей ИИ в будущем могут быть обнаружены реальные атаки на развернутые системы, и необходимо заранее создать механизмы реагирования.

Сообщение ChainCatcher, соучредитель Ethereum Виталик Бутерин опубликовал новую статью, в которой представлена новая криптографическая технология смешивания Diamond iO. Эта технология направлена на решение проблемы низкой эффективности традиционных схем неразличимого смешивания, позволяя программам работать, скрывая внутреннюю логику и ключевые данные. Хотя традиционные технологии iO обладают мощными возможностями защиты конфиденциальности, их эксплуатационные расходы настолько высоки, что практически неосуществимы, в то время как Diamond iO, используя более радикальные новые криптографические предположения, повышает вычислительную эффективность с "космического времени" до "планетарного времени", приближая нас к практическому применению.Diamond iO построен на таких технологиях, как шифрование атрибутов (ABE) и полностью гомоморфное шифрование (FHE), позволяя пользователям выполнять зашифрованные программы и получать правильный вывод, не имея возможности просмотреть их внутренний код или скрытые ключи. Эта схема вводит новый механизм кодирования входных данных и условия расшифровки, снижая вычислительную сложность при обеспечении скрытия логики программы. Основные сценарии применения включают защиту программ, содержащих закрытые ключи, реализацию безопасной лицензии на программное обеспечение, создание криптографических услуг без доверия, а также поддержку блокчейнов и систем искусственного интеллекта с более сильной защитой конфиденциальности.Тем не менее, Diamond iO в настоящее время все еще находится на ранней стадии исследования, и его безопасность зависит от новых криптографических предположений, включая All-Product LWE и Evasive LWE, которые требуют дальнейшей проверки. В то же время эта технология все еще сталкивается с проблемами эффективности, такими как большие вычислительные затраты и ограничения глубины цепей. Исследователи считают, что оптимизация базовых хеш-функций, улучшение схем гомоморфного шифрования и снижение требований к параметрам безопасности могут сделать Diamond iO важным направлением для продвижения технологий смешивания программ в будущем.