fix issue link, reward

Author: thanhnguyen-aws

doc/src/challenges/0017-slice.md

@@ -1,17 +1,17 @@
 # Challenge 17: Verify the safety of `slice` functions
 
 - **Status:** Open
-- **Tracking Issue:** [#29](https://github.com/model-checking/verify-rust-std/issues/29)
+- **Tracking Issue:** [#281](https://github.com/model-checking/verify-rust-std/issues/281)
 - **Start date:** *2025-03-07*
 - **End date:** *2025-10-17*
-- **Reward:** *?*
+- **Reward:** *5000 USD*
 
 -------------------
 
 
 ## Goal
 
-Verify the safety of [`std::slice`] functions in (library/core/src/slice/mod.rs).
+Verify the safety of `std::slice` functions in (library/core/src/slice/mod.rs).
 
 
 ### Success Criteria

doc/src/challenges/0018-slice-iter-pt1.md

@@ -1,18 +1,18 @@
 # Challenge 18: Verify the safety of `slice` iter functions - part 1
 
 - **Status:** Open
-- **Tracking Issue:** [#29](https://github.com/model-checking/verify-rust-std/issues/29)
+- **Tracking Issue:** [#282](https://github.com/model-checking/verify-rust-std/issues/282)
 - **Start date:** *2025-03-07*
 - **End date:** *2025-10-17*
-- **Reward:** *?*
+- **Reward:** *5000 USD*
 
 -------------------
 
 
 ## Goal
 
-Verify the safety of Iterator functions of [`std::slice`] generated by `iterator!` and `forward_iterator!` macros that are defined in (library/core/src/slice/iter/macros.rs):
-to generate impl for `Iter`, `IterMut`, `SplitN`, `SplitNMut`, `RSplitN`, `RSplitNMut`  in (library/core/src/slice/iter.rs):
+Verify the safety of Iterator functions of `std::slice` generated by `iterator!` and `forward_iterator!` macros that are defined in (library/core/src/slice/iter/macros.rs):
+to generate impl for Iter, IterMut, SplitN, SplitNMut, RSplitN, RSplitNMut  in (library/core/src/slice/iter.rs):
 
 ```
 iterator! {struct Iter -> *const T, &'a T, const, {/* no mut */}, as_ref, {

doc/src/challenges/0019-slice-iter-pt2.md

@@ -1,17 +1,17 @@
 # Challenge 19: Verify the safety of `slice` iter functions - part 2
 
 - **Status:** Open
-- **Tracking Issue:** [#29](https://github.com/model-checking/verify-rust-std/issues/29)
+- **Tracking Issue:** [#283](https://github.com/model-checking/verify-rust-std/issues/283)
 - **Start date:** *2025-03-07*
 - **End date:** *2025-10-17*
-- **Reward:** *?*
+- **Reward:** *5000 USD*
 
 -------------------
 
 
 ## Goal
 
-Verify the safety of Iterator functions of [`std::slice`] that are defined in (library/core/src/slice/iter.rs):
+Verify the safety of Iterator functions of `std::slice` that are defined in (library/core/src/slice/iter.rs):