ACE-RISCV: Framework de Computação Confidencial de Código Aberto para RISC-V

O ACE-RISCV é um projeto de código aberto que fornece uma estrutura de computação confidencial com um monitor de segurança formalmente verificado. Alvejando o RISC-V com portabilidade em mente, ele se concentra na verificação formal da implementação do monitor de segurança. O projeto suporta autenticação local e utiliza criptografia pós-quântica (PQC), incluindo ML-KEM, SHA-384 e AES-GCM-256. São fornecidas instruções detalhadas de construção e execução para uma arquitetura RISC-V de 64 bits.