Trait CircuitExt

pub trait CircuitExt<F: Field>: Circuit<F> {
    // Required methods
    fn num_instance(&self) -> Vec<usize>;
    fn instances(&self) -> Vec<Vec<F>>;

    // Provided methods
    fn accumulator_indices() -> Option<Vec<(usize, usize)>> { ... }
    fn selectors(_: &Self::Config) -> Vec<Selector> { ... }
}

Required Methods

fn num_instance(&self) -> Vec<usize>

Return the number of instances of the circuit. This may depend on extra circuit parameters but NOT on private witnesses.

fn instances(&self) -> Vec<Vec<F>>

Provided Methods

fn accumulator_indices() -> Option<Vec<(usize, usize)>>

fn selectors(_: &Self::Config) -> Vec<Selector>

Output the simple selector columns (before selector compression) of the circuit

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.

Implementations on Foreign Types

impl<F: ScalarField> CircuitExt<F> for BaseCircuitBuilder<F>

fn num_instance(&self) -> Vec<usize>

fn instances(&self) -> Vec<Vec<F>>

fn selectors(config: &Self::Config) -> Vec<Selector>

Implementors

impl CircuitExt<Fr> for AggregationCircuit