feat: add --evm flag for cargo openvm setup and bump versions (#1987)

Closes INT-4569

Author: yi-sun

docs/vocs/docs/pages/book/advanced-usage/sdk.mdx

@@ -89,12 +89,12 @@ After generating a proof, you can verify it. To do so, you need your verifying k
 To generate an EVM proof, you'll first need to ensure that you have followed the [CLI installation steps](/book/getting-started/install). get the appropriate KZG params by running the following command.
 
 ```bash
-cargo openvm setup
+cargo openvm setup --evm
 ```
 
 > ⚠️ **WARNING**
 >
-> `cargo openvm setup` requires very large amounts of computation and memory (~200 GB).
+> `cargo openvm setup --evm` requires very large amounts of computation and memory (~200 GB).
 
 <details>
 <summary>Also note that there are additional dependencies for the EVM Proof flow. Click here to view.</summary>
@@ -118,4 +118,4 @@ You can now run the aggregation keygen, proof, and verification functions for th
 > ⚠️ **WARNING**
 > The aggregation proving key `agg_pk` above is large. Avoid cloning it if possible.
 
-Note that `DEFAULT_PARAMS_DIR` is the directory where Halo2 parameters are stored by the `cargo openvm setup` CLI command. For more information on the setup process, see the `EVM Level` section of the [verify](/book/writing-apps/verifying-proofs) doc.
+Note that `DEFAULT_PARAMS_DIR` is the directory where Halo2 parameters are stored by the `cargo openvm setup --evm` CLI command. For more information on the setup process, see the `EVM Level` section of the [verify](/book/writing-apps/verifying-proofs) doc.

docs/vocs/docs/pages/book/getting-started/install.mdx

@@ -9,7 +9,7 @@ To use OpenVM for generating proofs, you must install the OpenVM command line to
 Begin the installation:
 
 ```bash
-cargo +1.85 install --locked --git http://github.com/openvm-org/openvm.git --tag v1.3.0 cargo-openvm
+cargo +1.86 install --locked --git http://github.com/openvm-org/openvm.git --tag v1.4.0-rc.4 cargo-openvm
 ```
 
 This will globally install `cargo-openvm`. You can validate a successful installation with:
@@ -23,7 +23,7 @@ cargo openvm --version
 To build from source, clone the repository and begin the installation.
 
 ```bash
-git clone --branch v1.3.0 --single-branch https://github.com/openvm-org/openvm.git
+git clone --branch v1.4.0-rc.4 --single-branch https://github.com/openvm-org/openvm.git
 cd openvm
 cargo install --locked --force --path crates/cli
 ```

docs/vocs/docs/pages/book/getting-started/quickstart.mdx

@@ -14,7 +14,7 @@ This will generate an OpenVM-specific starter package. Notice `Cargo.toml` has t
 
 ```toml
 [dependencies]
-openvm = { git = "https://github.com/openvm-org/openvm.git", tag = "v1.3.0", features = ["std"] }
+openvm = { git = "https://github.com/openvm-org/openvm.git", tag = "v1.4.0-rc.4", features = ["std"] }
 ```
 
 Note that `std` is not enabled by default, so explicitly enabling it is required.

docs/vocs/docs/pages/book/writing-apps/generating-proofs.mdx

@@ -45,7 +45,7 @@ If `--proof` is not provided then the command will write the proof to `./${bin_n
 The `app` subcommand generates an application-level proof, the `stark` command generates an aggregated root-level proof, while the `evm` command generates an end-to-end EVM proof. For more information on aggregation, see [this specification](https://github.com/openvm-org/openvm/blob/bf8df90b13f4e80bb76dbb71f255a12154c84838/docs/specs/continuations.md).
 
 > ⚠️ **WARNING**
-> In order to run the `evm` subcommand, you must have previously called the costly `cargo openvm setup`, which requires very large amounts of computation and memory (~200 GB).
+> In order to run the `evm` subcommand, you must have previously called the costly `cargo openvm setup --evm`, which requires very large amounts of computation and memory (~200 GB).
 
 See [EVM Proof Format](./verifying-proofs#evm-proof-json-format) for details on the output format for `cargo openvm prove evm`.
 

docs/vocs/docs/pages/book/writing-apps/overview.mdx

@@ -69,7 +69,7 @@ The process above details the workflow necessary to build, prove, and verify a g
 To do (a), you need to run the following command. If you've run it previously on your machine, there is no need to do so again. This will write files necessary for EVM proving in `~/.openvm/`.
 
 ```bash
-cargo openvm setup
+cargo openvm setup --evm
 ```
 
 > ⚠️ **WARNING**

docs/vocs/docs/pages/book/writing-apps/solidity-sdk.mdx

@@ -1,6 +1,6 @@
 # Solidity SDK
 
-As a supplement to OpenVM, we provide a [Solidity SDK](https://github.com/openvm-org/openvm-solidity-sdk) containing OpenVM verifier contracts generated at official release commits using the `cargo openvm setup` [command](/book/advanced-usage/sdk#setup). The contracts are built at every _minor_ release as OpenVM guarantees verifier backward compatibility across patch releases.
+As a supplement to OpenVM, we provide a [Solidity SDK](https://github.com/openvm-org/openvm-solidity-sdk) containing OpenVM verifier contracts generated at official release commits using the `cargo openvm setup --evm` [command](/book/advanced-usage/sdk#setup). The contracts are built at every _minor_ release as OpenVM guarantees verifier backward compatibility across patch releases.
 
 Note that these builds are for the default aggregation VM config which should be sufficient for most users. If you use a custom config, you will need to manually generate the verifier contract using the [OpenVM SDK](/book/advanced-usage/sdk).
 

docs/vocs/docs/pages/book/writing-apps/verifying-proofs.mdx

@@ -38,10 +38,10 @@ svm use 0.8.19
 The workflow for generating an end-to-end EVM proof requires first generating an aggregation proving key and EVM verifier contract. This can be done by running the following command:
 
 ```bash
-cargo openvm setup
+cargo openvm setup --evm
 ```
 
-Note that `cargo openvm setup` may attempt to download other files (i.e. KZG parameters) from an AWS S3 bucket into `~/.openvm/`.
+Note that `cargo openvm setup --evm` may attempt to download other files (i.e. KZG parameters) from an AWS S3 bucket into `~/.openvm/`.
 
 This command can take ~20mins on a `m6a.16xlarge` instance due to the keygen time.
 

docs/vocs/docs/pages/index.mdx

@@ -18,7 +18,7 @@ import { HomePage } from "vocs/components";
 
     ```bash [Build with OpenVM]
     # install `cargo openvm`
-    cargo +1.86 install --locked --git http://github.com/openvm-org/openvm.git --tag v1.4.0 cargo-openvm
+    cargo +1.86 install --locked --git http://github.com/openvm-org/openvm.git --tag v1.4.0-rc.4 cargo-openvm
 
     # create a starter OpenVM project
     cargo openvm init fibonacci