# Risc Zero
This section of the documentation explains how to create a W3bstream ZK prover using Risc Zero as the ZK framework.
Prerequisites
#### 1. Rust language
Ensure you have the Rust compiler correctly installed
```sh
rustc --version
```
#### 2. Cargo
Ensure you have cargo 1.72.0 or higher:
cargo version
update cargo with:
```
rustup update
```
#### 3. rustzero toolchain
```
cargo install cargo-risczero
cargo risczero install
```
## Build the prover code
### Clone the W3bstream repository
Start by cloning the W3bstream repository, where you can start from a template prover:
```sh
git clone https://github.com/iotexproject/w3bstream.git
cd examples/risc0-circuit/
```
Open the folder in a code editor and make the required modifications based on your actual data message.
{% hint style="success" %}
Learn more about developing Risc Zero provers:
[→](https://dev.risczero.com/api/) [Go to the official Risc Zero documentation](https://dev.risczero.com/api/)
{% endhint %}
### Build the prover logic
```
cargo build --release
```
The prover bytecode is saved in a file named `methods.rs` inside the `release` folder. The correct path is logged at the end of the build:
```sh
warning: range-method@0.1.0: methods_path is: "/Users/simone/Source/GitHub/machinefi/sprout/examples/risc0-circuit/target/debug/build/range-method-2bec077ba5c1d7b6/out/methods.rs"
```
The `method.rs` file also includes the image ID of the prover that is needed by the verifier when verifying a proof:
```javascript
pub const RANGE_ID: [u32; 8] = [512905798, 3876631256, 1803615688, 344980519, 987991463, 241449906, 813598757, 370978982];
```