openvm_stark_backend::prover

Type Alias MultiTraceStarkProver

Source
pub type MultiTraceStarkProver<'a, SC> = Coordinator<SC, CpuBackend<SC>, CpuDevice<'a, SC>>;

Aliased Type§

struct MultiTraceStarkProver<'a, SC> {
    pub backend: CpuBackend<SC>,
    pub device: CpuDevice<'a, SC>,
    /* private fields */
}

Fields§

§backend: CpuBackend<SC>§device: CpuDevice<'a, SC>

Implementations

Source§

impl<SC: StarkGenericConfig, PB, PD> Coordinator<SC, PB, PD>

Source

pub fn new(backend: PB, device: PD, challenger: SC::Challenger) -> Self

Trait Implementations

Source§

impl<SC, PB, PD> Prover for Coordinator<SC, PB, PD>
where SC: StarkGenericConfig, PB: ProverBackend<Val = Val<SC>, Challenge = SC::Challenge, Commitment = Com<SC>, Challenger = SC::Challenger>, PD: ProverDevice<PB>,

Source§

fn prove<'a>( &'a mut self, mpk: Self::ProvingKeyView<'a>, ctx: Self::ProvingContext<'a>, ) -> Self::Proof

Specialized prove for InteractiveAirs. Handles trace generation of the permutation traces. Assumes the main traces have been generated and committed already.

The DeviceMultiStarkProvingKey should already be filtered to only include the relevant AIR’s proving keys.

Source§

type Proof = HalProof<PB>

Source§

type ProvingKeyView<'a> = &'a DeviceMultiStarkProvingKey<'a, PB> where Self: 'a

Source§

type ProvingContext<'a> = ProvingContext<'a, PB> where Self: 'a