Struct winter_prover::TraceInfo

pub struct TraceInfo { /* fields omitted */ }

Information about a specific execution trace.

Trace info consists of trace width, length, and optional custom metadata. 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

Smallest allowed execution trace length; currently set at 8.

pub const MAX_TRACE_WIDTH: usize

Maximum number of registers in an execution trace; currently set at 255.

pub const MAX_META_LENGTH: usize

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

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

Creates a new trace info from the specified length.

Panics

Panics if:

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

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

Creates a new trace info from the specified length and metadata.

Panics

Panics if:

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

pub fn width(&self) -> usize

Returns execution trace width;

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.

Trait Implementations

impl Clone for TraceInfo

pub 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

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

Formats the value using the given formatter.

impl PartialEq<TraceInfo> for TraceInfo

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

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

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

This method tests for !=.

impl Eq for TraceInfo

impl StructuralEq for TraceInfo

impl StructuralPartialEq for TraceInfo