[−][src]Struct bellperson::gadgets::multieq::MultiEq
Implementations
impl<E: ScalarEngine, CS: ConstraintSystem<E>> MultiEq<E, CS>
[src]
pub fn new(cs: CS) -> Self
[src]
pub fn enforce_equal(
&mut self,
num_bits: usize,
lhs: &LinearCombination<E>,
rhs: &LinearCombination<E>
)
[src]
&mut self,
num_bits: usize,
lhs: &LinearCombination<E>,
rhs: &LinearCombination<E>
)
Trait Implementations
impl<E: ScalarEngine, CS: ConstraintSystem<E>> ConstraintSystem<E> for MultiEq<E, CS>
[src]
type Root = Self
Represents the type of the "root" of this constraint system so that nested namespaces can minimize indirection. Read more
fn one() -> Variable
[src]
fn alloc<F, A, AR>(
&mut self,
annotation: A,
f: F
) -> Result<Variable, SynthesisError> where
F: FnOnce() -> Result<E::Fr, SynthesisError>,
A: FnOnce() -> AR,
AR: Into<String>,
[src]
&mut self,
annotation: A,
f: F
) -> Result<Variable, SynthesisError> where
F: FnOnce() -> Result<E::Fr, SynthesisError>,
A: FnOnce() -> AR,
AR: Into<String>,
fn alloc_input<F, A, AR>(
&mut self,
annotation: A,
f: F
) -> Result<Variable, SynthesisError> where
F: FnOnce() -> Result<E::Fr, SynthesisError>,
A: FnOnce() -> AR,
AR: Into<String>,
[src]
&mut self,
annotation: A,
f: F
) -> Result<Variable, SynthesisError> where
F: FnOnce() -> Result<E::Fr, SynthesisError>,
A: FnOnce() -> AR,
AR: Into<String>,
fn enforce<A, AR, LA, LB, LC>(&mut self, annotation: A, a: LA, b: LB, c: LC) where
A: FnOnce() -> AR,
AR: Into<String>,
LA: FnOnce(LinearCombination<E>) -> LinearCombination<E>,
LB: FnOnce(LinearCombination<E>) -> LinearCombination<E>,
LC: FnOnce(LinearCombination<E>) -> LinearCombination<E>,
[src]
A: FnOnce() -> AR,
AR: Into<String>,
LA: FnOnce(LinearCombination<E>) -> LinearCombination<E>,
LB: FnOnce(LinearCombination<E>) -> LinearCombination<E>,
LC: FnOnce(LinearCombination<E>) -> LinearCombination<E>,
fn push_namespace<NR, N>(&mut self, name_fn: N) where
NR: Into<String>,
N: FnOnce() -> NR,
[src]
NR: Into<String>,
N: FnOnce() -> NR,
fn pop_namespace(&mut self)
[src]
fn get_root(&mut self) -> &mut Self::Root
[src]
fn namespace<NR, N>(&mut self, name_fn: N) -> Namespace<E, Self::Root> where
NR: Into<String>,
N: FnOnce() -> NR,
[src]
NR: Into<String>,
N: FnOnce() -> NR,
impl<E: ScalarEngine, CS: ConstraintSystem<E>> Drop for MultiEq<E, CS>
[src]
Auto Trait Implementations
impl<E, CS> RefUnwindSafe for MultiEq<E, CS> where
CS: RefUnwindSafe,
<E as ScalarEngine>::Fr: RefUnwindSafe,
CS: RefUnwindSafe,
<E as ScalarEngine>::Fr: RefUnwindSafe,
impl<E, CS> Send for MultiEq<E, CS> where
CS: Send,
<E as ScalarEngine>::Fr: Send,
CS: Send,
<E as ScalarEngine>::Fr: Send,
impl<E, CS> Sync for MultiEq<E, CS> where
CS: Sync,
<E as ScalarEngine>::Fr: Sync,
CS: Sync,
<E as ScalarEngine>::Fr: Sync,
impl<E, CS> Unpin for MultiEq<E, CS> where
CS: Unpin,
<E as ScalarEngine>::Fr: Unpin,
CS: Unpin,
<E as ScalarEngine>::Fr: Unpin,
impl<E, CS> UnwindSafe for MultiEq<E, CS> where
CS: UnwindSafe,
<E as ScalarEngine>::Fr: UnwindSafe,
CS: UnwindSafe,
<E as ScalarEngine>::Fr: UnwindSafe,
Blanket Implementations
impl<T> Any for T where
T: 'static + ?Sized,
[src]
T: 'static + ?Sized,
impl<T> Borrow<T> for T where
T: ?Sized,
[src]
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]
T: ?Sized,
fn borrow_mut(&mut self) -> &mut T
[src]
impl<T> From<T> for T
[src]
impl<T, U> Into<U> for T where
U: From<T>,
[src]
U: From<T>,
impl<T> Same<T> for T
type Output = T
Should always be Self
impl<T, U> TryFrom<U> for T where
U: Into<T>,
[src]
U: Into<T>,
type Error = Infallible
The type returned in the event of a conversion error.
fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>
[src]
impl<T, U> TryInto<U> for T where
U: TryFrom<T>,
[src]
U: TryFrom<T>,
type Error = <U as TryFrom<T>>::Error
The type returned in the event of a conversion error.
fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>
[src]
impl<V, T> VZip<V> for T where
V: MultiLane<T>,
V: MultiLane<T>,