Struct SP1RecursionProver 

pub struct SP1RecursionProver<A, C: SP1ProverComponents> {
    pub shrink_prover: Arc<ShrinkProver<C>>,
    pub prover_data: Arc<RecursionProverData<C>>,
    /* private fields */
}

Fields

shrink_prover: Arc<ShrinkProver<C>>

prover_data: Arc<RecursionProverData<C>>

Implementations

impl<A: ArtifactClient, C: SP1ProverComponents> SP1RecursionProver<A, C>

pub async fn new( config: SP1RecursionProverConfig, artifact_client: A, __arg2: (Arc<C::RecursionProver>, ProverSemaphore), __arg3: (Arc<C::RecursionProver>, ProverSemaphore), wrap_air_prover_init: WrapAirProverInit<C>, ) -> Self

pub fn recursion_prover_pipeline( &self, ) -> &Arc<Chain<Arc<BlockingEngine<Result<RecursionTask, TaskError>, Result<ProveRecursionTask<C>, TaskError>, RecursionExecutorWorker<C>>>, Arc<AsyncEngine<Result<ProveRecursionTask<C>, TaskError>, Result<TaskMetadata, TaskError>, RecursionProverWorker<A, C>>>>>

pub async fn submit_prove_shard( &self, program: Arc<RecursionProgram<SP1Field>>, witness: SP1CircuitWitness, output: Artifact, metrics: ProverMetrics, ) -> Result<RecursionProveSubmitHandle<A, C>, SubmitError>

pub async fn submit_recursion_reduce( &self, request: RawTaskRequest, ) -> Result<ReduceSubmitHandle<A, C>, TaskError>

pub async fn run_shrink_wrap( &self, request: RawTaskRequest, ) -> Result<(), TaskError>

pub async fn run_groth16( &self, request: RawTaskRequest, ) -> Result<(), TaskError>

pub async fn run_plonk(&self, request: RawTaskRequest) -> Result<(), TaskError>

pub fn recursion_vk_root(&self) -> [SP1Field; 8]

pub fn vk_verification(&self) -> bool

pub fn get_normalize_witness( &self, common_input: &CommonProverInput, proof: &ShardProof<SP1GlobalContext, SP1PcsProofInner>, is_complete: bool, is_precompile: bool, ) -> SP1NormalizeWitnessValues<SP1GlobalContext, SP1PcsProofInner>

pub fn reduce_shape(&self) -> &SP1RecursionProofShape

Trait Implementations

impl<A: Clone, C: SP1ProverComponents> Clone for SP1RecursionProver<A, C>

fn clone(&self) -> Self

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.