The 3 year initiative will deliver the first commercial-quality, open-source, CHERI-enabled 64-bit Secure Enclave for application-class system-on-chips (SoCs). By combining CHERI hardware memory safety and compartmentalisation with formal verification, COSMIC aims to create a secure foundation for future high-assurance silicon designs.
Built on OpenTitan® design principles and featuring the CVA6-CHERI processor from Capabilities Limited, the project will extend open-source security to Linux-class systems and advance the commercial maturity of CHERI-enhanced RISC-V technology. Formal verification will ensure the design achieves a high standard of correctness suitable for deployment.
The CHERI Alliance welcomes the announcement. COSMIC is an important step towards embedding CHERI-based security in next-generation commercial products.
COSMIC continues lowRISC CIC‘s mission to make commercial open-source silicon real. It follows the success of OpenTitan and Sunburst and is supported by partners including Google, also a founding member of the CHERI Alliance, and Rivos.
You can read the full the press release here.