Function prove

pub fn prove(
    stark: Stark,
    claim: &Claim,
    program: Program,
    non_determinism: NonDeterminism,
) -> Result<Proof, ProvingError>

A convenience function for proving a Claim and the program that claim corresponds to. Method prove_program gives a simpler interface with less control.