Struct MasmConstraintsEvalConfig 

pub struct MasmConstraintsEvalConfig<'a> {
    pub generated_by: &'a str,
    pub layout_module: &'a str,
    pub num_inputs: usize,
    pub num_eval_gates: usize,
    pub stream_len: usize,
    pub shuffle_prefix_len: usize,
    pub max_cycle_len_log: u32,
    pub registry_depth: usize,
    pub order_tag_count: usize,
    pub num_airs: usize,
    pub quotient_inputs: QuotientRecompositionInputs<Felt>,
    pub common_commitment: Word,
}

Relation-specific inputs to the shared MASM constraint-evaluator renderer.

Fields

generated_by: &'a str

Command responsible for regenerating the artifact, shown in its header.

layout_module: &'a str

Relation-local module exposing auxiliary_ace_inputs_ptr and ace_circuit_stream_ptr.

num_inputs: usize

Number of READ variables in the encoded ACE circuit.

num_eval_gates: usize

Number of evaluation gates in the encoded ACE circuit.

stream_len: usize

Total encoded circuit-stream length, in felts.

shuffle_prefix_len: usize

Length of the order-dependent stream prefix, in felts.

max_cycle_len_log: u32

Log2 of the longest periodic-column cycle across the relation’s AIRs.

registry_depth: usize

Depth of the relation’s ACE registry Merkle tree.

order_tag_count: usize

Number of valid proof-order tags; higher registry slots are padding.

num_airs: usize

Number of AIR instances in the relation.

quotient_inputs: QuotientRecompositionInputs<Felt>

Relation-local inputs for reconstructing the quotient from its chunks.

common_commitment: Word

Digest of the order-invariant circuit-stream section.

Trait Implementations

impl<'a> Clone for MasmConstraintsEvalConfig<'a>

fn clone(&self) -> Self

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<'a> Debug for MasmConstraintsEvalConfig<'a>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.