sp1_stark

Trait MachineProvingKey

source 
pub trait MachineProvingKey<SC: StarkGenericConfig>: Send + Sync {
    // Required methods
    fn preprocessed_commit(&self) -> Com<SC>;
    fn pc_start(&self) -> Val<SC>;
    fn to_host(&self) -> StarkProvingKey<SC>;
    fn from_host(host: &StarkProvingKey<SC>) -> Self;
    fn observe_into(&self, challenger: &mut Challenger<SC>);
}
Expand description

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

Required Methods§

source

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

The main commitment.

source

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

The start pc.

source

fn to_host(&self) -> StarkProvingKey<SC>

The proving key on the host.

source

fn from_host(host: &StarkProvingKey<SC>) -> Self

The proving key on the device.

source

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

Observe itself in the challenger.

Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors§