主要观点：Amazon Web Services（AWS）宣布旨在验证 Rust 标准库安全性的合作计划，Rust 基金会将担任主办方。Rust 语言虽设计为安全高效，但不安全构造除外，约 35000 个函数中 7500 个被标记为不安全，需确保其可靠性和安全性。此计划包括验证内存安全等一系列挑战，参与者可通过指定合同等方式参与，AWS 目标是让验证成为 Rust 语言持续集成过程的一部分，每个挑战有奖金，且已吸引 30 多位学生等参与。
关键信息：

• AWS 宣布合作计划及相关链接。
• Rust 标准库函数情况及需验证部分。
• 挑战内容及参与者参与方式。
• AWS 参与原因及奖励委员会职责。
• 邀请参与的方式及相关链接。
  重要细节：
• 计划背后有 Rust 基金会参与并主持。
• 挑战有成功标准及相关流程。
• 工具不局限，有相关模板和指导。
• AWS 已参与并吸引多人参与。