The Rust programming language has significant potential to be impactful with respect to software security, particularly as the formal verification tools for the language mature.