Project Verona — исследовательский проект Microsoft, призванный сделать Windows 10 более безопасной операционной системой за счёт переписывания низкоуровневых компонентов на новом языке программирования, основанном на Rust. Компания также отчиталась об успешной попытке использования Rust для удаления небезопасного кода из Windows.
Каждый второй вторник месяца Microsoft выпускает обновления для операционных систем, которая включают в себя исправления проблем с безопасностью. Порядка 70% обнаруженных за последние 12 лет уязвимостей связаны с безопасностью памяти. Именно поэтому за основу проекта был выбран язык Rust, позволяющий разработчикам писать код, не задумываясь об этом классе проблем.
В настоящее время Microsoft не готова сообщить о том, какие продукты будут перенесены на Rust, но компания пообещала информировать о ходе проводимых экспериментов. По словам Адама Бурча, инженера-программиста команды Hyper-V, опыт работы с Rust оказался весьма положительным. Сейчас в языке отсутствуют некоторые необходимые возможности, но он уверен, что Microsoft сможет внести свой вклад в формирование будущего Rust.