Struct DefaultTraceLde 

pub struct DefaultTraceLde<E: FieldElement, H: ElementHasher<BaseField = E::BaseField>, V: VectorCommitment<H>> { /* private fields */ }

Contains all segments of the extended execution trace, the commitments to these segments, the LDE blowup factor, and the TraceInfo.

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.

Implementations

impl<E, H, V> DefaultTraceLde<E, H, V>

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

pub fn new( trace_info: &TraceInfo, main_trace: &ColMatrix<E::BaseField>, domain: &StarkDomain<E::BaseField>, partition_options: PartitionOptions, ) -> (Self, TracePolyTable<E>)

Takes the main trace segment columns as input, interpolates them into polynomials in coefficient form, evaluates the polynomials over the LDE domain, commits to the polynomial evaluations, and creates a new DefaultTraceLde with the LDE of the main trace segment and the commitment.

Returns a tuple containing a TracePolyTable with the trace polynomials for the main trace segment and the new DefaultTraceLde.

Trait Implementations

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

where E: FieldElement, H: ElementHasher<BaseField = E::BaseField> + Sync, V: VectorCommitment<H> + Sync,

fn get_main_trace_commitment(&self) -> H::Digest

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

fn set_aux_trace( &mut self, aux_trace: &ColMatrix<E>, domain: &StarkDomain<E::BaseField>, ) -> (ColMatrix<E>, H::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. Depending on whether num_partitions is equal to 1 or is greater than 1, committing to the polynomial evaluations row-wise is done either in one go in the former or in num_partition steps which are then combined in the latter.

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

Panics

This function will panic if any of the following are true:

• the number of rows in the provided aux_trace does not match the main trace.
• the auxiliary trace has been previously set already.

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.

Panics

This currently assumes that there is exactly one auxiliary trace segment, and will panic otherwise.

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

Returns trace table rows at the specified positions along with an opening proof to these rows againt the already computed commitment.

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_info(&self) -> &TraceInfo

Returns the trace info of the execution trace.

type HashFn = H

The hash function used for hashing the rows of trace segment LDEs.

type VC = V

The vector commitment scheme used for commiting to the trace.