Docs.rs
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
i686-pc-windows-msvc
i686-unknown-linux-gnu
x86_64-unknown-linux-gnu
Feature flags
Rust
About docs.rs
Privacy policy
Rust website
The Book
Standard Library API Reference
Rust by Example
The Cargo Guide
Clippy Documentation
miden_air
0.9.2
Module trace
Modules
Constants
In crate miden_air
?
Settings
Module
miden_air
::
trace
Copy item path
source
·
[
−
]
Modules
§
chiplets
decoder
main_trace
range
stack
Constants
§
AUX_TRACE_RAND_ELEMENTS
Number of random elements available to the prover after the commitment to the main trace segment.
AUX_TRACE_WIDTH
CHIPLETS_AUX_TRACE_OFFSET
CHIPLETS_AUX_TRACE_RANGE
CHIPLETS_AUX_TRACE_WIDTH
CHIPLETS_OFFSET
CHIPLETS_RANGE
CHIPLETS_WIDTH
CLK_COL_IDX
CTX_COL_IDX
DECODER_AUX_TRACE_OFFSET
DECODER_AUX_TRACE_RANGE
DECODER_AUX_TRACE_WIDTH
DECODER_TRACE_OFFSET
DECODER_TRACE_RANGE
DECODER_TRACE_WIDTH
FMP_COL_IDX
FN_HASH_OFFSET
FN_HASH_RANGE
HASHER_AUX_TRACE_OFFSET
HASHER_AUX_TRACE_RANGE
HASHER_AUX_TRACE_WIDTH
IN_SYSCALL_COL_IDX
MIN_TRACE_LEN
The minimum length of the execution trace. This is the minimum required to support range checks.
RANGE_CHECK_AUX_TRACE_OFFSET
RANGE_CHECK_AUX_TRACE_RANGE
RANGE_CHECK_AUX_TRACE_WIDTH
RANGE_CHECK_TRACE_OFFSET
RANGE_CHECK_TRACE_RANGE
RANGE_CHECK_TRACE_WIDTH
STACK_AUX_TRACE_OFFSET
STACK_AUX_TRACE_RANGE
STACK_AUX_TRACE_WIDTH
STACK_TRACE_OFFSET
STACK_TRACE_RANGE
STACK_TRACE_WIDTH
SYS_TRACE_OFFSET
SYS_TRACE_RANGE
SYS_TRACE_WIDTH
TRACE_WIDTH