Function risc0_zkp::prove::prove_without_seal
source · 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