Trait Circuit 

pub trait Circuit {
    // Required method
    fn define(&self, api: &mut impl API);
}

Defines the logic of an arithmetic circuit for zero-knowledge proofs.

This trait should be implemented by circuit structures to define their constraint system. The circuit logic is expressed using the provided API operations to build the constraint graph.

Required Methods

fn define(&self, api: &mut impl API)

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