Enum ark_snark::UniversalSetupIndexError[−][src]

pub enum UniversalSetupIndexError<Bound, E> {
    NeedLargerBound(Bound),
    Other(E),
}

A helper type for universal-setup SNARKs, which must infer their computation size bounds.

Variants

NeedLargerBound(Bound)

The provided universal public parameters were insufficient to encode the given circuit.

Other(E)

Other errors occurred during indexing.

Auto Trait Implementations

impl<Bound, E> Send for UniversalSetupIndexError<Bound, E> where
    Bound: Send,
    E: Send, 

impl<Bound, E> Sync for UniversalSetupIndexError<Bound, E> where
    Bound: Sync,
    E: Sync, 

impl<Bound, E> Unpin for UniversalSetupIndexError<Bound, E> where
    Bound: Unpin,
    E: Unpin, 

Blanket Implementations

impl<T> Any for T where
    T: 'static + ?Sized, [src]

impl<T> Borrow<T> for T where
    T: ?Sized, [src]

impl<T> BorrowMut<T> for T where
    T: ?Sized, [src]

impl<T> From<T> for T[src]

impl<T> Instrument for T[src]

impl<T, U> Into<U> for T where
    U: From<T>, [src]

impl<T, U> TryFrom<U> for T where
    U: Into<T>, [src]

type Error = Infallible

The type returned in the event of a conversion error.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, [src]

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

impl<V, T> VZip<V> for T where
    V: MultiLane<T>,