chore: update book for v1.3.0 release (#1865)

close INT-4395

Author: jonathanpwang

.github/workflows/versioning.yml

@@ -5,9 +5,9 @@ on:
   workflow_dispatch:
     inputs:
       version:
-        description: "Version tag to compare (e.g., v1.2.0)"
+        description: "Version tag to compare (e.g., v1.3.0)"
         required: true
-        default: "v1.2.0"
+        default: "v1.3.0"
         type: string
 
 jobs:
@@ -22,7 +22,7 @@ jobs:
         uses: actions/checkout@v4
 
       - name: Set version fallback
-        run: echo "version=${{ github.event.inputs.version || 'v1.2.0' }}" >> $GITHUB_ENV
+        run: echo "version=${{ github.event.inputs.version || 'v1.3.0' }}" >> $GITHUB_ENV
 
       - name: Install solc # svm should support arm64 linux
         run: (hash svm 2>/dev/null || cargo install --version 0.2.23 svm-rs) && svm install 0.8.19 && solc --version

CHANGELOG.md

@@ -5,7 +5,7 @@ All notable changes to OpenVM will be documented in this file.
 The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/),
 and this project follows a versioning principles documented in [VERSIONING.md](./VERSIONING.md).
 
-## v1.3.0 (2025-07-14)
+## v1.3.0 (2025-07-15)
 
 No circuit constraints or verifying keys were changed in this release.
 
@@ -29,6 +29,7 @@ Users are advised to switch to using the new guest libraries.
 - (SDK) New functions `generate_e2e_stark_proof` and `verify_e2e_stark_proof`
 
 ### Changed
+- (Toolchain) The `openvm` crate and `cargo openvm build` command have been updated to support both `getrandom` `v0.2` and `v0.3`.
 - (Primitives Libraries) In the algebra and elliptic curve primitive libraries, the `setup_*` functions have been removed from guest bindings and are now called on-demand within other relevant binding functions. Additionally, custom opcode initialization is now simplified through the inclusion of `openvm_init.rs` files and the `openvm::init!()` macro. Read the book for more details.
 - (CLI) The build command `cargo openvm build` now stores build artifacts in the `target/` to match cargo conventions.
 - (CLI) The `cargo openvm setup` command now supports skipping halo2 proving keys and outputs halo2 PK and STARK PK as separate files.

book/src/getting-started/install.md

@@ -9,7 +9,7 @@ To use OpenVM for generating proofs, you must install the OpenVM command line to
 Begin the installation:
 
 ```bash
-cargo install --locked --git http://github.com/openvm-org/openvm.git --tag v1.2.0 cargo-openvm
+cargo +1.85 install --locked --git http://github.com/openvm-org/openvm.git --tag v1.3.0 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.2.0 --single-branch https://github.com/openvm-org/openvm.git
+git clone --branch v1.3.0 --single-branch https://github.com/openvm-org/openvm.git
 cd openvm
 cargo install --locked --force --path crates/cli
 ```

book/src/getting-started/quickstart.md

@@ -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.2.0", features = ["std"] }
+openvm = { git = "https://github.com/openvm-org/openvm.git", tag = "v1.3.0", features = ["std"] }
 ```
 
 Note that `std` is not enabled by default, so explicitly enabling it is required.
@@ -66,16 +66,14 @@ This will output a serialized proving key to `./target/openvm/app.pk` and a veri
 Now we are ready to generate a proof! Simply run:
 
 ```bash
-OPENVM_FAST_TEST=1 cargo openvm prove app --input "0x010A00000000000000"
+cargo openvm prove app --input "0x010A00000000000000"
 ```
 
 The `--input` field is passed to the program which receives it via the `io::read` function.
 In our `main.rs` we called `read()` to get `n: u64`. The input here is `n = 10u64` _in little endian_. Note that this value must be padded to exactly 8 bytes (64 bits) and is prefixed with `0x01` to indicate that the input is composed of raw bytes.
 
 The serialized proof will be output to `./fibonacci.app.proof`.
 
-The `OPENVM_FAST_TEST` environment variable is used to enable fast proving for testing purposes. To run with proof with secure parameters, remove the environmental variable.
-
 ## Proof Verification
 
 Finally, the proof can be verified.