pub fn new_local_prover<E, VB>(
vm_builder: VB,
vm_pk: &VmProvingKey<E::SC, VB::VmConfig>,
exe: Arc<VmExe<Val<E::SC>>>,
) -> Result<VmInstance<E, VB>, VirtualMachineError>where
E: StarkFriEngine,
VB: VmBuilder<E>,
pub fn new_local_prover<E, VB>(
vm_builder: VB,
vm_pk: &VmProvingKey<E::SC, VB::VmConfig>,
exe: Arc<VmExe<Val<E::SC>>>,
) -> Result<VmInstance<E, VB>, VirtualMachineError>where
E: StarkFriEngine,
VB: VmBuilder<E>,