Struct 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_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

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>(&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 info [2 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].

impl Eq for Context

impl StructuralPartialEq for Context