Modules§
- bus_
message - Bus message coefficient indices.
- chiplets
- decoder
- log_
precompile - range
- stack
Structs§
- Challenges
- Encodes multiset/LogUp contributions as alpha + <beta, message>.
- Main
Trace - Main
Trace Row - Column layout of the main trace row.
- RowIndex
- A newtype wrapper around a usize value representing a step in the execution trace.
Enums§
- RowIndex
Error - Represents the types of errors that can occur when converting from and into
RowIndexand using its operations.
Constants§
- ACE_
CHIPLET_ WIRING_ BUS_ OFFSET - ACE chiplet wiring bus.
- ACE_
CHIPLET_ WIRING_ BUS_ RANGE - ACE_
CHIPLET_ WIRING_ BUS_ WIDTH - AUX_
TRACE_ RAND_ CHALLENGES - Number of random challenges used for auxiliary trace constraints.
- AUX_
TRACE_ WIDTH - Auxiliary trace segment width.
- CHIPLETS_
BUS_ AUX_ TRACE_ OFFSET - Chiplets bus auxiliary columns.
- CHIPLETS_
BUS_ AUX_ TRACE_ RANGE - CHIPLETS_
BUS_ AUX_ TRACE_ WIDTH - CHIPLETS_
OFFSET - CHIPLETS_
RANGE - CHIPLETS_
WIDTH - CHIPLET_
S0_ COL_ IDX - CHIPLET_
S1_ COL_ IDX - CHIPLET_
S2_ COL_ IDX - CHIPLET_
S3_ COL_ IDX - CHIPLET_
S4_ COL_ IDX - CHIPLET_
SELECTORS_ RANGE - Shared chiplet selector columns at the start of the chiplets segment.
- CLK_
COL_ IDX - CTX_
COL_ IDX - DECODER_
AUX_ TRACE_ OFFSET - Decoder auxiliary columns
- DECODER_
AUX_ TRACE_ RANGE - DECODER_
AUX_ TRACE_ WIDTH - DECODER_
TRACE_ OFFSET - DECODER_
TRACE_ RANGE - DECODER_
TRACE_ WIDTH - FN_
HASH_ OFFSET - FN_
HASH_ RANGE - HASHER_
AUX_ TRACE_ RANGE - HASHER_
AUX_ TRACE_ WIDTH - HASH_
KERNEL_ VTABLE_ AUX_ TRACE_ OFFSET - Chiplets virtual table auxiliary column.
- LOG_
PRECOMPILE_ LABEL - Label for log_precompile transcript state messages on the virtual table bus.
- MAX_
MESSAGE_ WIDTH - Maximum number of coefficients used in bus message encodings.
- MIN_
TRACE_ LEN - The minimum length of the execution trace. This is the minimum required to support range checks.
- PADDED_
TRACE_ WIDTH - RANGE_
CHECK_ AUX_ TRACE_ OFFSET - Range check auxiliary columns
- 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 auxiliary columns
- 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
Traits§
- AuxBuilder
- Builder for constructing the auxiliary trace from a main trace and challenges.