Struct sp1_core::stark::LocalProver

pub struct LocalProver<SC, A>(/* private fields */);

Implementations

impl<SC, A> LocalProver<SC, A>

where SC: StarkGenericConfig, SC::Challenger: Clone, A: MachineAir<SC::Val>, Com<SC>: Send + Sync, PcsProverData<SC>: Send + Sync, ShardMainData<SC>: Serialize + DeserializeOwned,

pub fn commit_main( config: &SC, machine: &StarkMachine<SC, A>, shard: &A::Record, index: usize, ) -> ShardMainData<SC>

pub fn prove_shard( config: &SC, pk: &StarkProvingKey<SC>, chips: &[&MachineChip<SC, A>], shard_data: ShardMainData<SC>, challenger: &mut SC::Challenger, ) -> ShardProof<SC>

where Val<SC>: PrimeField32, SC: Send + Sync, ShardMainData<SC>: DeserializeOwned, A: for<'a> Air<ProverConstraintFolder<'a, SC>> + Air<InteractionBuilder<Val<SC>>> + for<'a> Air<VerifierConstraintFolder<'a, SC>>,

Prove the program for the given shard and given a commitment to the main data.

pub fn commit_shards<F, EF>( machine: &StarkMachine<SC, A>, shards: &[A::Record], opts: SP1CoreOpts, ) -> (Vec<Com<SC>>, Vec<ShardMainDataWrapper<SC>>)

where F: PrimeField32, EF: ExtensionField<F>, SC: StarkGenericConfig<Val = F, Challenge = EF> + Send + Sync, SC::Challenger: Clone, PcsProverData<SC>: Send + Sync, ShardMainData<SC>: Serialize + DeserializeOwned,

Trait Implementations

impl<SC, A> Prover<SC, A> for LocalProver<SC, A>

where SC::Val: PrimeField32, SC: StarkGenericConfig + Send + Sync, SC::Challenger: Clone, Com<SC>: Send + Sync, PcsProverData<SC>: Send + Sync, OpeningProof<SC>: Send + Sync, ShardMainData<SC>: Serialize + DeserializeOwned, A: MachineAir<Val<SC>>,

fn prove_shards( machine: &StarkMachine<SC, A>, pk: &StarkProvingKey<SC>, shards: Vec<A::Record>, challenger: &mut SC::Challenger, opts: SP1CoreOpts, ) -> MachineProof<SC>

where A: for<'a> Air<ProverConstraintFolder<'a, SC>> + Air<InteractionBuilder<Val<SC>>> + for<'a> Air<VerifierConstraintFolder<'a, SC>>,