diff --git a/README.md b/README.md
index 2417adde4e446..8ba51232cb91f 100644
--- a/README.md
+++ b/README.md
@@ -15,7 +15,8 @@ The goal is to have a verified [Rust standard library](https://doc.rust-lang.org
 2. Creating new techniques to perform scalable verification
 3. Apply techniques to verify previously unverified parts of the standard library.
 
-For that we are launching a contest that includes a series of challenges that focus on verifying
+For that we are launching a [contest supported by the Rust Foundation](https://foundation.rust-lang.org/news/rust-foundation-collaborates-with-aws-initiative-to-verify-rust-standard-libraries/)
+that includes a series of challenges that focus on verifying
 memory safety and a subset of undefined behaviors in the Rust standard library.
 Each challenge describes the goal, the success criteria, and whether it has a financial award to be awarded upon its
 successful completion.
diff --git a/doc/src/general-rules.md b/doc/src/general-rules.md
index b5cc9604e4b35..0b884d996ba24 100644
--- a/doc/src/general-rules.md
+++ b/doc/src/general-rules.md
@@ -6,8 +6,6 @@
 and we kept a copy of the Rust standard library inside the `library/` folder that shall be used as the verification target for all our challenges.
 We will periodically update the `library/` folder to track newer versions of the [official Rust standard library](https://github.com/rust-lang/rust/).
 
-**NOTE:** This work is not officially affiliated, or endorsed by the Rust project or Rust Foundation.
-
 **Challenges:** Each individual verification effort will have a
 tracking issue where contributors can add comments and ask clarification questions.
 You can find the list of [open challenges here](https://github.com/model-checking/verify-rust-std/labels/Challenge).