Towards an open-source Secure Enclave, Part II
Secure enclaves are one of many secure computing techniques Oasis Labs utilizes to enable privacy-preserving smart contracts. While this technology is available in some present-day chipsets, including Intel SGX and ARM TrustZone, Keystone is the first open-source enclave technology available for broader use.
Open-sourced secure enclaves are important for a number of reasons including:
- Enabling easier and broader adoption of secure enclave technology across all chipset manufacturers.
- Allowing the community to openly evaluate and improve on the system.
- Providing the ability to understand the impact of problems when they are found, and evaluate the consequences of the fix publicly.
- Taking advantage of the growing set of tools for formal verification, which will enable formal proofs of correctness and security.