Skip to content

Commit

Permalink
Document all crates with the no_std feature
Browse files Browse the repository at this point in the history
  • Loading branch information
plafer committed Aug 27, 2024
1 parent 88704f8 commit 2ed46fc
Show file tree
Hide file tree
Showing 4 changed files with 4 additions and 0 deletions.
1 change: 1 addition & 0 deletions miden/README.md
Original file line number Diff line number Diff line change
Expand Up @@ -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](<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.

Expand Down
1 change: 1 addition & 0 deletions processor/README.md
Original file line number Diff line number Diff line change
Expand Up @@ -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.

Expand Down
1 change: 1 addition & 0 deletions prover/README.md
Original file line number Diff line number Diff line change
Expand Up @@ -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.

Expand Down
1 change: 1 addition & 0 deletions verifier/README.md
Original file line number Diff line number Diff line change
Expand Up @@ -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.

Expand Down

0 comments on commit 2ed46fc

Please sign in to comment.