Struct TraceVData 

pub struct TraceVData<SC: StarkProtocolConfig> {
    pub log_height: usize,
    pub cached_commitments: Vec<SC::Digest>,
}

Fields

log_height: usize

The base 2 logarithm of the trace height. This should be a nonnegative integer and is allowed to be < l_skip.

If the corresponding AIR has a preprocessed trace, this must match the value in the vkey.

cached_commitments: Vec<SC::Digest>

The cached commitments used.

The length must match the value in the vkey.

Trait Implementations

impl<SC: StarkProtocolConfig> Clone for TraceVData<SC>

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<SC: StarkProtocolConfig> Debug for TraceVData<SC>

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

Formats the value using the given formatter.

impl<SC: DecodableConfig> Decode for TraceVData<SC>

fn decode<R: Read>(reader: &mut R) -> Result<Self>

Reads and decodes a value from the given reader.

fn decode_from_bytes(bytes: &[u8]) -> Result<Self>

impl<SC: StarkProtocolConfig> Default for TraceVData<SC>

fn default() -> Self

Returns the “default value” for a type.

impl<'de, SC: StarkProtocolConfig> Deserialize<'de> for TraceVData<SC>

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<SC: EncodableConfig> Encode for TraceVData<SC>

fn encode<W: Write>(&self, writer: &mut W) -> Result<()>

Writes the encoded representation of self to the given writer.

fn encode_to_vec(&self) -> Result<Vec<u8>>

Convenience method to encode into a Vec<u8>

impl<SC: StarkProtocolConfig> Eq for TraceVData<SC>

impl<SC: StarkProtocolConfig> PartialEq for TraceVData<SC>

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

Equality operator ==.

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

Inequality operator !=.

impl<SC: StarkProtocolConfig> Serialize for TraceVData<SC>

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.