Member
- Joined
- Oct 14, 2023
- Messages
- 88
- Thread Author
- #1
The corporation creates secure and reliable processors based on open source tools.
Google has announced the Open Se Cura hardware and software package, which simplifies the development and verification of chips for machine learning and artificial intelligence tasks. The project is based on open technologies such as the OpenTitan platform, the RISC-V architecture, the seL4 microkernel, and the Rust programming language.
Open Se Cura includes the CantripOS operating system and hardware specifically designed to provide a high level of security and reliability. The CantripOS operating system is based on the seL4 microkernel, which has a mathematical proof of correctness and isolates critical components from the rest of the system. All system services and applications are written in the Rust language, which prevents errors when working with memory. The CAmkES toolset is used for verified builds, and the IREE toolset is used for executing machine learning models.
The Open Se Cura hardware is based on the OpenTitan platform, which is an open implementation of trusted hardware components (Root of Trust, RoT). These components provide protection against external attacks and internal failures, as well as allow you to verify the authenticity and integrity of the system. The processor core for Open Se Cura is developed on the basis of the RISC-V architecture, which is open and flexible for modifications.
The Open Se Cura project aims to create specialized chips that can be used in areas where confidential information needs to be processed using machine learning and artificial intelligence. For example, such chips can be used in face and voice recognition systems, as well as in other products related to personal data. The combination of a verified operating system kernel and trustworthy hardware components ensures that the system will work safely and reliably.
Not only Google, but also other companies and organizations such as lowRISC, Antmicro, and VeriSilicon participated in the development of Open Se Cura and CantripOS. The project's developments, including source codes and schemas, are distributed under the Apache 2.0 license and are available for study and use.
Google has announced the Open Se Cura hardware and software package, which simplifies the development and verification of chips for machine learning and artificial intelligence tasks. The project is based on open technologies such as the OpenTitan platform, the RISC-V architecture, the seL4 microkernel, and the Rust programming language.
Open Se Cura includes the CantripOS operating system and hardware specifically designed to provide a high level of security and reliability. The CantripOS operating system is based on the seL4 microkernel, which has a mathematical proof of correctness and isolates critical components from the rest of the system. All system services and applications are written in the Rust language, which prevents errors when working with memory. The CAmkES toolset is used for verified builds, and the IREE toolset is used for executing machine learning models.
The Open Se Cura hardware is based on the OpenTitan platform, which is an open implementation of trusted hardware components (Root of Trust, RoT). These components provide protection against external attacks and internal failures, as well as allow you to verify the authenticity and integrity of the system. The processor core for Open Se Cura is developed on the basis of the RISC-V architecture, which is open and flexible for modifications.
The Open Se Cura project aims to create specialized chips that can be used in areas where confidential information needs to be processed using machine learning and artificial intelligence. For example, such chips can be used in face and voice recognition systems, as well as in other products related to personal data. The combination of a verified operating system kernel and trustworthy hardware components ensures that the system will work safely and reliably.
Not only Google, but also other companies and organizations such as lowRISC, Antmicro, and VeriSilicon participated in the development of Open Se Cura and CantripOS. The project's developments, including source codes and schemas, are distributed under the Apache 2.0 license and are available for study and use.