Seu sistema de tipos e modelo de propriedade fornecem fortes garantias de segurança;No entanto, esse modelo pode ser muito restritivo (para eficiência, acesso a hardware, legado etc.).Hoje, a Biblioteca Padrão Rust compreende aproximadamente 35 mil funções, com aproximadamente 7,5 mil funções inseguras e abstrações seguras de 3k.Finalmente, nosso chamado à ação para você é participar desse esforço em qualquer capacidade (revisões, provas, ferramentas etc.).Para superar esses desafios, iniciamos um esforço de verificação de origem da multidão, na qual a verificação da biblioteca padrão da rust é especificada como um conjunto de desafios.Até o momento, mais de 20 estudantes, acadêmicos e pesquisadores estiveram envolvidos no desafio.
Fonte: https://aws.amazon.com/blogs/opensource/verify-the-safety-of-the-rust-standard-library/
