miden-air-0.5.0
- miden-air 0.5.0
- Docs.rs crate page
- MIT
- Links
- Repository
- crates.io
- Source
- Owners
- bobbinth
- Dependencies
- miden-core ^0.5 normal
  winter-air ^0.6 normal
  criterion ^0.4 dev
  proptest ^1.1 dev
  winter-rand-utils ^0.6 dev
- Versions
- 91.79% of the crate is documented
Go to latest version
Platform
Feature flags

Rust

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.