From 22c6d5e69dc2bef320af2bd8bd413f45f88a3195 Mon Sep 17 00:00:00 2001 From: Bobbin Threadbare Date: Wed, 11 Oct 2023 21:06:00 -0700 Subject: [PATCH] chore: update crate versions to v0.8.0 --- CHANGELOG.md | 4 +++- README.md | 2 +- air/Cargo.toml | 5 +++-- assembly/Cargo.toml | 5 +++-- core/Cargo.toml | 3 ++- docs/src/intro/main.md | 2 +- docs/src/intro/usage.md | 2 +- miden/Cargo.toml | 15 ++++++++------- processor/Cargo.toml | 9 +++++---- prover/Cargo.toml | 7 ++++--- stdlib/Cargo.toml | 13 +++++++------ stdlib/build.rs | 2 +- test-utils/Cargo.toml | 10 +++++----- verifier/Cargo.toml | 9 +++++---- 14 files changed, 49 insertions(+), 39 deletions(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index 6c630e1e31..5e5f913c0a 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -1,5 +1,7 @@ # Changelog +## 0.8.0 (TBD) + ## 0.7.0 (2023-10-11) #### Assembly @@ -26,7 +28,7 @@ - Added `TraceLenSummary` struct which holds information about traces lengths to the `ExecutionTrace` (#1029). - Imposed the 2^32 limit for the memory addresses used in the memory chiplet (#1049). - Supported `PartialMerkleTree` as a secret input in `.input` file (#1072). -- [BREAKING] Refactored `AdviceProvider` interface into [Host] interface (#1082). +- [BREAKING] Refactored `AdviceProvider` interface into `Host` interface (#1082). #### Stdlib - Completed `std::collections::smt` module by implementing `insert` and `set` procedures (#1036, #1038, #1046). diff --git a/README.md b/README.md index 12e76f342b..13abe7b7c1 100644 --- a/README.md +++ b/README.md @@ -16,7 +16,7 @@ Miden VM is a zero-knowledge virtual machine written in Rust. For any program ex * If you'd like to learn more about STARKs, check out the [references](#references) section. ### Status and features -Miden VM is currently on release v0.7. 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.8. 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/0xPolygonMiden/miden-vm/tree/next) branch. There is also a documentation for the latest features and changes in the next branch [documentation next branch](https://0xpolygonmiden.github.io/miden-vm/intro/main.html). diff --git a/air/Cargo.toml b/air/Cargo.toml index ed72ddc74a..eecac4b494 100644 --- a/air/Cargo.toml +++ b/air/Cargo.toml @@ -1,11 +1,12 @@ [package] name = "miden-air" -version = "0.7.0" +version = "0.8.0" description = "Algebraic intermediate representation of Miden VM processor" authors = ["miden contributors"] readme = "README.md" license = "MIT" repository = "https://github.com/0xPolygonMiden/miden-vm" +documentation = "https://docs.rs/miden-air/0.8.0" categories = ["cryptography", "no-std"] keywords = ["air", "arithmetization", "crypto", "miden"] edition = "2021" @@ -28,7 +29,7 @@ default = ["std"] std = ["vm-core/std", "winter-air/std"] [dependencies] -vm-core = { package = "miden-core", path = "../core", version = "0.7", default-features = false } +vm-core = { package = "miden-core", path = "../core", version = "0.8", default-features = false } winter-air = { package = "winter-air", version = "0.6", default-features = false } [dev-dependencies] diff --git a/assembly/Cargo.toml b/assembly/Cargo.toml index fa1df8b0ae..34e54d669a 100644 --- a/assembly/Cargo.toml +++ b/assembly/Cargo.toml @@ -1,11 +1,12 @@ [package] name = "miden-assembly" -version = "0.7.0" +version = "0.8.0" description = "Miden VM assembly language" authors = ["miden contributors"] readme = "README.md" license = "MIT" repository = "https://github.com/0xPolygonMiden/miden-vm" +documentation = "https://docs.rs/miden-assembly/0.8.0" categories = ["compilers", "no-std"] keywords = ["assembler", "assembly", "language", "miden"] edition = "2021" @@ -21,4 +22,4 @@ std = ["vm-core/std"] [dependencies] num_enum = "0.7" -vm-core = { package = "miden-core", path = "../core", version = "0.7", default-features = false } +vm-core = { package = "miden-core", path = "../core", version = "0.8", default-features = false } diff --git a/core/Cargo.toml b/core/Cargo.toml index 1c85ae0277..c4d1b5de1f 100644 --- a/core/Cargo.toml +++ b/core/Cargo.toml @@ -1,11 +1,12 @@ [package] name = "miden-core" -version = "0.7.0" +version = "0.8.0" description = "Miden VM core components" authors = ["miden contributors"] readme = "README.md" license = "MIT" repository = "https://github.com/0xPolygonMiden/miden-vm" +documentation = "https://docs.rs/miden-core/0.8.0" categories = ["emulators", "no-std"] keywords = ["instruction-set", "miden", "program"] edition = "2021" diff --git a/docs/src/intro/main.md b/docs/src/intro/main.md index 05a3d44274..a10c23626a 100644 --- a/docs/src/intro/main.md +++ b/docs/src/intro/main.md @@ -2,7 +2,7 @@ Miden VM is a zero-knowledge virtual machine written in Rust. For any program executed on Miden VM, a STARK-based proof of execution is automatically generated. This proof can then be used by anyone to verify that the program was executed correctly without the need for re-executing the program or even knowing the contents of the program. ## Status and features -Miden VM is currently on release v0.7. 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.8. 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. At this point, Miden VM is good enough for experimentation, and even for real-world applications, but it is not yet ready for production use. The codebase has not been audited and contains known and unknown bugs and security flaws. diff --git a/docs/src/intro/usage.md b/docs/src/intro/usage.md index cfba00ade8..ab9b60622a 100644 --- 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.7 requires Rust version **1.67** 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.73** 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 index d86607e05a..2032f0f8b5 100644 --- a/miden/Cargo.toml +++ b/miden/Cargo.toml @@ -1,11 +1,12 @@ [package] name = "miden-vm" -version = "0.7.0" +version = "0.8.0" description="Miden virtual machine" authors = ["miden contributors"] readme="README.md" license = "MIT" repository = "https://github.com/0xPolygonMiden/miden-vm" +documentation = "https://docs.rs/miden-vm/0.8.0" categories = ["cryptography", "emulators", "no-std"] keywords = ["miden", "stark", "virtual-machine", "zkp"] edition = "2021" @@ -45,19 +46,19 @@ std = ["assembly/std", "log/std", "processor/std", "prover/std", "verifier/std"] sve = ["processor/sve", "prover/sve", "std"] [dependencies] -assembly = { package = "miden-assembly", path = "../assembly", version = "0.7", default-features = false } +assembly = { package = "miden-assembly", path = "../assembly", version = "0.8", default-features = false } clap = { version = "4.4", features = ["derive"], optional = true } env_logger = { version = "0.10", default-features = false, optional = true } hex = { version = "0.4", optional = true } log = { version = "0.4", default-features = false, optional = true } -processor = { package = "miden-processor", path = "../processor", version = "0.7", default-features = false } -prover = { package = "miden-prover", path = "../prover", version = "0.7", default-features = false } +processor = { package = "miden-processor", path = "../processor", version = "0.8", default-features = false } +prover = { package = "miden-prover", path = "../prover", version = "0.8", default-features = false } rustyline = { version = "12.0", default-features = false, optional = true } serde = {version = "1.0", optional = true } serde_derive = {version = "1.0", optional = true } serde_json = {version = "1.0", optional = true } -stdlib = { package = "miden-stdlib", path = "../stdlib", version = "0.6", default-features = false } -verifier = { package = "miden-verifier", path = "../verifier", version = "0.7", default-features = false } +stdlib = { package = "miden-stdlib", path = "../stdlib", version = "0.8", default-features = false } +verifier = { package = "miden-verifier", path = "../verifier", version = "0.8", default-features = false } [dev-dependencies] assert_cmd = "2.0" @@ -66,5 +67,5 @@ escargot = "0.5" num-bigint = "0.4" predicates = "3.0" test-utils = { package = "miden-test-utils", path = "../test-utils" } -vm-core = { package = "miden-core", path = "../core", version = "0.7" } +vm-core = { package = "miden-core", path = "../core", version = "0.8" } winter-fri = { package = "winter-fri", version = "0.6" } diff --git a/processor/Cargo.toml b/processor/Cargo.toml index 2ea01e56fe..0f0d1154ea 100644 --- a/processor/Cargo.toml +++ b/processor/Cargo.toml @@ -1,11 +1,12 @@ [package] name = "miden-processor" -version = "0.7.0" +version = "0.8.0" description = "Miden VM processor" authors = ["miden contributors"] readme = "README.md" license = "MIT" repository = "https://github.com/0xPolygonMiden/miden-vm" +documentation = "https://docs.rs/miden-processor/0.8.0" categories = ["emulators", "no-std"] keywords = ["miden", "virtual-machine"] edition = "2021" @@ -24,13 +25,13 @@ sve = ["std", "vm-core/sve"] [dependencies] log = { version = "0.4", default-features = false, optional = true } -vm-core = { package = "miden-core", path = "../core", version = "0.7", default-features = false } -miden-air = { package = "miden-air", path = "../air", version = "0.7", default-features = false } +vm-core = { package = "miden-core", path = "../core", version = "0.8", default-features = false } +miden-air = { package = "miden-air", path = "../air", version = "0.8", default-features = false } winter-prover = { package = "winter-prover", version = "0.6", default-features = false } [dev-dependencies] logtest = { version = "2.0", default-features = false } -miden-assembly = { package = "miden-assembly", path = "../assembly", version = "0.7", default-features = false } +miden-assembly = { package = "miden-assembly", path = "../assembly", version = "0.8", default-features = false } test-utils = { package = "miden-test-utils", path = "../test-utils" } winter-fri = { package = "winter-fri", version = "0.6" } winter-utils = { package = "winter-utils", version = "0.6" } diff --git a/prover/Cargo.toml b/prover/Cargo.toml index 32ddd66462..fea92cf1c7 100644 --- a/prover/Cargo.toml +++ b/prover/Cargo.toml @@ -1,11 +1,12 @@ [package] name = "miden-prover" -version = "0.7.0" +version = "0.8.0" description = "Miden VM prover" authors = ["miden contributors"] readme = "README.md" license = "MIT" repository = "https://github.com/0xPolygonMiden/miden-vm" +documentation = "https://docs.rs/miden-prover/0.8.0" categories = ["cryptography", "emulators", "no-std"] keywords = ["miden", "prover", "stark", "zkp"] edition = "2021" @@ -19,9 +20,9 @@ std = ["air/std", "processor/std", "log/std", "winter-prover/std"] sve = ["processor/sve", "std"] [dependencies] -air = { package = "miden-air", path = "../air", version = "0.7", default-features = false } +air = { package = "miden-air", path = "../air", version = "0.8", default-features = false } log = { version = "0.4", default-features = false, optional = true } -processor = { package = "miden-processor", path = "../processor", version = "0.7", default-features = false } +processor = { package = "miden-processor", path = "../processor", version = "0.8", default-features = false } winter-prover = { package = "winter-prover", version = "0.6", default-features = false } [target.'cfg(all(target_arch = "aarch64", target_os = "macos"))'.dependencies] diff --git a/stdlib/Cargo.toml b/stdlib/Cargo.toml index b25adc7388..16ea4019ef 100644 --- a/stdlib/Cargo.toml +++ b/stdlib/Cargo.toml @@ -1,11 +1,12 @@ [package] name = "miden-stdlib" -version = "0.6.0" +version = "0.8.0" description = "Miden VM standard library" authors = ["miden contributors"] readme = "README.md" license = "MIT" repository = "https://github.com/0xPolygonMiden/miden-vm" +documentation = "https://docs.rs/miden-stdlib/0.8.0" categories = ["cryptography", "mathematics"] keywords = ["miden", "program", "stdlib"] edition = "2021" @@ -21,16 +22,16 @@ path = "tests/main.rs" [features] default = ["std"] -std = ["test-utils/std"] +std = [] [dependencies] -assembly = { package = "miden-assembly", default-features = false, path = "../assembly", version = "0.7" } +assembly = { package = "miden-assembly", path = "../assembly", version = "0.8", default-features = false } [dev-dependencies] blake3 = "1.5" -miden-air = { package = "miden-air", path = "../air", version = "0.7", default-features = false } +miden-air = { package = "miden-air", path = "../air", version = "0.8", default-features = false } num-bigint = "0.4" -processor = { package = "miden-processor", path = "../processor", version = "0.7", features = ["internals"], default-features = false } +processor = { package = "miden-processor", path = "../processor", version = "0.8", features = ["internals"], default-features = false } serde_json = "1.0" sha2 = "0.10" sha3 = "0.10" @@ -39,4 +40,4 @@ winter-air = { package = "winter-air", version = "0.6" } winter-fri = { package = "winter-fri", version = "0.6" } [build-dependencies] -assembly = { package = "miden-assembly", path = "../assembly", version = "0.7" } +assembly = { package = "miden-assembly", path = "../assembly", version = "0.8" } diff --git a/stdlib/build.rs b/stdlib/build.rs index c792a6f7f3..a553555002 100644 --- a/stdlib/build.rs +++ b/stdlib/build.rs @@ -23,7 +23,7 @@ type ModuleMap = BTreeMap; /// `assets` folder under `std` namespace. #[cfg(not(feature = "docs-rs"))] fn main() -> io::Result<()> { - // re-build the `./assets/std.masl` file iff something in the `./asm` directory + // re-build the `[OUT_DIR]/assets/std.masl` file iff something in the `./asm` directory // or its builder changed: println!("cargo:rerun-if-changed=asm"); println!("cargo:rerun-if-changed=../assembly/src"); diff --git a/test-utils/Cargo.toml b/test-utils/Cargo.toml index a7a816f055..8aeaa89837 100644 --- a/test-utils/Cargo.toml +++ b/test-utils/Cargo.toml @@ -16,12 +16,12 @@ default = ["std"] std = ["assembly/std", "processor/std", "prover/std", "verifier/std", "vm-core/std", "winter-prover/std"] [dependencies] -assembly = { package = "miden-assembly", path = "../assembly", version = "0.7", default-features = false } -processor = { package = "miden-processor", path = "../processor", version = "0.7", features = ["internals"], default-features = false } -prover = { package = "miden-prover", path = "../prover", version = "0.7", default-features = false } +assembly = { package = "miden-assembly", path = "../assembly", version = "0.8", default-features = false } +processor = { package = "miden-processor", path = "../processor", version = "0.8", features = ["internals"], default-features = false } +prover = { package = "miden-prover", path = "../prover", version = "0.8", default-features = false } test-case = "3.2" -verifier = { package = "miden-verifier", path = "../verifier", version = "0.7", default-features = false } -vm-core = { package = "miden-core", path = "../core", version = "0.7", default-features = false } +verifier = { package = "miden-verifier", path = "../verifier", version = "0.8", default-features = false } +vm-core = { package = "miden-core", path = "../core", version = "0.8", default-features = false } winter-prover = { package = "winter-prover", version = "0.6", default-features = false } [target.'cfg(not(target_family = "wasm"))'.dependencies] diff --git a/verifier/Cargo.toml b/verifier/Cargo.toml index 32b47f06b8..c44f9f335d 100644 --- a/verifier/Cargo.toml +++ b/verifier/Cargo.toml @@ -1,15 +1,16 @@ [package] name = "miden-verifier" -version = "0.7.0" +version = "0.8.0" description="Miden VM execution verifier" authors = ["miden contributors"] readme="README.md" license = "MIT" repository = "https://github.com/0xPolygonMiden/miden-vm" +documentation = "https://docs.rs/miden-verifier/0.8.0" categories = ["cryptography", "no-std"] keywords = ["miden", "stark", "verifier", "zkp"] edition = "2021" -rust-version = "1.67" +rust-version = "1.73" [lib] bench = false @@ -20,6 +21,6 @@ default = ["std"] std = ["air/std", "vm-core/std", "winter-verifier/std"] [dependencies] -air = { package = "miden-air", path = "../air", version = "0.7", default-features = false } -vm-core = { package = "miden-core", path = "../core", version = "0.7", default-features = false } +air = { package = "miden-air", path = "../air", version = "0.8", default-features = false } +vm-core = { package = "miden-core", path = "../core", version = "0.8", default-features = false } winter-verifier = { package = "winter-verifier", version = "0.6", default-features = false }