diff --git a/miden/README.md b/miden/README.md index 951991a06..4ba24e7d5 100644 --- a/miden/README.md +++ b/miden/README.md @@ -308,6 +308,7 @@ Miden VM can be compiled with the following features: - `executable` - required for building Miden VM binary as described above. Implies `std`. - `metal` - enables [Metal]()-based acceleration of proof generation (for recursive proofs) on supported platforms (e.g., Apple silicon). - `no_std` does not rely on the Rust standard library and enables compilation to WebAssembly. + - Only the `wasm32-unknown-unknown` and `wasm32-wasip1` targets are officially supported. To compile with `no_std`, disable default features via `--no-default-features` flag. diff --git a/processor/README.md b/processor/README.md index b0d993561..837bb5fde 100644 --- a/processor/README.md +++ b/processor/README.md @@ -63,6 +63,7 @@ Miden processor can be compiled with the following features: * `std` - enabled by default and relies on the Rust standard library. * `no_std` does not rely on the Rust standard library and enables compilation to WebAssembly. + * Only the `wasm32-unknown-unknown` and `wasm32-wasip1` targets are officially supported. To compile with `no_std`, disable default features via `--no-default-features` flag. diff --git a/prover/README.md b/prover/README.md index 9f07ee2f0..be22bbe55 100644 --- a/prover/README.md +++ b/prover/README.md @@ -46,6 +46,7 @@ Miden prover can be compiled with the following features: * `concurrent` - implies `std` and also enables multi-threaded proof generation. * `metal` - enables [Metal](https://en.wikipedia.org/wiki/Metal_(API))-based acceleration of proof generation (for recursive proofs) on supported platforms (e.g., Apple silicon). * `no_std` does not rely on the Rust standard library and enables compilation to WebAssembly. + * Only the `wasm32-unknown-unknown` and `wasm32-wasip1` targets are officially supported. To compile with `no_std`, disable default features via `--no-default-features` flag. diff --git a/verifier/README.md b/verifier/README.md index 691b9144c..5f896e022 100644 --- a/verifier/README.md +++ b/verifier/README.md @@ -28,6 +28,7 @@ Miden verifier can be compiled with the following features: * `std` - enabled by default and relies on the Rust standard library. * `no_std` does not rely on the Rust standard library and enables compilation to WebAssembly. + * Only the `wasm32-unknown-unknown` and `wasm32-wasip1` targets are officially supported. To compile with `no_std`, disable default features via `--no-default-features` flag.