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.