Trait bellman::Circuit

pub trait Circuit<E: Engine> {
    type InputMap: Input<E>;
    fn synthesize<CS: ConstraintSystem<E>>(
        self, 
        cs: &mut CS
    ) -> Result<Self::InputMap, Error>;
}

Associated Types

type InputMap: Input<E>

Required Methods

fn synthesize<CS: ConstraintSystem<E>>(
    self,
    cs: &mut CS
) -> Result<Self::InputMap, Error>

Synthesize the circuit into a rank-1 quadratic constraint system

Implementors