Struct leo_synthesizer::circuit_synthesizer::CircuitSynthesizer [−][src]
pub struct CircuitSynthesizer<E: PairingEngine> { pub constraints: OptionalVec<ConstraintSet<E>>, pub public_variables: OptionalVec<E::Fr>, pub private_variables: OptionalVec<E::Fr>, pub namespaces: Vec<Namespace>, }
Fields
constraints: OptionalVec<ConstraintSet<E>>
public_variables: OptionalVec<E::Fr>
private_variables: OptionalVec<E::Fr>
namespaces: Vec<Namespace>
Trait Implementations
impl<E: PairingEngine> ConstraintSystem<<E as PairingEngine>::Fr> for CircuitSynthesizer<E>
[src]
impl<E: PairingEngine> ConstraintSystem<<E as PairingEngine>::Fr> for CircuitSynthesizer<E>
[src]type Root = Self
type Root = Self
Represents the type of the “root” of this constraint system so that nested namespaces can minimize indirection. Read more
fn alloc<F, A, AR>(&mut self, _: A, f: F) -> Result<Variable, SynthesisError> where
F: FnOnce() -> Result<E::Fr, SynthesisError>,
A: FnOnce() -> AR,
AR: AsRef<str>,
[src]
fn alloc<F, A, AR>(&mut self, _: A, f: F) -> Result<Variable, SynthesisError> where
F: FnOnce() -> Result<E::Fr, SynthesisError>,
A: FnOnce() -> AR,
AR: AsRef<str>,
[src]Allocate a private variable in the constraint system. The provided
function is used to determine the assignment of the variable. The
given annotation
function is invoked in testing contexts in order
to derive a unique name for this variable in the current namespace. Read more
fn alloc_input<F, A, AR>(
&mut self,
_: A,
f: F
) -> Result<Variable, SynthesisError> where
F: FnOnce() -> Result<E::Fr, SynthesisError>,
A: FnOnce() -> AR,
AR: AsRef<str>,
[src]
fn alloc_input<F, A, AR>(
&mut self,
_: A,
f: F
) -> Result<Variable, SynthesisError> where
F: FnOnce() -> Result<E::Fr, SynthesisError>,
A: FnOnce() -> AR,
AR: AsRef<str>,
[src]Allocate a public variable in the constraint system. The provided function is used to determine the assignment of the variable. Read more
fn enforce<A, AR, LA, LB, LC>(&mut self, _: A, a: LA, b: LB, c: LC) where
A: FnOnce() -> AR,
AR: AsRef<str>,
LA: FnOnce(LinearCombination<E::Fr>) -> LinearCombination<E::Fr>,
LB: FnOnce(LinearCombination<E::Fr>) -> LinearCombination<E::Fr>,
LC: FnOnce(LinearCombination<E::Fr>) -> LinearCombination<E::Fr>,
[src]
fn enforce<A, AR, LA, LB, LC>(&mut self, _: A, a: LA, b: LB, c: LC) where
A: FnOnce() -> AR,
AR: AsRef<str>,
LA: FnOnce(LinearCombination<E::Fr>) -> LinearCombination<E::Fr>,
LB: FnOnce(LinearCombination<E::Fr>) -> LinearCombination<E::Fr>,
LC: FnOnce(LinearCombination<E::Fr>) -> LinearCombination<E::Fr>,
[src]Enforce that A
* B
= C
. The annotation
function is invoked in
testing contexts in order to derive a unique name for the constraint
in the current namespace. Read more
fn push_namespace<NR, N>(&mut self, _: N) where
NR: AsRef<str>,
N: FnOnce() -> NR,
[src]
fn push_namespace<NR, N>(&mut self, _: N) where
NR: AsRef<str>,
N: FnOnce() -> NR,
[src]Create a new (sub)namespace and enter into it. Not intended
for downstream use; use namespace
instead. Read more
fn pop_namespace(&mut self)
[src]
fn pop_namespace(&mut self)
[src]Exit out of the existing namespace. Not intended for
downstream use; use namespace
instead. Read more
fn get_root(&mut self) -> &mut Self::Root
[src]
fn get_root(&mut self) -> &mut Self::Root
[src]Gets the “root” constraint system, bypassing the namespacing.
Not intended for downstream use; use namespace
instead. Read more
fn num_constraints(&self) -> usize
[src]
fn num_constraints(&self) -> usize
[src]Output the number of constraints in the system.
fn num_public_variables(&self) -> usize
[src]
fn num_public_variables(&self) -> usize
[src]Output the number of public input variables to the system.
fn num_private_variables(&self) -> usize
[src]
fn num_private_variables(&self) -> usize
[src]Output the number of private input variables to the system.
impl<E: PairingEngine> Default for CircuitSynthesizer<E>
[src]
impl<E: PairingEngine> Default for CircuitSynthesizer<E>
[src]impl<E: PairingEngine> From<CircuitSynthesizer<E>> for SerializedCircuit
[src]
impl<E: PairingEngine> From<CircuitSynthesizer<E>> for SerializedCircuit
[src]fn from(synthesizer: CircuitSynthesizer<E>) -> Self
[src]
fn from(synthesizer: CircuitSynthesizer<E>) -> Self
[src]Performs the conversion.
impl TryFrom<SerializedCircuit> for CircuitSynthesizer<Bls12_377>
[src]
impl TryFrom<SerializedCircuit> for CircuitSynthesizer<Bls12_377>
[src]type Error = FieldError
type Error = FieldError
The type returned in the event of a conversion error.
fn try_from(
serialized: SerializedCircuit
) -> Result<CircuitSynthesizer<Bls12_377>, Self::Error>
[src]
fn try_from(
serialized: SerializedCircuit
) -> Result<CircuitSynthesizer<Bls12_377>, Self::Error>
[src]Performs the conversion.
Auto Trait Implementations
impl<E> RefUnwindSafe for CircuitSynthesizer<E> where
<E as PairingEngine>::Fr: RefUnwindSafe,
<E as PairingEngine>::Fr: RefUnwindSafe,
impl<E> Send for CircuitSynthesizer<E>
impl<E> Sync for CircuitSynthesizer<E>
impl<E> Unpin for CircuitSynthesizer<E> where
<E as PairingEngine>::Fr: Unpin,
<E as PairingEngine>::Fr: Unpin,
impl<E> UnwindSafe for CircuitSynthesizer<E> where
<E as PairingEngine>::Fr: UnwindSafe,
<E as PairingEngine>::Fr: UnwindSafe,
Blanket Implementations
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]pub fn borrow_mut(&mut self) -> &mut T
[src]
pub fn borrow_mut(&mut self) -> &mut T
[src]Mutably borrows from an owned value. Read more
impl<T> Same<T> for T
impl<T> Same<T> for T
type Output = T
type Output = T
Should always be Self
impl<V, T> VZip<V> for T where
V: MultiLane<T>,
impl<V, T> VZip<V> for T where
V: MultiLane<T>,