Struct FrameworkComponent 

pub struct FrameworkComponent<C: FrameworkEval> { /* private fields */ }

Implementations

impl<E: FrameworkEval> FrameworkComponent<E>

pub fn new( location_allocator: &mut TraceLocationAllocator, eval: E, claimed_sum: SecureField, ) -> Self

pub fn disabled( location_allocator: &mut TraceLocationAllocator, eval: E, ) -> Self

pub fn new_ex( location_allocator: &mut TraceLocationAllocator, eval: E, claimed_sum: SecureField, is_disabled: bool, ) -> Self

pub fn trace_locations(&self) -> &[TreeSubspan]

pub fn preprocessed_column_indices(&self) -> &[usize]

pub const fn claimed_sum(&self) -> SecureField

pub fn logup_counts(&self) -> RelationCounts

pub fn is_disabled(&self) -> bool

Trait Implementations

impl<E: FrameworkEval> Component for FrameworkComponent<E>

fn n_constraints(&self) -> usize

fn max_constraint_log_degree_bound(&self) -> u32

fn trace_log_degree_bounds(&self) -> TreeVec<ColumnVec<u32>>

Returns the degree bounds of each trace column. The returned TreeVec should be of size n_interaction_phases.

fn mask_points( &self, point: CirclePoint<SecureField>, max_log_degree_bound: u32, ) -> TreeVec<ColumnVec<Vec<CirclePoint<SecureField>>>>

Returns the mask points for each trace column. The returned TreeVec should be of size n_interaction_phases. The parameter max_log_degree_bound is the maximum log degree of a committed polynomial in the pcs (this number is known to both prover and verifier). The mask points are translations of point by a multiple of the generator of the canonical coset of log size max_log_degree_bound.

fn preprocessed_column_indices(&self) -> ColumnVec<usize>

fn evaluate_constraint_quotients_at_point( &self, point: CirclePoint<SecureField>, mask: &TreeVec<ColumnVec<Vec<SecureField>>>, evaluation_accumulator: &mut PointEvaluationAccumulator, max_log_degree_bound: u32, )

Evaluates the lifted constraint quotients accumulation of the component at point.

impl<E: FrameworkEval> Deref for FrameworkComponent<E>

type Target = E

The resulting type after dereferencing.

fn deref(&self) -> &E

Dereferences the value.

impl<E: FrameworkEval> Display for FrameworkComponent<E>

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

Formats the value using the given formatter.