Module miden_core::decoder
source · [−]Constants
Index of the column holding code block IDs (which are row addresses from the hasher table).
Index of the operation group count column in the decoder trace.
Index at which hasher state columns start in the decoder trace.
Location of hasher columns in the decoder trace.
Index of the in_span column in the decoder trace.
Number of hasher columns in the decoder trace.
Number of operation batch flag columns.
Number of columns needed to hold a binary representation of opcodes.
Number of helper registers available to user ops.
Operation batch consists of 1 operation group.
Operation batch consists of 2 operation groups.
Operation batch consists of 4 operation groups.
Operation batch consists of 8 operation groups.
Index at which operation batch flag columns start in the decoder trace.
Location of operation batch flag columns in the decoder trace.
Index at which operation bit columns start in the decoder trace.
Location of operation bits columns in the decoder trace.
Index of the operation index column in the decoder trace.
Running product column representing block stack table.
Running product column representing block hash table
Running product column representing op group table.
Index at which helper registers available to user ops start. The first two helper registers are used by the decoder itself.