Struct winter_prover::proof::Context

pub struct Context { /* private fields */ }

Basic metadata about a specific execution of a computation.

Implementations

impl Context

pub fn new<B>(trace_info: &TraceInfo, options: ProofOptions) -> Context

where B: StarkField,

Creates a new context for a computation described by the specified field, trace info, and proof options.

Panics

Panics if either trace length or the LDE domain size implied by the trace length and the blowup factor is greater then u32::MAX.

pub fn trace_layout(&self) -> &TraceLayout

Returns a layout describing how columns of the execution trace described by this context are arranged into segments.

pub fn trace_length(&self) -> usize

Returns execution trace length of the computation described by this context.

pub fn get_trace_info(&self) -> TraceInfo

Returns execution trace info for the computation described by this context.

pub fn lde_domain_size(&self) -> usize

Returns the size of the LDE domain for the computation described by this context.

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

Returns modulus of the field for the computation described by this context.

pub fn num_modulus_bits(&self) -> u32

Returns number of bits in the base field modulus for the computation described by this context.

The modulus is assumed to be encoded in little-endian byte order.

pub fn options(&self) -> &ProofOptions

Returns proof options which were used to a proof in this context.

Trait Implementations

impl Clone for Context

fn clone(&self) -> Context

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Context

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

Formats the value using the given formatter.

impl Deserializable for Context

fn read_from<R>(source: &mut R) -> Result<Context, DeserializationError>

where R: ByteReader,

Reads proof context from the specified source and returns the result.

Errors

Returns an error of a valid Context struct could not be read from the specified source.

fn read_from_bytes(bytes: &[u8]) -> Result<Self, DeserializationError>

Attempts to deserialize the provided bytes into Self and returns the result.

impl PartialEq for Context

fn eq(&self, other: &Context) -> 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 Serializable for Context

fn write_into<W>(&self, target: &mut W)

where W: ByteWriter,

Serializes self and writes the resulting bytes into the target.

fn to_bytes(&self) -> Vec<u8>

Serializes self into a vector of bytes.

fn get_size_hint(&self) -> usize

Returns an estimate of how many bytes are needed to represent self.

impl<E> ToElements<E> for Context

where E: StarkField,

fn to_elements(&self) -> Vec<E>

Converts this Context into a vector of field elements.

The elements are laid out as follows:

• trace layout info [1 or more elements].
• field modulus bytes [2 field elements].
• field extension and FRI parameters [1 element].
• grinding factor [1 element].
• blowup factor [1 element].
• number of queries [1 element].
• trace length [1 element].
• trace metadata [0 or more elements].

impl Eq for Context

impl StructuralPartialEq for Context