openvm_benchmarks_prove::util

Function bench_from_exe

Source 
pub fn bench_from_exe<VC, E: StarkFriEngine<BabyBearPoseidon2Config>>(
    bench_name: impl ToString,
    app_config: AppConfig<VC>,
    exe: impl Into<VmExe<BabyBear>>,
    input_stream: StdIn,
    leaf_vm_config: Option<NativeConfig>,
) -> Result<()>
where
    VC: VmConfig<BabyBear>,
    VC::Executor: Chip<BabyBearPoseidon2Config>,
    VC::Periphery: Chip<BabyBearPoseidon2Config>,
Expand description
  1. Generate proving key from config.
  2. Commit to the exe by generating cached trace for program.
  3. Executes runtime
  4. Generate trace
  5. Generate STARK proofs for each segment (segmentation is determined by config)
  6. Verify STARK proofs.

Returns the data necessary for proof aggregation.