Skip to main content

Module log_precompile

miden_air::trace

Module log_precompile 

Source

Constantsยง

HELPER_ADDR_IDX
Decoder helper register index where the hasher address is stored for log_precompile.
HELPER_CAP_PREV_OFFSET
Decoder helper register offset where CAP_PREV begins; spans four consecutive registers.
HELPER_CAP_PREV_RANGE
Range covering the four helper registers holding CAP_PREV.
STACK_CAP_NEXT_BASE
STACK_CAP_NEXT_RANGE
STACK_COMM_RANGE
Stack range containing COMM prior to executing log_precompile.
STACK_R0_BASE
STACK_R0_RANGE
STACK_R1_BASE
STACK_R1_RANGE
STACK_TAG_RANGE
Stack range containing TAG prior to executing log_precompile.
STATE_CAP_RANGE
STATE_RATE_0_RANGE
STATE_RATE_1_RANGE