Struct libspartan::SNARKGens [−][src]
pub struct SNARKGens { /* fields omitted */ }
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
num_nz_entries
specifies the maximum number of non-zero entries in any of the three R1CS matrices
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,
pub fn borrow_mut(&mut self) -> &mut T
[src]
impl<T, U> Cast<U> for T where
U: FromCast<T>,
U: FromCast<T>,
pub fn cast(self) -> U
impl<T> From<T> for T
[src]
impl<T> FromBits<T> for T
pub fn from_bits(t: T) -> T
impl<T> FromCast<T> for T
pub 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>,
pub 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.
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>,