Trait CircuitCoreDef 

pub trait CircuitCoreDef<F: Field>:
    CircuitInfo
    + PolyExt<F>
    + TapsProvider { }

traits implemented by generated rust code used in both prover and verifier

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors