docs: update zkRust documentation (#932)

Co-authored-by: Gian <58370608+glpecile@users.noreply.github.com>

Author: PatStiles

docs/3_guides/5_using_zkrust.md

@@ -1,11 +1,10 @@
 # Generating & submitting proofs to Aligned using zkRust
 
-With zkRust, you can generate proofs of Rust code and then submit them to Aligned to be verified with only one command.
-You can choose between different Rust zkVMs for generating your proof.
-The supported provers at the moment are:
+[zkRust](https://github.com/yetanotherco/zkRust) is a CLI tool to generate proofs of your rust code using a RISCV-zkVM's and submit them to Aligned to be verified with only one command.
+The following provers are supported:
 
-* [Risc0](https://github.com/risc0/risc0)
-* [SP1](https://github.com/succinctlabs/sp1)
+- [Risc0](https://github.com/risc0/risc0)
+- [SP1](https://github.com/succinctlabs/sp1)
 
 ## Dependencies
 
@@ -19,13 +18,27 @@ To generate and submit proofs to Aligned using ZKRust, you need to have the foll
 
 To generate and submit proofs to Aligned testnet using zkRust, you can follow the steps below:
 
-### 1. Clone the zkRust repository:
+### 1. Install zkRust :
 
-```bash
-git clone https://github.com/lambdaclass/zkRust
+The zkRust executable can be installed directly via the command line via:
+
+```sh
+curl -L https://raw.githubusercontent.com/yetanotherco/zkRust/main/install_zkrust.sh | bash
+```
+
+or built by cloning the repo
+
+```sh
+git clone https://github.com/yetanotherco/zkRust
 cd zkRust
 ```
 
+and running the installation script:
+
+```sh
+make install
+```
+
 ### 2. Generate a keystore:
 
 You can use cast to create a local keystore.
@@ -48,11 +61,12 @@ You can get Holesky ETH from the [faucet](https://cloud.google.com/application/w
 
 The zkRust repo has some predefined examples that can be used to generate a proof.
 You can find them in `zkRust/examples`.
-For example, to generate a proof of a `fibonacci` program with Risc0 and submit it to aligned, run:
+For example, to generate a proof of a `fibonacci` program with Risc0 or SP1 and submit it to aligned, run:
 
-```bash
-cargo run --release -- prove-risc0 \
-    --submit-to-aligned-with-keystore <path_to_keystore> \
+```sh
+cargo run --release --  prove-risc0 \
+    --submit-to-aligned-with-keystore \
+    <PATH_TO_KEYSTORE> \
     examples/fibonacci .
 ```
 
@@ -75,5 +89,4 @@ cargo run --release -- prove-sp1 \
 
 For the moment, the Rust code that can be proven has some limitations:
 
-* Programs with I/O are not supported
-* Programs that rely on zkVMs Precompiles may take too much time and computing resources.   
+- Programs with user Input and Output to the vm code are not supported.