Trait bellman::Input

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

Required Methods

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

Synthesize the circuit, except with additional access to public input variables

Implementors