开源项目ACE-RISCV：面向RISC-V的可信计算框架

ACE-RISCV是一个开源项目，旨在提供一个具有形式化验证安全监视器的可信计算框架。它基于规范架构，目标是RISC-V，并可移植到其他架构。其形式化验证工作重点在于安全监视器的实现。该项目支持本地认证，并使用后量子密码学（PQC），包括ML-KEM、SHA-384和AES-GCM-256。目前基于RISC-V 64位架构，并提供详细的构建和运行指南。