ACE-RISCV: Open-Source Confidential Computing Framework for RISC-V

ACE-RISCV is an open-source project delivering a confidential computing framework with a formally verified security monitor. Targeting RISC-V with portability in mind, it focuses on formal verification of the security monitor's implementation. The project supports local attestation and utilizes Post-Quantum Cryptography (PQC) including ML-KEM, SHA-384, and AES-GCM-256. Detailed build and run instructions are provided for a 64-bit RISC-V architecture.