Trait MachineProvingKey 

pub trait MachineProvingKey<SC: StarkGenericConfig>: Send + Sync {
    // Required methods
    fn preprocessed_commit(&self) -> Com<SC>;
    fn pc_start(&self) -> Val<SC>;
    fn initial_global_cumulative_sum(&self) -> SepticDigest<Val<SC>>;
    fn observe_into(&self, challenger: &mut Challenger<SC>);
}

A proving key for any MachineAir that is agnostic to hardware.

Required Methods

fn preprocessed_commit(&self) -> Com<SC>

The main commitment.

fn pc_start(&self) -> Val<SC>

The start pc.

fn initial_global_cumulative_sum(&self) -> SepticDigest<Val<SC>>

The initial global cumulative sum.

fn observe_into(&self, challenger: &mut Challenger<SC>)

Observe itself in the challenger.

Implementors

impl<SC> MachineProvingKey<SC> for StarkProvingKey<SC>

where SC: 'static + StarkGenericConfig + Send + Sync, PcsProverData<SC>: Send + Sync + Serialize + DeserializeOwned, Com<SC>: Send + Sync,