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> = DeviceMultiStarkProvingKeyView<'a, PB> where Self: 'a

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