diff --git a/CHANGELOG.md b/CHANGELOG.md index 6a45ef13ca..bb003e6f19 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -1,6 +1,6 @@ # Changelog -## 0.5.0 (TBD) +## 0.5.0 (2023-03-29) #### CLI - Renamed `ProgramInfo` to `ExecutionDetails` since there is another `ProgramInfo` struct in the source code. diff --git a/README.md b/README.md index 6d24afaba2..db21a44a8a 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.4. 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.5. 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/core/src/utils/mod.rs b/core/src/utils/mod.rs index 75ff870837..6bc11db796 100644 --- a/core/src/utils/mod.rs +++ b/core/src/utils/mod.rs @@ -6,21 +6,12 @@ use core::{ }; use winter_utils::{collections::Vec, string::String}; -// FEATURE BASED RE-EXPORT -// ================================================================================================ - -#[cfg(not(feature = "std"))] -pub use alloc::boxed::Box; - -#[cfg(feature = "std")] -pub use std::boxed::Box; - // RE-EXPORTS // ================================================================================================ pub use winter_utils::{ - collections, group_slice_elements, group_vector_elements, string, uninit_vector, ByteReader, - ByteWriter, Deserializable, DeserializationError, Serializable, SliceReader, + collections, group_slice_elements, group_vector_elements, string, uninit_vector, Box, + ByteReader, ByteWriter, Deserializable, DeserializationError, Serializable, SliceReader, }; pub mod math { diff --git a/docs/src/intro/main.md b/docs/src/intro/main.md index 751fcc7fdf..7cd76a9e87 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.4. 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.5. 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 17054d3be3..acfb3682ac 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.4 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.5 requires Rust version **1.67** 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/prover/src/lib.rs b/prover/src/lib.rs index 8190bd73fd..10cac2b4b1 100644 --- a/prover/src/lib.rs +++ b/prover/src/lib.rs @@ -148,7 +148,7 @@ where impl Prover for ExecutionProver where H: ElementHasher, - R: RandomCoin + Sync, + R: RandomCoin, { type Air = ProcessorAir; type BaseField = Felt;