AWS and the Rust Foundation are crowdsourcing challenges to verify Rust’s standard library, incentivizing developers with financial rewards. While Rust champions safety, over 7,500 “unsafe” functions exist in its standard library. AWS highlights vulnerabilities and seeks community-driven formal verification. Developers can tackle 13 challenges via GitHub to bolster Rust’s reliability without altering runtime logic, aiming to secure its growing adoption across critical systems like Linux and Azure.