Trait bellman::Circuit
[−]
[src]
pub trait Circuit<E: Engine> { type InputMap: Input<E>; fn synthesize<CS: ConstraintSystem<E>>(
self,
cs: &mut CS
) -> Result<Self::InputMap, Error>; }
Associated Types
Required Methods
fn synthesize<CS: ConstraintSystem<E>>(
self,
cs: &mut CS
) -> Result<Self::InputMap, Error>
self,
cs: &mut CS
) -> Result<Self::InputMap, Error>
Synthesize the circuit into a rank-1 quadratic constraint system