Trait winter_prover::TraceLde

pub trait TraceLde<E: FieldElement>: Sync {
    type HashFn: ElementHasher<BaseField = E::BaseField>;

    // Required methods
    fn get_main_trace_commitment(&self) -> <Self::HashFn as Hasher>::Digest;
    fn add_aux_segment(
        &mut self,
        aux_trace: &ColMatrix<E>,
        domain: &StarkDomain<E::BaseField>
    ) -> (ColMatrix<E>, <Self::HashFn as Hasher>::Digest);
    fn read_main_trace_frame_into(
        &self,
        lde_step: usize,
        frame: &mut EvaluationFrame<E::BaseField>
    );
    fn read_aux_trace_frame_into(
        &self,
        lde_step: usize,
        frame: &mut EvaluationFrame<E>
    );
    fn query(&self, positions: &[usize]) -> Vec<Queries>;
    fn trace_len(&self) -> usize;
    fn blowup(&self) -> usize;
    fn trace_layout(&self) -> &TraceLayout;
}

Contains all segments of the extended execution trace and their commitments.

Segments are stored in two groups:

• Main segment: this is the first trace segment generated by the prover. Values in this segment will always be elements in the base field (even when an extension field is used).
• Auxiliary segments: a list of 0 or more segments for traces generated after the prover commits to the first trace segment. Currently, at most 1 auxiliary segment is possible.

Required Associated Types

type HashFn: ElementHasher<BaseField = E::BaseField>

The hash function used for building the Merkle tree commitments to trace segment LDEs.

Required Methods

fn get_main_trace_commitment(&self) -> <Self::HashFn as Hasher>::Digest

Returns the commitment to the low-degree extension of the main trace segment.

fn add_aux_segment( &mut self, aux_trace: &ColMatrix<E>, domain: &StarkDomain<E::BaseField> ) -> (ColMatrix<E>, <Self::HashFn as Hasher>::Digest)

Takes auxiliary trace segment columns as input, interpolates them into polynomials in coefficient form, evaluates the polynomials over the LDE domain, and commits to the polynomial evaluations.

Returns a tuple containing the column polynomials in coefficient form and the commitment to the polynomial evaluations over the LDE domain.

Panics

This function is expected to panic if any of the following are true:

• the number of rows in the provided aux_trace does not match the main trace.
• this segment would exceed the number of segments specified by the trace layout.

fn read_main_trace_frame_into( &self, lde_step: usize, frame: &mut EvaluationFrame<E::BaseField> )

Reads current and next rows from the main trace segment into the specified frame.

fn read_aux_trace_frame_into( &self, lde_step: usize, frame: &mut EvaluationFrame<E> )

Reads current and next rows from the auxiliary trace segment into the specified frame.

fn query(&self, positions: &[usize]) -> Vec<Queries>

Returns trace table rows at the specified positions along with Merkle authentication paths from the commitment root to these rows.

fn trace_len(&self) -> usize

Returns the number of rows in the execution trace.

fn blowup(&self) -> usize

Returns blowup factor which was used to extend original execution trace into trace LDE.

fn trace_layout(&self) -> &TraceLayout

Returns the trace layout of the execution trace.

Implementors

impl<E, H> TraceLde<E> for DefaultTraceLde<E, H>

where E: FieldElement, H: ElementHasher<BaseField = E::BaseField>,

type HashFn = H