miden-precompiles 0.36.0

Concrete precompile implementations for the Miden VM deferred framework
docs.rs failed to build miden-precompiles-0.36.0
Please check the build logs for more information.
See Builds for ideas on how to fix a failed build, or Metadata for how to configure docs.rs builds.
If you believe this is docs.rs' fault, open an issue.
Visit the last successful build: miden-precompiles-0.35.0

Miden precompiles

This crate provides concrete precompile implementations used by the Miden VM deferred framework. The generic deferred-computation data model lives in miden_core::deferred; this crate supplies the standard implementations and exposes them through the official registry() constructor used by the VM/prover/verifier path.

Usage

Use miden_precompiles::registry() to construct the standard miden_core::deferred::PrecompileRegistry for proof-bound deferred verification.

Provided precompiles

  • Keccak-256 hash: deferred hash precompile support used by core hash facades.
  • Fixed uint and field arithmetic: arithmetic precompile support used by generated MASM wrappers.
  • secp256k1 curve support: curve precompile support used by the ECDSA verifier path.

Crate features

Miden precompiles provides the following Cargo feature:

  • std - enabled by default and relies on the Rust standard library.

To compile without std, disable default features via --no-default-features. Only the wasm32-unknown-unknown and wasm32-wasip1 targets are officially supported for WebAssembly builds.

License

This project is dual-licensed under the MIT and Apache 2.0 licenses.