generate_dummy_root_proof

Function generate_dummy_root_proof 

Source
pub fn generate_dummy_root_proof<E, VB>(
    vm_builder: VB,
    app_vm_pk: &VmProvingKey<VB::VmConfig>,
    agg_prover: Arc<AggProver>,
    deferral_setup: DeferralSetup,
    root_prover: Arc<RootProver>,
) -> Proof<RootSC>
where E: StarkEngine<SC = SC>, VB: VmBuilder<E> + Clone, Val<SC>: PrimeField32, <VB::VmConfig as VmExecutionConfig<F>>::Executor: Executor<F> + MeteredExecutor<F> + PreflightExecutor<F, VB::RecordArena>,
Expand description

Generate a dummy root proof for keygen purposes.

Runs a trivial TERMINATE-only program through the full EVM prover pipeline (app → aggregation → root) and returns the resulting root proof.