Trait risc0_zkp::adapter::CircuitDef
source · pub trait CircuitDef<F: Field>: CircuitInfo + CircuitStep<F::Elem> + PolyFp<F> + PolyExt<F> + TapsProvider + Sync { }
pub trait CircuitDef<F: Field>: CircuitInfo + CircuitStep<F::Elem> + PolyFp<F> + PolyExt<F> + TapsProvider + Sync { }