Struct winter_verifier::TraceInfo

pub struct TraceInfo { /* private fields */ }

Information about a specific execution trace.

Trace info consists of trace layout info, length, and optional custom metadata. Trace layout specifies the number of columns for all trace segments. Currently, a trace can consist of at most two segments. Metadata is just a vector of bytes and can store any values up to 64KB in size.

Implementations

impl TraceInfo

pub const MIN_TRACE_LENGTH: usize = 8usize

Smallest allowed execution trace length; currently set at 8.

pub const MAX_TRACE_WIDTH: usize = 255usize

Maximum number of columns in an execution trace (across all segments); currently set at 255.

pub const MAX_META_LENGTH: usize = 65_535usize

Maximum number of bytes in trace metadata; currently set at 65535.

pub const MAX_RAND_SEGMENT_ELEMENTS: usize = 255usize

Maximum number of random elements per auxiliary trace segment; currently set to 255.

pub fn new(width: usize, length: usize) -> TraceInfo

Creates a new TraceInfo from the specified trace width and length.

An execution trace described by this trace info is limited to a single segment.

Panics

Panics if:

• Trace width is zero or greater than 255.
• Trace length is smaller than 8 or is not a power of two.

pub fn with_meta(width: usize, length: usize, meta: Vec<u8>) -> TraceInfo

Creates a new TraceInfo from the specified trace width, length, and metadata.

An execution trace described by this trace info is limited to a single segment.

Panics

Panics if:

• Trace width is zero or greater than 255.
• Trace length is smaller than 8 or is not a power of two.
• Length of meta is greater than 65535;

pub fn new_multi_segment( layout: TraceLayout, length: usize, meta: Vec<u8> ) -> TraceInfo

Creates a new TraceInfo from the specified trace segment widths, length, and metadata.

Panics

Panics if:

• The width of the first trace segment is zero.
• Total width of all trace segments is greater than 255.
• Trace length is smaller than 8 or is not a power of two.

pub fn layout(&self) -> &TraceLayout

Returns a description of how execution trace columns are arranged into segments.

Currently, an execution trace can consist of at most two segments.

pub fn width(&self) -> usize

Returns the total number of columns in an execution trace.

This is guaranteed to be between 1 and 255.

pub fn length(&self) -> usize

Returns execution trace length.

The length is guaranteed to be a power of two.

pub fn meta(&self) -> &[u8]

Returns execution trace metadata.

pub fn is_multi_segment(&self) -> bool

Returns true if an execution trace contains more than one segment.

Trait Implementations

impl Clone for TraceInfo

fn clone(&self) -> TraceInfo

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for TraceInfo

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

Formats the value using the given formatter.

impl PartialEq for TraceInfo

fn eq(&self, other: &TraceInfo) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for TraceInfo

impl StructuralPartialEq for TraceInfo