Function risc0_zkp::prove::prove

pub fn prove<'a, F, H, S, E, C, CS>(
    hal: &H,
    sha: &S,
    circuit: &mut ProveAdapter<'a, F, C, CS>,
    eval: &E
) -> Vec<u32>where
    F: Field,
    H: Hal<Elem = F::Elem, ExtElem = F::ExtElem>,
    S: Sha,
    E: EvalCheck<H>,
    C: CircuitDef<F>,
    CS: CircuitStepHandler<F::Elem>,

Construct a seal proving execution