prove

triton_vm

Function prove 

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

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