pub fn prove_without_seal<'a, F, S, C, CS>(
    sha: &S,
    circuit: &mut ProveAdapter<'a, F, C, CS>
)where
    F: Field,
    S: Sha,
    C: CircuitDef<F>,
    CS: CircuitStepHandler<F::Elem>,
Expand description

INSECURELY execute a circuit without producing a seal that proves execution