RFC - Secret Types in Rust
Explore a Rust conference talk that delves into the concept of secret types and their potential implementation in the Rust programming language. Learn about timing side channels, constant time operations, and why Rust is a suitable choice for addressing these security concerns. Discover current methods for circumventing LLVM optimizations to enhance binary security, including the use of empty asm!() directives and functions. Understand the limitations of these approaches and why a more robust solution is needed. Examine the proposed RFC 2859 for introducing secret types in Rust, its potential impact, and implementation details. Gain insights into optimization barriers and their importance in maintaining security. The talk concludes with examples and a Q&A session, providing a comprehensive overview of this crucial topic in Rust development and security.