NR: update instructions for dependency installation

Signed-off-by: Reto Achermann <[email protected]>

site/guide.md

@@ -171,16 +171,17 @@ The repository should now be ready and we can build the binaries and run the ben
 
 #### 2. Installing Dependencies
 
-Ensure that you have installed the dependencies for Verus.
+The following instructions will install all dependencies required to build and run the benchmarks.
+
+Base Image: `Ubuntu 24.04 LTS.`
 
-In addition, install the following packages for building and running the benchmarks:
 
 ```shell
 # on Ubuntu
-$ sudo apt install liburcu-dev libhwloc-dev python3 python3-venv  texlive-xetex texlive-fonts-extra
+$ sudo apt-get install curl wget liburcu-dev libhwloc-dev python3-venv  texlive-xetex texlive-fonts-extra pkg-config clang make g++
 ```
 
-Linear Dafny requires a specific version of libssl. You can install this with the follwing command:
+Linear Dafny requires a specific version of libssl. You can install this with the following command:
 
 ```shell
 # on Ubuntu
@@ -189,6 +190,15 @@ sudo dpkg -i libssl1.1_1.1.0g-2ubuntu4_amd64.deb
 rm -rf libssl1.1_1.1.0g-2ubuntu4_amd64.deb
 ```
 
+Install Rust using rustup toolchain installer:
+
+```shell
+# on Ubuntu
+$ curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh
+# source the Rust environment
+. "$HOME/.cargo/env"
+```
+
 ### 3. Running the Benchmark
 
 To run the benchmarks, navigate into the `benchmarks` directory and execute the `run_benchmarks.sh`