Google призывает лечить уязвимости по памяти в прошивках кодом на Rust

Google призывает лечить уязвимости по памяти в прошивках кодом на Rust

Google призывает лечить уязвимости по памяти в прошивках кодом на Rust

Компания Google ратует за развертывание Rust в низкоуровневых прошивках, продвигая перевод унаследованных кодов на этот язык как средство борьбы с багами, грозящими нарушением безопасности доступа к памяти.

В новой блог-записи команда Android утверждает, что переход с C или C++ на Rust в существующих прошивках даст гарантии безопасности по памяти на уровнях ниже ОС, не имеющих стандартов защиты.

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

Чтобы облегчить переход, можно, к примеру, создать тонкую Rust-прослойку — предзагрузчик Shim, который будет копировать C API и осуществлять экспорт для существующей кодовой базы.

«Shim служит оболочкой API библиотеки Rust, соединяя существующий C API и Rust API, — поясняют эксперты. — Так обычно и делают, переписывая библиотеки или заменяя их Rust-альтернативой».

По признанию Google, до недавнего времени баги безопасности по памяти были основным источником уязвимостей в Chrome и Android. Благодаря развертыванию языков программирования, способных избавить продукты от этой напасти, в период с 2019 года по 2022-й ежегодный урожай таких ошибок в мобильной ОС удалось сократить с 223 до 85.

 

В прошлом году Microsoft запустила процесс перевода ядра Windows на Rust. Вышедшая в мае 2023 года сборка ОС версии 11 содержала драйверы на этом языке; тогда же стало известно о планах техногиганта аналогичным образом повысить защищенность процессора Pluton, который пока не нашел широкого применения.

В России впервые провели кубитные операции на планарных ионных ловушках

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

В планарной версии управляющие электроды размещаются на плоском чипе.

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

Результат независимо показали две научные группы. Специалисты Физического института РАН под руководством Ильи Семерикова захватили в планарную ловушку ионы иттербия-171, переместили их вдоль чипа и выполнили однокубитные операции.

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

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

Российские исследователи намерены развивать технологию и включиться в международную гонку планарных квантовых систем. К 2030 году проект рассчитывает выйти на уровень мировых лидеров.

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