Struct VmCommittedExe

pub struct VmCommittedExe<SC: StarkGenericConfig> {
    pub exe: Arc<VmExe<Val<SC>>>,
    pub trace: Arc<RowMajorMatrix<Val<SC>>>,
    pub prover_data: Arc<PcsProverData<SC>>,
    /* private fields */
}

Note: this struct stores the program ROM twice: once in VmExe and once as a cached trace matrix trace.

Fields

exe: Arc<VmExe<Val<SC>>>

Raw executable.

trace: Arc<RowMajorMatrix<Val<SC>>>

Program ROM as cached trace matrix.

prover_data: Arc<PcsProverData<SC>>

Implementations

impl<SC: StarkGenericConfig> VmCommittedExe<SC>

pub fn commit(exe: VmExe<Val<SC>>, pcs: &SC::Pcs) -> Self

Creates VmCommittedExe from VmExe by using pcs to commit to the program code as a cached trace matrix.

pub fn get_program_commit(&self) -> Com<SC>

pub fn get_committed_trace(&self) -> CommittedTraceData<CpuBackend<SC>>

pub fn compute_exe_commit( program_commitment: &Com<SC>, exe: &VmExe<Val<SC>>, memory_config: &MemoryConfig, ) -> Com<SC>

where Com<SC>: AsRef<[Val<SC>; 8]> + From<[Val<SC>; 8]>, Val<SC>: PrimeField32,

Computes a commitment to VmCommittedExe. This is a Merklelized hash of:

• Program code commitment (commitment of the cached trace)
• Merkle root of the initial memory
• Starting program counter (pc_start)

The program code commitment is itself a commitment (via the proof system PCS) to the program code.

The Merklelization uses Poseidon2 as a cryptographic hash function (for the leaves) and a cryptographic compression function (for internal nodes).

Note: This function recomputes the Merkle tree for the initial memory image.

Trait Implementations

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

where Com<SC>: Clone,

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

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

where VmExe<Val<SC>>: Deserialize<'de>, 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 VmCommittedExe<SC>

where VmExe<Val<SC>>: Serialize, 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.