Module master_table

Source

Structs§

MasterAuxTable
See MasterTable.
MasterMainTable
See MasterTable.

Traits§

MasterTable
A Master Table is, in some sense, a top-level table of Triton VM. It contains all the data but little logic beyond bookkeeping and presenting the data in useful ways. Conversely, the individual tables contain no data but all the respective logic. Master Tables are responsible for managing the individual tables and for presenting the right data to the right tables, serving as a clean interface between the VM and the individual tables.

Functions§

all_quotients_combined
Computes the quotient codeword, which is the randomized linear combination of all individual quotients.
consistency_quotient_zerofier_inverse
initial_quotient_zerofier_inverse
interpolant_degree
randomized_trace_len
The length of the trace-randomized, padded trace.
terminal_quotient_zerofier_inverse
transition_quotient_zerofier_inverse