Struct Coordinator

pub struct Coordinator<SC: StarkGenericConfig, PB, PD> {
    pub backend: PB,
    pub device: PD,
    /* private fields */
}

Host-to-device coordinator for full prover implementation.

The generics are:

• SC: Stark configuration for proving key (from host)
• PB: Prover backend types
• PD: Prover device methods

Fields

backend: PB

device: PD

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