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>
impl<SC: StarkGenericConfig, PB, PD> Coordinator<SC, PB, PD>
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>,
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
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.