[−][src]Struct libspartan::SNARKGens
SNARKGens
holds public parameters for producing and verifying proofs with the Spartan SNARK
Implementations
impl SNARKGens
[src]
pub fn new(
num_cons: usize,
num_vars: usize,
num_inputs: usize,
num_nz_entries: usize
) -> Self
[src]
num_cons: usize,
num_vars: usize,
num_inputs: usize,
num_nz_entries: usize
) -> Self
Constructs a new SNARKGens
given the size of the R1CS statement
Auto Trait Implementations
impl RefUnwindSafe for SNARKGens
impl Send for SNARKGens
impl Sync for SNARKGens
impl Unpin for SNARKGens
impl UnwindSafe for SNARKGens
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, U> Cast<U> for T where
U: FromCast<T>,
U: FromCast<T>,
fn cast(self) -> U
impl<T> From<T> for T
[src]
impl<T> FromBits<T> for T
fn from_bits(t: T) -> T
impl<T> FromCast<T> for T
fn from_cast(t: T) -> T
impl<T, U> Into<U> for T where
U: From<T>,
[src]
U: From<T>,
impl<T, U> IntoBits<U> for T where
U: FromBits<T>,
U: FromBits<T>,
fn into_bits(self) -> U
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>,