Type Alias MultiTraceStarkProver

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

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

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

Trait Implementations

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>,

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.

type Proof = HalProof<PB>

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

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