Trait bellman::Input
[−]
[src]
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>
self,
cs: &mut CS
) -> Result<(), Error>
Synthesize the circuit, except with additional access to public input variables