chore: update changelog and min rustc version

0xPolygonMiden · Feb 26, 2024 · 3a957f7 · 3a957f7
1 parent ff8ff8a
commit 3a957f7
Show file tree

Hide file tree

Showing 12 changed files with 21 additions and 16 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -1,31 +1,35 @@
 # Changelog
 
-## 0.8.0 (TBD)
+## 0.8.0 (02-26-2024)
 
 #### Assembly
 - Expanded capabilities of the `debug` decorator. Added `debug.mem` and `debug.local` variations (#1103).
 - Introduced the `emit.<event_id>` assembly instruction (#1119).
 - Introduced the `procref.<proc_name>` assembly instruction (#1113).
 - Added the ability to use constants as counters in `repeat` loops (#1124). 
-- All `checked` versions of the u32 instructions were removed. All `unchecked` versions were renamed: this mode specification was removed from their titles (#1115).
+- [BREAKING] Removed all `checked` versions of the u32 instructions. Renamed all `unchecked` versions (#1115).
 - Introduced the `u32clz`, `u32ctz`, `u32clo`, `u32cto` and `ilog2` assembly instructions (#1176).
 - Added support for hexadecimal values in constants (#1199).
 - Added the `RCombBase` instruction (#1216).
 
 #### Stdlib
 - Introduced `std::utils` module with `is_empty_word` procedure.  Refactored `std::collections::smt`
   and `std::collections::smt64` to use the procedure (#1107).
-- Removed `checked` versions of the instructions in the `std::math::u64` module (#1142). 
+- [BREAKING] Removed `checked` versions of the instructions in the `std::math::u64` module (#1142). 
 - Introduced `clz`, `ctz`, `clo` and `cto` instructions in the `std::math::u64` module (#1179).
-- Removed `std::collections::smt64` (#1249)
+- [BREAKING] Refactored `std::collections::smt` to use `SimpleSmt`-based implementation (#1215).
+- [BREAKING] Removed `std::collections::smt64` (#1249)
 
 #### VM Internals
 - Introduced the `Event` decorator and an associated `on_event` handler on the `Host` trait (#1119).
-- Updated Winterfell dependency to v0.7 (#1121).
 - Added methods `StackOutputs::get_stack_item()` and `StackOutputs::get_stack_word()` (#1155).
 - Added [Tracing](https://crates.io/crates/tracing) logger to the VM (#1139).
+- Refactored auxiliary trace construction (#1140).
+- [BREAKING] Optimized `u32lt` instruction (#1193)
 - Added `on_assert_failed()` method to the Host trait (#1197).
 - Added support for handling `trace` instruction in the `Host` interface (#1198).
+- Updated Winterfell dependency to v0.8 (#1234).
+- Increased min version of `rustc` to 1.75.
 
 #### CLI
 - Introduced the `!use` command for the Miden REPL (#1162).

diff --git a/README.md b/README.md
@@ -2,6 +2,7 @@
 
 <a href="https://github.com/0xPolygonMiden/miden-vm/blob/main/LICENSE"><img src="https://img.shields.io/badge/license-MIT-blue.svg"></a>
 <img src="https://github.com/0xPolygonMiden/miden-vm/workflows/CI/badge.svg?branch=main">
+<img src="https://img.shields.io/badge/rustc-1.75+-lightgray.svg">
 <a href="https://crates.io/crates/miden-vm"><img src="https://img.shields.io/crates/v/miden-vm"></a>
 
 A STARK-based virtual machine.

diff --git a/air/Cargo.toml b/air/Cargo.toml
@@ -10,7 +10,7 @@ documentation = "https://docs.rs/miden-air/0.8.0"
 categories = ["cryptography", "no-std"]
 keywords = ["air", "arithmetization", "crypto", "miden"]
 edition = "2021"
-rust-version = "1.73"
+rust-version = "1.75"
 
 [lib]
 bench = false

diff --git a/assembly/Cargo.toml b/assembly/Cargo.toml
@@ -10,7 +10,7 @@ documentation = "https://docs.rs/miden-assembly/0.8.0"
 categories = ["compilers", "no-std"]
 keywords = ["assembler", "assembly", "language", "miden"]
 edition = "2021"
-rust-version = "1.73"
+rust-version = "1.75"
 
 [lib]
 bench = false

diff --git a/core/Cargo.toml b/core/Cargo.toml
@@ -10,7 +10,7 @@ documentation = "https://docs.rs/miden-core/0.8.0"
 categories = ["emulators", "no-std"]
 keywords = ["instruction-set", "miden", "program"]
 edition = "2021"
-rust-version = "1.73"
+rust-version = "1.75"
 
 [lib]
 bench = false

diff --git a/docs/src/intro/usage.md b/docs/src/intro/usage.md
@@ -1,5 +1,5 @@
 # Usage
-Before you can use Miden VM, you'll need to make sure you have Rust [installed](https://www.rust-lang.org/tools/install). Miden VM v0.8 requires Rust version **1.73** or later.
+Before you can use Miden VM, you'll need to make sure you have Rust [installed](https://www.rust-lang.org/tools/install). Miden VM v0.8 requires Rust version **1.75** or later.
 
 Miden VM consists of several crates, each of which exposes a small set of functionality. The most notable of these crates are:
 * [miden-processor](https://crates.io/crates/miden-processor), which can be used to execute Miden VM programs.

diff --git a/miden/Cargo.toml b/miden/Cargo.toml
@@ -10,7 +10,7 @@ documentation = "https://docs.rs/miden-vm/0.8.0"
 categories = ["cryptography", "emulators", "no-std"]
 keywords = ["miden", "stark", "virtual-machine", "zkp"]
 edition = "2021"
-rust-version = "1.73"
+rust-version = "1.75"
 
 [[bin]]
 name = "miden"

diff --git a/processor/Cargo.toml b/processor/Cargo.toml
@@ -10,7 +10,7 @@ documentation = "https://docs.rs/miden-processor/0.8.0"
 categories = ["emulators", "no-std"]
 keywords = ["miden", "virtual-machine"]
 edition = "2021"
-rust-version = "1.73"
+rust-version = "1.75"
 
 [lib]
 bench = false

diff --git a/prover/Cargo.toml b/prover/Cargo.toml
@@ -10,7 +10,7 @@ documentation = "https://docs.rs/miden-prover/0.8.0"
 categories = ["cryptography", "emulators", "no-std"]
 keywords = ["miden", "prover", "stark", "zkp"]
 edition = "2021"
-rust-version = "1.73"
+rust-version = "1.75"
 
 [features]
 concurrent = ["processor/concurrent", "std", "winter-prover/concurrent"]

diff --git a/stdlib/Cargo.toml b/stdlib/Cargo.toml
@@ -10,7 +10,7 @@ documentation = "https://docs.rs/miden-stdlib/0.8.0"
 categories = ["cryptography", "mathematics"]
 keywords = ["miden", "program", "stdlib"]
 edition = "2021"
-rust-version = "1.73"
+rust-version = "1.75"
 
 [lib]
 bench = false

diff --git a/test-utils/Cargo.toml b/test-utils/Cargo.toml
@@ -9,7 +9,7 @@ repository = "https://github.com/0xPolygonMiden/miden-vm"
 categories = ["development-tools::testing", "no-std"]
 keywords = ["miden", "test", "virtual-machine"]
 edition = "2021"
-rust-version = "1.73"
+rust-version = "1.75"
 
 [features]
 default = ["std"]
@@ -25,5 +25,5 @@ vm-core = { package = "miden-core", path = "../core", version = "0.8", default-f
 winter-prover = { package = "winter-prover", version = "0.8", default-features = false }
 
 [target.'cfg(not(target_family = "wasm"))'.dependencies]
-proptest = "1.3"
+proptest = "1.4"
 rand-utils = { package = "winter-rand-utils", version = "0.8" }
diff --git a/verifier/Cargo.toml b/verifier/Cargo.toml
@@ -10,7 +10,7 @@ documentation = "https://docs.rs/miden-verifier/0.8.0"
 categories = ["cryptography", "no-std"]
 keywords = ["miden", "stark", "verifier", "zkp"]
 edition = "2021"
-rust-version = "1.73"
+rust-version = "1.75"
 
 [lib]
 bench = false