Tracking PR for v0.19.0 release

.config/nextest.toml

@@ -2,7 +2,7 @@
 # Do not cancel the test run on the first failure.
 fail-fast = false
 # Put a bound on hanging/slow tests
-slow-timeout = { period = "5m", terminate-after = 1, grace-period = "15s" }
+slow-timeout = { period = "10m", terminate-after = 1, grace-period = "15s" }
 
 [test-groups]
 serialized = { max-threads = 1 }

.github/workflows/bench.yml

@@ -19,6 +19,6 @@ jobs:
       - uses: actions/checkout@v4
       - name: Bench for all features
         run: |
-          rustup update --no-self-update
+          rustup +stable update --no-self-update
+          rustup default stable
           make check-bench
-

.github/workflows/build.yml

@@ -24,5 +24,6 @@ jobs:
       - name: Build for no-std
         run: |
           rustup update --no-self-update ${{ matrix.toolchain }}
-          rustup target add wasm32-unknown-unknown
+          rustup +${{ matrix.toolchain }} target add wasm32-unknown-unknown
+          rustup default ${{ matrix.toolchain }}
           make build-no-std

.github/workflows/link-checker.yml

@@ -6,7 +6,7 @@ on:
     inputs:
       fail-fast:
         required: false
-        default: true
+        default: false
         type: boolean
   schedule:
     # runs once a day at 01:00 UTC (adjust as needed)

.github/workflows/lint.yml

@@ -41,5 +41,6 @@ jobs:
       - uses: actions/checkout@v4
       - name: Build docs
         run: |
-          rustup update --no-self-update
+          rustup +stable update --no-self-update
+          rustup default stable
           make doc

.github/workflows/msrv.yml

@@ -0,0 +1,34 @@
+name: Check MSRV
+
+on:
+  push:
+    branches: [next]
+  pull_request:
+    types: [opened, reopened, synchronize]
+
+# Limits workflow concurrency to only the latest commit in the PR.
+concurrency:
+  group: "${{ github.workflow }} @ ${{ github.event.pull_request.head.label || github.head_ref || github.ref }}"
+  cancel-in-progress: true
+
+permissions:
+  contents: read
+
+jobs:
+  # Check MSRV (aka `rust-version`) in `Cargo.toml` is valid for workspace members
+  msrv:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+      - name: Install dependencies
+        run: sudo apt-get update && sudo apt-get install -y jq
+      - uses: dtolnay/rust-toolchain@stable
+      - uses: Swatinem/rust-cache@v2
+      - name: Install cargo-msrv
+        run: cargo install cargo-msrv
+      - name: Cache rustup toolchains
+        run: rustup update
+      - name: Check MSRV for each workspace member
+        run: |
+          chmod +x scripts/check-msrv.sh
+          ./scripts/check-msrv.sh

CHANGELOG.md

@@ -1,12 +1,37 @@
 # Changelog
 
+## 0.19.0 (TBD)
+
+#### Enhancements
+
+- Added support for leaves with multiple pairs in `std::collections::smt::get` ([#2048](https://github.com/0xMiden/miden-vm/pull/2048)).
+- Added `std::mem::pipe_double_words_preimage_to_memory`, a version of `pipe_preimage_to_memory` optimized for pairs of words ([#2048](https://github.com/0xMiden/miden-vm/pull/2048)).
+
+#### Changes
+
+- [BREAKING] Incremented MSRV to 1.90.
+- [BREAKING] Fix inconsistencies in debugging instructions ([#2205](https://github.com/0xMiden/miden-vm/pull/2205)).
+- Fix ability to parse odd-length hex strings ([#2196](https://github.com/0xMiden/miden-vm/pull/2196)).
+- Added `before_enter` and `after_exit` decorator lists to `BasicBlockNode`.([#2167](https://github.com/0xMiden/miden-vm/pull/2167)).
+- Added `proptest`'s `Arbitrary` instances for `BasicBlockNode` and `MastForest` ([#2200](https://github.com/0xMiden/miden-vm/pull/2200)).
+- Fixed mismatched Push expectations in decoder syscall_block test ([#2207](https://github.com/0xMiden/miden-vm/pull/2207))
+- [BREAKING] `Memory::read_element()` now requires `&self` instead of `&mut self` ([#2237](https://github.com/0xMiden/miden-vm/issues/2237))
+- Added `proptest`'s `Arbitrary` instances for `Program`, fixed `Attribute` serialization ([#2224](https://github.com/0xMiden/miden-vm/pull/2224)).
+- Fixed hex word parsing to guard against missing 0x prefix ([#2245](https://github.com/0xMiden/miden-vm/pull/2245)).
+- Systematized u32-indexed vectors ([#2254](https://github.com/0xMiden/miden-vm/pull/2254)).
+- Introduce a new `build_trace()` which builds the trace in parallel from trace fragment contexts ([#1839](https://github.com/0xMiden/miden-vm/pull/1839)) ([#2188](https://github.com/0xMiden/miden-vm/pull/2188)).
+- Place the `FastProcessor` stack on the heap instead of the (OS thread) stack (#[2271](https://github.com/0xMiden/miden-vm/pull/2271)).
+- `after_exit` decorators execute in the correct sequence in External nodes in the Fast processor ([#2247](https://github.com/0xMiden/miden-vm/pull/2247)).
+- Remove O(n log m) iteration in parallel processor (#[2273](https://github.com/0xMiden/miden-vm/pull/2273)).
+
 ## 0.18.2 (2025-10-10)
 
 - Place the `FastProcessor` stack on the heap instead of the (OS thread) stack (#[2275](https://github.com/0xMiden/miden-vm/pull/2275)).
 
 ## 0.18.1 (2025-10-02)
 
 - Gate stdlib doc generation in build.rs on `MIDEN_BUILD_STDLIB_DOCS` environment variable ([#2239](https://github.com/0xMiden/miden-vm/pull/2239/)).
+- Gate stdlib doc generation in build.rs on `MIDEN_BUILD_STDLIB_DOCS` environmnent variable ([#2239](https://github.com/0xMiden/miden-vm/pull/2239/))
 
 ## 0.18.0 (2025-09-21)
 

CONTRIBUTING.md

@@ -13,6 +13,20 @@ We want to make contributing to this project as easy and transparent as possible
 
  
 
+## Contribution Quality
+
+To keep review time focused on meaningful improvements, we generally do not accept:
+- Trivial typo fixes
+- Minor code or documentation changes that don't materially improve clarity or completeness
+
+Contributions should:
+- Include clear reasoning for the change
+- Be linked to an issue the author has been assigned to
+- Be testable / reviewable without unnecessary overhead
+- Pass all CI tests
+
+**We reserve the right to close PRs at our discretion, or batch trivial valid fixes into internal commits.**
+
 ## Flow
 We are using [Github Flow](https://docs.github.com/en/get-started/quickstart/github-flow), so all code changes happen through pull requests from a [forked repo](https://docs.github.com/en/get-started/quickstart/fork-a-repo).
 

Cargo.toml

@@ -17,14 +17,14 @@ resolver = "2"
 
 [workspace.package]
 edition = "2024"
-rust-version = "1.88"
 license = "MIT OR Apache-2.0"
 readme = "README.md"
 authors = ["Miden contributors"]
 homepage = "https://miden.xyz"
 repository = "https://github.com/0xMiden/miden-vm"
 exclude = [".github/"]
-version = "0.18.2"
+rust-version = "1.90"
+version = "0.19.0"
 
 [profile.optimized]
 inherits = "release"
@@ -40,20 +40,21 @@ overflow-checks = true
 
 [workspace.dependencies]
 # Workspace crates
-miden-air = { path = "./air", version = "0.18", default-features = false }
-miden-assembly = { path = "./crates/assembly", version = "0.18", default-features = false }
-miden-assembly-syntax = { path = "./crates/assembly-syntax", version = "0.18", default-features = false }
-miden-core = { path = "./core", version = "0.18", default-features = false }
-miden-debug-types = { path = "./crates/debug/types", version = "0.18", default-features = false }
-miden-mast-package = { path = "./package", version = "0.18", default-features = false }
-miden-processor = { path = "./processor", version = "0.18", default-features = false }
+miden-air = { path = "./air", version = "0.19", default-features = false }
+miden-assembly = { path = "./crates/assembly", version = "0.19", default-features = false }
+miden-assembly-syntax = { path = "./crates/assembly-syntax", version = "0.19", default-features = false }
+miden-core = { path = "./core", version = "0.19", default-features = false }
+miden-debug-types = { path = "./crates/debug/types", version = "0.19", default-features = false }
+miden-mast-package = { path = "./package", version = "0.19", default-features = false }
+miden-processor = { path = "./processor", version = "0.19", default-features = false }
 miden-serde-test-macros = { path = "./crates/utils/serde-test-macros", default-features = false }
-miden-prover = { path = "./prover", version = "0.18", default-features = false }
-miden-stdlib = { path = "./stdlib", version = "0.18", default-features = false }
-miden-utils-diagnostics = { path = "./crates/utils/diagnostics", version = "0.18", default-features = false }
-miden-utils-sync = { path = "./crates/utils/sync", version = "0.18", default-features = false }
+miden-prover = { path = "./prover", version = "0.19", default-features = false }
+miden-stdlib = { path = "./stdlib", version = "0.19", default-features = false }
+miden-utils-diagnostics = { path = "./crates/utils/diagnostics", version = "0.19", default-features = false }
+miden-utils-indexing = { path = "./crates/utils/indexing", version = "0.19", default-features = false }
+miden-utils-sync = { path = "./crates/utils/sync", version = "0.19", default-features = false }
 miden-utils-testing = { path = "./crates/utils/testing", version = "0.1", package = "miden-test-utils" }
-miden-verifier = { path = "./verifier", version = "0.18", default-features = false }
+miden-verifier = { path = "./verifier", version = "0.19", default-features = false }
 
 # Miden crates
 miden-crypto = { version = "0.17", default-features = false }

README.md

@@ -4,7 +4,7 @@
 [![LICENSE](https://img.shields.io/badge/license-APACHE-blue.svg)](https://github.com/0xMiden/miden-vm/blob/main/LICENSE-APACHE)
 [![Test](https://github.com/0xMiden/miden-vm/actions/workflows/test.yml/badge.svg)](https://github.com/0xMiden/miden-vm/actions/workflows/test.yml)
 [![Build](https://github.com/0xMiden/miden-vm/actions/workflows/build.yml/badge.svg)](https://github.com/0xMiden/miden-vm/actions/workflows/build.yml)
-[![RUST_VERSION](https://img.shields.io/badge/rustc-1.88+-lightgray.svg)](https://www.rust-lang.org/tools/install)
+[![RUST_VERSION](https://img.shields.io/badge/rustc-1.90+-lightgray.svg)](https://www.rust-lang.org/tools/install)
 [![Crates.io](https://img.shields.io/crates/v/miden-vm)](https://crates.io/crates/miden-vm)
 
 A STARK-based virtual machine.
@@ -23,7 +23,7 @@ Miden VM is a zero-knowledge virtual machine written in Rust. For any program ex
 
 ### Status and features
 
-Miden VM is currently on release v0.18. In this release, most of the core features of the VM have been stabilized, and most of the STARK proof generation has been implemented. While we expect to keep making changes to the VM internals, the external interfaces should remain relatively stable, and we will do our best to minimize the amount of breaking changes going forward.
+Miden VM is currently on release v0.19. In this release, most of the core features of the VM have been stabilized, and most of the STARK proof generation has been implemented. While we expect to keep making changes to the VM internals, the external interfaces should remain relatively stable, and we will do our best to minimize the amount of breaking changes going forward.
 
 The next version of the VM is being developed in the [next](https://github.com/0xMiden/miden-vm/tree/next) branch. There is also a documentation for the latest features and changes in the next branch [documentation next branch](https://0xMiden.github.io/miden-vm/intro/main.html).
 

air/Cargo.toml

@@ -35,6 +35,7 @@ thiserror.workspace = true
 miden-core.workspace = true
 winter-air.workspace = true
 winter-prover.workspace = true
+miden-utils-indexing.workspace = true
 
 [dev-dependencies]
 criterion.workspace = true