Struct snarkvm_wasm::groth16::ProvingAssignment [−][src]
Trait Implementations
impl<E> ConstraintSystem<<E as PairingEngine>::Fr> for ProvingAssignment<E> where
E: PairingEngine,
[src]
E: PairingEngine,
type Root = ProvingAssignment<E>
Represents the type of the “root” of this constraint system so that nested namespaces can minimize indirection. Read more
pub fn alloc<F, A, AR>(&mut self, A, f: F) -> Result<Variable, SynthesisError> where
A: FnOnce() -> AR,
F: FnOnce() -> Result<<E as PairingEngine>::Fr, SynthesisError>,
AR: AsRef<str>,
[src]
A: FnOnce() -> AR,
F: FnOnce() -> Result<<E as PairingEngine>::Fr, SynthesisError>,
AR: AsRef<str>,
pub fn alloc_input<F, A, AR>(
&mut self,
A,
f: F
) -> Result<Variable, SynthesisError> where
A: FnOnce() -> AR,
F: FnOnce() -> Result<<E as PairingEngine>::Fr, SynthesisError>,
AR: AsRef<str>,
[src]
&mut self,
A,
f: F
) -> Result<Variable, SynthesisError> where
A: FnOnce() -> AR,
F: FnOnce() -> Result<<E as PairingEngine>::Fr, SynthesisError>,
AR: AsRef<str>,
pub fn enforce<A, AR, LA, LB, LC>(&mut self, A, a: LA, b: LB, c: LC) where
LC: FnOnce(LinearCombination<<E as PairingEngine>::Fr>) -> LinearCombination<<E as PairingEngine>::Fr>,
A: FnOnce() -> AR,
AR: AsRef<str>,
LA: FnOnce(LinearCombination<<E as PairingEngine>::Fr>) -> LinearCombination<<E as PairingEngine>::Fr>,
LB: FnOnce(LinearCombination<<E as PairingEngine>::Fr>) -> LinearCombination<<E as PairingEngine>::Fr>,
[src]
LC: FnOnce(LinearCombination<<E as PairingEngine>::Fr>) -> LinearCombination<<E as PairingEngine>::Fr>,
A: FnOnce() -> AR,
AR: AsRef<str>,
LA: FnOnce(LinearCombination<<E as PairingEngine>::Fr>) -> LinearCombination<<E as PairingEngine>::Fr>,
LB: FnOnce(LinearCombination<<E as PairingEngine>::Fr>) -> LinearCombination<<E as PairingEngine>::Fr>,
pub fn push_namespace<NR, N>(&mut self, N) where
N: FnOnce() -> NR,
NR: AsRef<str>,
[src]
N: FnOnce() -> NR,
NR: AsRef<str>,
pub fn pop_namespace(&mut self)
[src]
pub fn get_root(
&mut self
) -> &mut <ProvingAssignment<E> as ConstraintSystem<<E as PairingEngine>::Fr>>::Root
[src]
&mut self
) -> &mut <ProvingAssignment<E> as ConstraintSystem<<E as PairingEngine>::Fr>>::Root
pub fn num_constraints(&self) -> usize
[src]
pub fn num_public_variables(&self) -> usize
[src]
pub fn num_private_variables(&self) -> usize
[src]
pub fn one() -> Variable
[src]
pub fn ns<NR, N>(&mut self, name_fn: N) -> Namespace<'_, F, Self::Root> where
N: FnOnce() -> NR,
NR: AsRef<str>,
[src]
N: FnOnce() -> NR,
NR: AsRef<str>,
Auto Trait Implementations
impl<E> RefUnwindSafe for ProvingAssignment<E> where
<E as PairingEngine>::Fr: RefUnwindSafe,
<E as PairingEngine>::Fr: RefUnwindSafe,
impl<E> Send for ProvingAssignment<E>
impl<E> Sync for ProvingAssignment<E>
impl<E> Unpin for ProvingAssignment<E> where
<E as PairingEngine>::Fr: Unpin,
<E as PairingEngine>::Fr: Unpin,
impl<E> UnwindSafe for ProvingAssignment<E> where
<E as PairingEngine>::Fr: UnwindSafe,
<E as PairingEngine>::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,
pub 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> Pointable for T
pub const ALIGN: usize
type Init = T
The type for initializers.
pub unsafe fn init(init: <T as Pointable>::Init) -> usize
pub unsafe fn deref<'a>(ptr: usize) -> &'a T
pub unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T
pub unsafe fn drop(ptr: usize)
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.
pub 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.
pub 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>,