ACE-RISCV 的项目扩展与二次开发

项目的基础介绍

ACE-RISCV 是一个开源项目，旨在为 RISC-V 架构提供一个具有形式化证明安全监控器的机密计算框架。该项目基于规范架构，专注于将机密计算技术应用于嵌入式系统，并通过形式化验证确保安全监控器实现的正确性。ACE-RISCV 支持本地认证机制，适用于网络连接有限或无网络连接的嵌入式系统。

项目的核心功能

• 形式化验证：项目实现了 RISC-V CoVE 规范的部署模型 3，并在安全监控器源代码中嵌入形式化规范，证明了其安全性。
• 机密计算：支持本地认证，确保机密虚拟机（VM）的安全性。
• 后量子密码学：支持 ML-KEM、SHA-384 和 AES-GCM-256 等后量子密码学算法。
• 硬件支持：兼容具有整数（I）、原子（A）、虚拟机扩展（H）、物理内存保护（PMP）、内存管理单元（MMU）、IOPMP、核心本地中断控制器（CLINT）和监督时间比较扩展（Sstc）的 RISC-V 64 位硬件。

项目使用了哪些框架或库？

• Rust：用于编写安全监控器和相关工具。
• Linux 内核：作为虚拟机内核和机密客机内核。
• OpenSBI：用于启动过程和提供底层固件支持。
• Qemu：用于模拟 RISC-V 环境。

项目的代码目录及介绍

.
├── .github/                # GitHub 相关配置文件
├── .vscode/                # Visual Studio Code 配置文件
├── confidential-vms/       # 机密虚拟机相关代码
├── hypervisor/             # 虚拟机内核相关代码
├── security-monitor/       # 安全监控器相关代码
├── tools/                  # 工具和脚本
├── verification/           # 形式化验证证明文件
├── Makefile                # 编译脚本
├── README.md               # 项目说明文件
├── LICENSE                 # 开源协议文件
└── ...                     # 其他相关文件和目录

对项目进行扩展或者二次开发的方向

1. 增加支持的新硬件：扩展项目以支持更多的 RISC-V 硬件平台。
2. 集成其他安全功能：集成额外的安全特性，如完整性保护、加密存储等。
3. 优化性能：针对不同应用场景，优化项目性能，提高运行效率。
4. 扩展监控器功能：在安全监控器中增加新的功能，如远程认证、更复杂的权限管理等。
5. 开发新的应用程序：基于 ACE-RISCV 构建新的机密计算应用程序，如安全支付、加密通信等。
6. 增强形式化验证：扩展形式化验证的范围，增加更多安全属性的证明。