fix issue link, reward

Author: thanhnguyen-aws

doc/src/challenges/0023-vec-pt1.md

@@ -1,22 +1,22 @@
-# Challenge 17: Verify the safety of `Vec` functions part 1
+# Challenge 23: Verify the safety of `Vec` functions part 1
 
 - **Status:** Open
-- **Tracking Issue:** [#29](https://github.com/model-checking/verify-rust-std/issues/29)
+- **Tracking Issue:** [#284](https://github.com/model-checking/verify-rust-std/issues/284)
 - **Start date:** *2025-03-07*
 - **End date:** *2025-10-17*
-- **Reward:** *?*
+- **Reward:** *5000 USD*
 
 -------------------
 
 
 ## Goal
 
-Verify the memory safety of [`std::Vec`] functions (library/alloc/src/vec/mod.rs).
+Verify the safety of `std::Vec` functions (library/alloc/src/vec/mod.rs).
 
 
 ### Success Criteria
 
-Verify the memory safety of the following public functions in (library/alloc/src/vec/mod.rs):
+Verify the safety of the following public functions in (library/alloc/src/vec/mod.rs):
 
 | Function |
 |---------|
@@ -60,9 +60,6 @@ Verify the memory safety of the following public functions in (library/alloc/src
 
 
 
-
-
-
 The verification must be unbounded---it must hold for slices of arbitrary length.
 
 The verification must hold for generic type `T` (no monomorphization).

doc/src/challenges/0024-vec-pt2.md

@@ -1,22 +1,22 @@
-# Challenge 17: Verify the safety of `Vec` functions part 2
+# Challenge 24: Verify the safety of `Vec` functions part 2
 
 - **Status:** Open
-- **Tracking Issue:** [#29](https://github.com/model-checking/verify-rust-std/issues/29)
+- **Tracking Issue:** [#285](https://github.com/model-checking/verify-rust-std/issues/285)
 - **Start date:** *2025/03/07*
 - **End date:** *2025/10/17*
-- **Reward:** *?*
+- **Reward:** *5000 USD*
 
 -------------------
 
 
 ## Goal
 
-Continue from part 1 (Challenge 23), for this challenge, you need to verify the safety of [`std::Vec`] iterator functions in other files in (library/alloc/src/vec/).
+Continue from part 1 (Challenge 23), for this challenge, you need to verify the safety of `std::Vec` iterator functions in other files in (library/alloc/src/vec/).
 
 
 ### Success Criteria
 
-Verify the safety of the following functions that in implemnted for `IntoIter` in (library/alloc/src/vec/into_iter.rs):
+Verify the safety of the following functions that in implemented for `IntoIter` in (library/alloc/src/vec/into_iter.rs):
 
 | Function |
 |---------|