From dbe838c85cc33bcb03759dc34a3926b8a2ea6f39 Mon Sep 17 00:00:00 2001 From: Gracie Gregory Date: Thu, 14 Nov 2024 19:55:41 +0000 Subject: [PATCH 1/3] Added 1 file via CloudCannon. --- ...ative-to-verify-rust-standard-libraries.md | 43 +++++++++++++++++++ 1 file changed, 43 insertions(+) create mode 100644 news/rust-foundation-collaborates-with-aws-initiative-to-verify-rust-standard-libraries.md diff --git a/news/rust-foundation-collaborates-with-aws-initiative-to-verify-rust-standard-libraries.md b/news/rust-foundation-collaborates-with-aws-initiative-to-verify-rust-standard-libraries.md new file mode 100644 index 00000000..24e3c89e --- /dev/null +++ b/news/rust-foundation-collaborates-with-aws-initiative-to-verify-rust-standard-libraries.md @@ -0,0 +1,43 @@ +--- +title: >- + Rust Foundation Collaborates With AWS Initiative to Verify Rust Standard + Libraries +byline: Rust Foundation Team +description: >- + The Rust Foundation is excited to support a new contest from AWS that + endeavors to crowd-source the verification of the Rust standard libraries. +date: 2024-11-14T15:00:00Z +tags: + - foundation +index: false +layout: layouts/news.njk +--- +Today, Amazon Web Services (AWS) \[announced\](link) a collaborative initiative aimed at verifying the safety of the Rust standard libraries. The Rust Foundation has reviewed the plans behind this effort and is excited to serve as host! + +Although the Rust Programming language is designed to be both safe and efficient, unsafe operations that can compromise these guarantees are possible. Currently, the Rust standard library contains approximately 35,000 functions, including 7,500 marked as unsafe, necessitating a focused effort to ensure their reliability and security. + +This initiative will include a series of challenges that focus on verifying memory safety and a subset of undefined behaviors in the Rust standard library. Participants can contribute by specifying contracts, verifying library components, or developing new verification tools. AWS’ goal is to contribute to an ecosystem where verification becomes an integral part of the Rust language's continuous integration process. + +Other key notes: + +* Participants can contribute by specifying contracts, verifying library components, or developing new verification tools. +* The challenge specifies success criteria that must be met for the solution to be reviewed and merged into the forked repository CI pipeline. +* The effort is tool agnostic +* The repository provides templates for introducing new challenges, new tools, and instructions on how to submit solutions to challenges. +* At this time, AWS has over 20 students, academics, and researchers involved. + +### The Rust Foundation’s Role + +Although AWS is a Platinum Member of the Rust Foundation, we have opted to host the challenge purely out of our shared belief in the safety and reliability of Rust libraries and our desire to have as much insight as possible into important efforts like this. + +The challenge rewards committee is responsible for reviewing activity and dispensing rewards. + +### Get Involved! + +AWS invites you to participate by solving challenges, introducing *new* challenges or tools, and/or helping review and refine the current processes. + +Challenge announcement from AWS: \{link\} + +Associated GitHub Repository: [https://github.com/model-checking/verify-rust-std](https://github.com/model-checking/verify-rust-std) + +  \ No newline at end of file From 126e266614253ae9ea45646b5316ea989d00f645 Mon Sep 17 00:00:00 2001 From: Gracie Gregory Date: Fri, 15 Nov 2024 19:44:57 +0000 Subject: [PATCH 2/3] Updated 1 file via CloudCannon. --- ...with-aws-initiative-to-verify-rust-standard-libraries.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/news/rust-foundation-collaborates-with-aws-initiative-to-verify-rust-standard-libraries.md b/news/rust-foundation-collaborates-with-aws-initiative-to-verify-rust-standard-libraries.md index 24e3c89e..c98efe60 100644 --- a/news/rust-foundation-collaborates-with-aws-initiative-to-verify-rust-standard-libraries.md +++ b/news/rust-foundation-collaborates-with-aws-initiative-to-verify-rust-standard-libraries.md @@ -14,9 +14,9 @@ layout: layouts/news.njk --- Today, Amazon Web Services (AWS) \[announced\](link) a collaborative initiative aimed at verifying the safety of the Rust standard libraries. The Rust Foundation has reviewed the plans behind this effort and is excited to serve as host! -Although the Rust Programming language is designed to be both safe and efficient, unsafe operations that can compromise these guarantees are possible. Currently, the Rust standard library contains approximately 35,000 functions, including 7,500 marked as unsafe, necessitating a focused effort to ensure their reliability and security. +Although the Rust Programming language is designed to be both safe and efficient, these assurances do not apply to unsafe constructs. Currently, the Rust standard library contains approximately 35,000 functions, including 7,500 marked as unsafe, necessitating a focused effort to ensure their reliability and security. -This initiative will include a series of challenges that focus on verifying memory safety and a subset of undefined behaviors in the Rust standard library. Participants can contribute by specifying contracts, verifying library components, or developing new verification tools. AWS’ goal is to contribute to an ecosystem where verification becomes an integral part of the Rust language's continuous integration process. +This initiative will include a series of challenges that focus on verifying memory safety and a subset of undefined behaviors in the Rust standard library. Participants can contribute by specifying contracts, verifying library components, or developing new verification tools. AWS’ goal is to contribute to an ecosystem where verification becomes an integral part of the Rust language's continuous integration process. There is a financial award tied to each challenge, awarded upon its successful completion. Other key notes: @@ -24,7 +24,7 @@ Other key notes: * The challenge specifies success criteria that must be met for the solution to be reviewed and merged into the forked repository CI pipeline. * The effort is tool agnostic * The repository provides templates for introducing new challenges, new tools, and instructions on how to submit solutions to challenges. -* At this time, AWS has over 20 students, academics, and researchers involved. +* AWS is supporting this effort and has already seen engagement from 30+ students, academics, and researchers. ### The Rust Foundation’s Role From dee754b7b289aa2c99b768e69161caf71676cfbb Mon Sep 17 00:00:00 2001 From: Gracie Gregory Date: Wed, 20 Nov 2024 19:53:12 +0000 Subject: [PATCH 3/3] Updated 1 file via CloudCannon. --- ...with-aws-initiative-to-verify-rust-standard-libraries.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/news/rust-foundation-collaborates-with-aws-initiative-to-verify-rust-standard-libraries.md b/news/rust-foundation-collaborates-with-aws-initiative-to-verify-rust-standard-libraries.md index c98efe60..dd34283c 100644 --- a/news/rust-foundation-collaborates-with-aws-initiative-to-verify-rust-standard-libraries.md +++ b/news/rust-foundation-collaborates-with-aws-initiative-to-verify-rust-standard-libraries.md @@ -6,13 +6,13 @@ byline: Rust Foundation Team description: >- The Rust Foundation is excited to support a new contest from AWS that endeavors to crowd-source the verification of the Rust standard libraries. -date: 2024-11-14T15:00:00Z +date: 2024-11-20T15:00:00Z tags: - foundation index: false layout: layouts/news.njk --- -Today, Amazon Web Services (AWS) \[announced\](link) a collaborative initiative aimed at verifying the safety of the Rust standard libraries. The Rust Foundation has reviewed the plans behind this effort and is excited to serve as host! +Today, Amazon Web Services (AWS) announced a collaborative initiative aimed at verifying the safety of the Rust standard libraries. The Rust Foundation has reviewed the plans behind this effort and is excited to serve as host! Although the Rust Programming language is designed to be both safe and efficient, these assurances do not apply to unsafe constructs. Currently, the Rust standard library contains approximately 35,000 functions, including 7,500 marked as unsafe, necessitating a focused effort to ensure their reliability and security. @@ -36,7 +36,7 @@ The challenge rewards committee is responsible for reviewing activity and dispen AWS invites you to participate by solving challenges, introducing *new* challenges or tools, and/or helping review and refine the current processes. -Challenge announcement from AWS: \{link\} +Challenge announcement from AWS Associated GitHub Repository: [https://github.com/model-checking/verify-rust-std](https://github.com/model-checking/verify-rust-std)