Struct ProverTraceData

pub struct ProverTraceData<SC: StarkGenericConfig> {
    pub commit: Com<SC>,
    pub data: Arc<PcsProverData<SC>>,
}

Prover data for multi-matrix trace commitments. The data is for the traces committed into a single commitment.

Fields

commit: Com<SC>

Commitment to the trace matrices.

data: Arc<PcsProverData<SC>>

Prover data, such as a Merkle tree, for the trace commitment. The data is stored as a thread-safe smart Arc pointer because PcsProverData does not implement clone and should not be cloned. The prover only needs a reference to this data, so we use a smart pointer to elide lifetime concerns.

Trait Implementations

impl<SC: StarkGenericConfig> Clone for ProverTraceData<SC>

where Com<SC>: Clone,

fn clone(&self) -> Self

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'de, SC: StarkGenericConfig> Deserialize<'de> for ProverTraceData<SC>

where Com<SC>: Deserialize<'de>, PcsProverData<SC>: Deserialize<'de>,

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<SC: StarkGenericConfig> Serialize for ProverTraceData<SC>

where Com<SC>: Serialize, PcsProverData<SC>: Serialize,

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

where __S: Serializer,

Serialize this value into the given Serde serializer.