miden-core-0.17.2
- miden-core 0.17.2
- Docs.rs crate page
- MIT OR Apache-2.0
- Links
- Homepage
- Repository
- crates.io
- Source
- Owners
- bobbinth
- github:0xmiden:vm-publishers
- Dependencies
- miden-crypto ^0.15 normal
  miden-debug-types ^0.17 normal
  miden-formatting ^0.1 normal
  num-derive ^0.4 normal
  num-traits ^0.2 normal
  thiserror ^2.0 normal
  winter-math ^0.13 normal
  winter-utils ^0.13 normal
  proptest ^1.7 dev
  winter-rand-utils ^0.13 dev
- Versions
- 54.11% of the crate is documented
Go to latest version
Platform
Feature flags

docs.rs

Rust

OPCODE_MPVERIFY

miden_core0.17.2

Constant OPCODE_MPVERIFY

pub const OPCODE_MPVERIFY: u8 = 0b0101_0001;