aggregate_leaf_proofs

generate_fixtures

Function aggregate_leaf_proofs 

Source 
pub(crate) fn aggregate_leaf_proofs<E, NativeBuilder>(
    agg_prover: &mut AggStarkProver<E, NativeBuilder>,
    leaf_proofs: Vec<Proof<SC>>,
    fixtures_dir: &Path,
    program: &str,
) -> Result<(Proof<SC>, usize)>
where
    E: StarkFriEngine<SC = SC>,
    NativeBuilder: VmBuilder<E, VmConfig = NativeConfig>,
    <NativeConfig as VmExecutionConfig<F>>::Executor: PreflightExecutor<F, <NativeBuilder as VmBuilder<E>>::RecordArena>,
Expand description

Aggregates leaf proofs into internal proofs and saves them to disk Returns the final internal proof and the count of internal proofs saved