ACE-RISCV: Framework de Computación Confidencial de Código Abierto para RISC-V

ACE-RISCV es un proyecto de código abierto que proporciona un framework de computación confidencial con un monitor de seguridad formalmente verificado. Orientado a RISC-V con la portabilidad en mente, se centra en la verificación formal de la implementación del monitor de seguridad. El proyecto admite la atestación local y utiliza criptografía post-cuántica (PQC), incluyendo ML-KEM, SHA-384 y AES-GCM-256. Se proporcionan instrucciones detalladas de compilación y ejecución para una arquitectura RISC-V de 64 bits.