Struct Context 

pub struct Context { /* private fields */ }

Basic metadata about a specific execution of a computation.

Implementations

impl Context

pub fn new<B: StarkField>( trace_info: TraceInfo, options: ProofOptions, num_constraints: usize, ) -> Self

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

Panics

• If either trace length or the LDE domain size implied by the trace length and the blowup factor is greater then u32::MAX.
• If the number of constraints is not greater than 0.
• If the number of constraints is greater than u32::MAX.

pub fn 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.

pub fn num_constraints(&self) -> usize

Returns the total number of constraints.

Trait Implementations

impl Clone for Context

fn clone(&self) -> Context

Returns a duplicate 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

Formats the value using the given formatter.

impl Deserializable for Context

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

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

Tests for self and other values to be equal, and is used by ==.

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

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: ByteWriter>(&self, target: &mut W)

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: StarkField> ToElements<E> for Context

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

Converts this Context into a vector of field elements.

The elements are laid out as follows:

• trace info:
  • trace segment widths and the number of aux random values [1 element].
  • trace length [1 element].
  • trace metadata [0 or more elements].
• field modulus bytes [2 field elements].
• number of constraints (1 element).
• proof options:
  • field extension, FRI parameters, and grinding factor [1 element].
  • blowup factor [1 element].
  • number of queries [1 element].

impl Eq for Context

impl StructuralPartialEq for Context