Struct CodegenConfig

pub struct CodegenConfig {
    pub trace_len_address: u32,
    pub log2_trace_len_address: u32,
    pub z_address: u32,
    pub ood_frame_address: u32,
    pub ood_aux_frame_address: u32,
    pub composition_coef_address: u32,
    pub public_inputs_address: u32,
    pub aux_rand_address: u32,
    pub periodic_values_address: u32,
    pub z_exp_address: u32,
    pub trace_domain_generator_address: u32,
    pub exemption_two_address: u32,
}

Fields

trace_len_address: u32

log2_trace_len_address: u32

z_address: u32

ood_frame_address: u32

ood_aux_frame_address: u32

composition_coef_address: u32

public_inputs_address: u32

aux_rand_address: u32

periodic_values_address: u32

z_exp_address: u32

Memory range used to store exponentiations of Z, each address contains one point to be used on the evaluation of each periodic polynimal.

trace_domain_generator_address: u32

Memory position of the trace domain generator.

Note: g_trace = g_lde^{blowup}

exemption_two_address: u32

Address to cache the point g^{trace_len-2}, which is used by the divisor of the boundary constraints.

Trait Implementations

impl Clone for CodegenConfig

fn clone(&self) -> CodegenConfig

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Default for CodegenConfig

fn default() -> Self

Returns the “default value” for a type.

impl Copy for CodegenConfig