miden-air-0.9.2
- miden-air 0.9.2
- Permalink
- Docs.rs crate page
- MIT
- Links
- Documentation
- Repository
- crates.io
- Source
- Owners
- bobbinth
- Dependencies
- miden-core ^0.9 normal
  winter-air ^0.8 normal
  winter-prover ^0.8 normal
  criterion ^0.5 dev
  proptest ^1.3 dev
  winter-rand-utils ^0.8 dev
- Versions
- 76.35% of the crate is documented
Platform
Feature flags

Rust

miden_air0.9.2

In miden_air::stack

Constant miden_air::stack::NUM_AUX_ASSERTIONS

pub const NUM_AUX_ASSERTIONS: usize = 2;

Expand description

The number of auxiliary assertions.