Создан новый процессор на языке SystemVerilog. Он предназначен для создания удобных и безопасных инфраструктур для обработки секретных данных.
Формально я описал необходимое поведение и стандарт на него. По моим планам, соблюдение стандарта должно обезопасить наши вычисления.
Главные особенности:
- Понятный язык для написания приложений ("узнать нажатую клавишу", "отправить файл по сети" - базовые команды процессора)
- В рамках конкурса, на котором я и представил саму идею безопасных вычислений, появился первый компьютер, который я с тех пор и совершенствую.
Странные команды, похожие на человеческий язык - следствие появления удобной шины передачи данных, стандартизированных устройств, которые должны на ней быть и команд, которые эти устройства должны воспринимать.
