pub trait CircuitDef<F: Field>: CircuitInfo + CircuitStep<F::Elem> + PolyFp<F> + PolyExt<F> + TapsProvider + Sync { }

Implementors§