ACE-RISCV: Open-Source Confidential Computing Framework für RISC-V

ACE-RISCV ist ein Open-Source-Projekt, das ein Confidential-Computing-Framework mit einem formal verifizierten Sicherheitsmonitor bereitstellt. Es zielt auf RISC-V ab und ist portabel auf andere Architekturen. Der Schwerpunkt der formalen Verifikation liegt auf der Implementierung des Sicherheitsmonitors. Das Projekt unterstützt lokale Attestierung und verwendet Post-Quantum Cryptography (PQC), darunter ML-KEM, SHA-384 und AES-GCM-256. Detaillierte Anweisungen zum Erstellen und Ausführen sind für eine 64-Bit-RISC-V-Architektur verfügbar.