Function split_proof

pub fn split_proof<Layout: GenericLayoutTrait + LayoutTrait>(
    proof: StarkProof,
) -> Result<SplitProof, Error>

Splits a StarkProof into a multi-step verification process.

This function does not verify the proof.