«Код Безопасности» выпустил новую версию программно-аппаратного комплекса «Соболь» 3.0.3

«Код Безопасности» выпустил новую версию программно-аппаратного комплекса «Соболь» 3.0.3

«Код Безопасности» выпустил новую версию программно-аппаратного комплекса  «Соболь» 3.0.3

Новая версия флагманского продукта компании успешно прошла инспекционный контроль в Федеральной службе по техническому и экспортному контролю (ФСТЭК) на соответствие ранее выданному сертификату N1967 ФСТЭК России. Сертификат подтверждает соответствие руководящим документам по 2-му уровню контроля на отсутствие НДВ и возможность использования ПАК «Соболь» при создании автоматизированных систем до класса 1Б включительно и ИСПДн до класса К1 включительно.



Благодаря доработкам и новым функциям, версия электронного замка «Соболь» 3.0.3 позволяет усилить защиту рабочих станций и серверов от несанкционированного доступа. С выходом версии 3.0.3 в ПАК «Соболь» появилась возможность контролировать целостность системных файлов и секторов жесткого диска следующих операционных систем:

  • Mandriva 2008 Spring x86/x64; 
  • ALT Linux Desktop 4.0.2 Secure Edition x86/Lite x86; 
  • ALT Linux Server 4.0.0 Secure Edition x86/x64; 
  • Red Hat Enterprise Linux 4.1 Update 1 Secure Edition x64; 
  • Debian 5.0.3 x86; 
  • ОС сервера виртуализации VMware vSphere ESX 4.1 x64.

Также в список нововведений вошли:

  • Поддержка идентификаторов нового поколения eToken PRO (Java). 
    Данная возможность позволяет ПАК «Соболь» осуществлять строгую двухфакторную идентификацию, а поддержка Java-апплетов позволяет расширить базовые функции идентификатора. Помимо этого, eToken PRO (Java) обладает увеличенным объемом защищенной памяти.
  • Поддержка контроля конфигурации компьютера.
    В ПАК «Соболь» 3.0.3 реализован контроль аппаратной конфигурации компьютера, а именно контроль PCI-устройств, ACPI, SMBIOS и оперативной памяти.
  • Новый механизм старта работы ПАК «Соболь», который позволяет использовать ПАК «Соболь» на новых материнских платах. 
  • Поддержка GPT. 
    Возможность контроля целостности ресурсов, расположенных на жестких дисках, размеченных как GUID Partition Table.

Engram от DeepSeek: как LLM научили вспоминать, а не пересчитывать

Команда DeepSeek представила новый модуль Engram, который добавляет в трансформеры то, чего им давно не хватало, — встроенную память для быстрого извлечения знаний. Идея проста, но эффектная: вместо того чтобы снова и снова пересчитывать одни и те же локальные паттерны, модель может мгновенно «вспоминать» их через O(1)-lookup и тратить вычисления на более сложные задачи — рассуждения и дальние зависимости.

Engram работает не вместо Mixture-of-Experts (MoE), а вместе с ним. Если MoE отвечает за условные вычисления, то Engram добавляет вторую ось масштабирования — условную память.

По сути, это современная версия классических N-грамм, переосмысленная как параметрическая память, которая хранит устойчивые шаблоны: частые фразы, сущности и другие «статичные» знания.

Технически Engram подключается напрямую к трансформерному бэкбону DeepSeek. Он построен на хешированных таблицах N-грамм с мультихед-хешированием, лёгкой свёрткой по контексту и контекстно-зависимым гейтингом, который решает, сколько памяти «подмешать» в каждую ветку вычислений. Всё это аккуратно встраивается в существующую архитектуру без её радикальной переделки.

 

На больших моделях DeepSeek пошла ещё дальше. В версиях Engram-27B и Engram-40B используется тот же трансформерный бэкбон, что и у MoE-27B, но часть параметров перераспределяется: меньше маршрутизируемых экспертов — больше памяти Engram. В результате Engram-27B получает около 5,7 млрд параметров памяти, а Engram-40B — уже 18,5 млрд, при этом число активируемых параметров и FLOPs остаётся тем же.

Результаты предобучения на 262 млрд токенов выглядят убедительно. При одинаковом числе активных параметров Engram-модели уверенно обходят MoE-базу: снижается задержка, растут показатели на задачах знаний и рассуждений. Например, MMLU увеличивается с 57,4 до 60,4, ARC Challenge — с 70,1 до 73,8, BBH — с 50,9 до 55,9. Улучшения есть и в коде, и в математике — от HumanEval до GSM8K.

 

Отдельно исследователи посмотрели на длинный контекст. После расширения окна до 32 768 токенов с помощью YaRN Engram-27B либо сравнивается с MoE-27B, либо превосходит его  Причём иногда Engram достигает этого при меньших вычислительных затратах.

Механистический анализ тоже говорит в пользу памяти. Варианты с Engram формируют «готовые к предсказанию» представления уже на ранних слоях, а по CKA видно, что неглубокие слои Engram соответствуют гораздо более глубоким слоям MoE. Проще говоря, часть «глубины» модель получает бесплатно, выгружая рутину в память.

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

RSS: Новости на портале Anti-Malware.ru