Struct snarkvm_wasm::groth16::KeypairAssembly [−][src]
This is our assembly structure that we’ll use to synthesize the circuit into a QAP.
Fields
num_public_variables: usize
num_private_variables: usize
at: Vec<Vec<(<E as PairingEngine>::Fr, Index), Global>, Global>
bt: Vec<Vec<(<E as PairingEngine>::Fr, Index), Global>, Global>
ct: Vec<Vec<(<E as PairingEngine>::Fr, Index), Global>, Global>
Trait Implementations
impl<E> CanonicalDeserialize for KeypairAssembly<E> where
E: PairingEngine,
[src]
E: PairingEngine,
pub fn deserialize<R>(
reader: &mut R
) -> Result<KeypairAssembly<E>, SerializationError> where
R: Read,
[src]
reader: &mut R
) -> Result<KeypairAssembly<E>, SerializationError> where
R: Read,
pub fn deserialize_uncompressed<R>(
reader: &mut R
) -> Result<KeypairAssembly<E>, SerializationError> where
R: Read,
[src]
reader: &mut R
) -> Result<KeypairAssembly<E>, SerializationError> where
R: Read,
impl<E> CanonicalSerialize for KeypairAssembly<E> where
E: PairingEngine,
[src]
E: PairingEngine,
pub fn serialize<W>(&self, writer: &mut W) -> Result<(), SerializationError> where
W: Write,
[src]
W: Write,
pub fn serialized_size(&self) -> usize
[src]
pub fn serialize_uncompressed<W>(
&self,
writer: &mut W
) -> Result<(), SerializationError> where
W: Write,
[src]
&self,
writer: &mut W
) -> Result<(), SerializationError> where
W: Write,
pub fn uncompressed_size(&self) -> usize
[src]
impl<E> Clone for KeypairAssembly<E> where
E: Clone + PairingEngine,
<E as PairingEngine>::Fr: Clone,
[src]
E: Clone + PairingEngine,
<E as PairingEngine>::Fr: Clone,
pub fn clone(&self) -> KeypairAssembly<E>
[src]
pub fn clone_from(&mut self, source: &Self)
1.0.0[src]
impl<E> ConstraintSystem<<E as PairingEngine>::Fr> for KeypairAssembly<E> where
E: PairingEngine,
[src]
E: PairingEngine,
type Root = KeypairAssembly<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) -> 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
) -> Result<Variable, SynthesisError> where
A: FnOnce() -> AR,
F: FnOnce() -> Result<<E as PairingEngine>::Fr, SynthesisError>,
AR: AsRef<str>,
[src]
&mut self,
A,
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 <KeypairAssembly<E> as ConstraintSystem<<E as PairingEngine>::Fr>>::Root
[src]
&mut self
) -> &mut <KeypairAssembly<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>,
impl<E> Debug for KeypairAssembly<E> where
E: Debug + PairingEngine,
<E as PairingEngine>::Fr: Debug,
[src]
E: Debug + PairingEngine,
<E as PairingEngine>::Fr: Debug,
Auto Trait Implementations
impl<E> RefUnwindSafe for KeypairAssembly<E> where
<E as PairingEngine>::Fr: RefUnwindSafe,
<E as PairingEngine>::Fr: RefUnwindSafe,
impl<E> Send for KeypairAssembly<E>
impl<E> Sync for KeypairAssembly<E>
impl<E> Unpin for KeypairAssembly<E> where
<E as PairingEngine>::Fr: Unpin,
<E as PairingEngine>::Fr: Unpin,
impl<E> UnwindSafe for KeypairAssembly<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> ToOwned for T where
T: Clone,
[src]
T: Clone,
type Owned = T
The resulting type after obtaining ownership.
pub fn to_owned(&self) -> T
[src]
pub fn clone_into(&self, target: &mut T)
[src]
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>,