Trait risc0_zkp::adapter::CircuitProveDef

pub trait CircuitProveDef<F: Field>: CircuitStep<F::Elem> + PolyFp<F> + CircuitCoreDef<F> + Sync { }

traits implemented by generated rust code used in only the prover

Object Safety

This trait is not object safe.

Implementors