Skip to main content

ProtocolError

Enum ProtocolError

pub enum ProtocolError<F: PrimeField, I: Ideal> {
    IdealCheck(IdealCheckError<F, I>),
    Resolver(CombinedPolyResolverError<F>),
    ScalarProjection(EvaluationError),
    MultipointEval(MultipointEvalError<F>),
    LiftedEvalProjection(EvaluationError),
    Lookup(LookupError),
    Pcs(ZipError),
    PcsVerification(usize, ZipError),
}

Expand description

Error type for error happening during the protocol execution (prover and verifier).

Variants§

IdealCheck(IdealCheckError<F, I>)

Resolver(CombinedPolyResolverError<F>)

ScalarProjection(EvaluationError)

MultipointEval(MultipointEvalError<F>)

LiftedEvalProjection(EvaluationError)

Lookup(LookupError)

Pcs(ZipError)

PcsVerification(usize, ZipError)

Trait Implementations§

impl<F: Debug + PrimeField, I: Debug + Ideal> Debug for ProtocolError<F, I>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter. Read more

impl<F: PrimeField, I: Ideal> Display for ProtocolError<F, I>
where IdealCheckError<F, I>: Display, CombinedPolyResolverError<F>: Display, MultipointEvalError<F>: Display,

fn fmt(&self, __formatter: &mut Formatter<'_>) -> Result

Formats the value using the given formatter. Read more

impl<F: PrimeField, I: Ideal> Error for ProtocolError<F, I>
where IdealCheckError<F, I>: Error + 'static, CombinedPolyResolverError<F>: Error + 'static, MultipointEvalError<F>: Error + 'static, Self: Debug + Display,

fn source(&self) -> Option<&(dyn Error + 'static)>

Returns the lower-level source of this error, if any. Read more

1.0.0 · Source§

fn description(&self) -> &str

👎Deprecated since 1.42.0: use the Display impl or to_string()

1.0.0 · Source§

fn cause(&self) -> Option<&dyn Error>

👎Deprecated since 1.33.0: replaced by Error::source, which can support downcasting

fn provide<'a>(&'a self, request: &mut Request<'a>)

🔬This is a nightly-only experimental API. (error_generic_member_access)

Provides type-based access to context intended for error reports. Read more

impl<F: PrimeField, I: Ideal> From<CombinedPolyResolverError<F>> for ProtocolError<F, I>

fn from(source: CombinedPolyResolverError<F>) -> Self

Converts to this type from the input type.

impl<F: PrimeField, I: Ideal> From<IdealCheckError<F, I>> for ProtocolError<F, I>

fn from(source: IdealCheckError<F, I>) -> Self

Converts to this type from the input type.

impl<F: PrimeField, I: Ideal> From<LookupError> for ProtocolError<F, I>

fn from(source: LookupError) -> Self

Converts to this type from the input type.

impl<F: PrimeField, I: Ideal> From<MultipointEvalError<F>> for ProtocolError<F, I>

fn from(source: MultipointEvalError<F>) -> Self

Converts to this type from the input type.

impl<F: PrimeField, I: Ideal> From<ZipError> for ProtocolError<F, I>

fn from(source: ZipError) -> Self

Converts to this type from the input type.

Auto Trait Implementations§

impl<F, I> Freeze for ProtocolError<F, I>
where F: Freeze, I: Freeze,

impl<F, I> RefUnwindSafe for ProtocolError<F, I>
where F: RefUnwindSafe, I: RefUnwindSafe,

impl<F, I> Send for ProtocolError<F, I>

impl<F, I> Sync for ProtocolError<F, I>

impl<F, I> Unpin for ProtocolError<F, I>
where F: Unpin, I: Unpin,

impl<F, I> UnsafeUnpin for ProtocolError<F, I>
where F: UnsafeUnpin, I: UnsafeUnpin,

impl<F, I> UnwindSafe for ProtocolError<F, I>
where F: UnwindSafe, I: UnwindSafe,

Blanket Implementations§

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

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

impl<T> AsMaybeUninit for T

type Uninit = MaybeUninit<T>

This type in its maybe-uninitialized form.

type SizedPart = T

The largest Sized element in Self, used to check for the absence of drop glue via a Copy bound. Read more

fn as_ref_uninit(&self) -> &<T as AsMaybeUninit>::Uninit

Converts a &self to its maybe-initialized equivalent.

unsafe fn as_mut_uninit(&mut self) -> &mut <T as AsMaybeUninit>::Uninit

Converts a &mut T to its maybe-initialized equivalent. Read more

unsafe fn raw_as_uninit<'a>(raw: *const T) -> &'a <T as AsMaybeUninit>::Uninit

Converts a raw pointer to a reference to maybe-uninit. Read more

unsafe fn raw_mut_as_uninit<'a>( raw: *mut T, ) -> &'a mut <T as AsMaybeUninit>::Uninit

Converts a raw mutable pointer to a mutable reference to maybe-uninit. Read more

impl<T> Borrow<T> for T
where T: ?Sized,

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

impl<T> BorrowMut<T> for T
where T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more

impl<T> From<T> for T

fn from(t: T) -> T

Returns the argument unchanged.

impl<T, U> Into<U> for T
where U: From<T>,

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

impl<T> IntoEither for T

fn into_either(self, into_left: bool) -> Either<Self, Self>

Converts self into a Left variant of Either<Self, Self> if into_left is true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

Converts self into a Left variant of Either<Self, Self> if into_left(&self) returns true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more

impl<F, T> IntoWithConfig<F> for T
where F: PrimeField + FromWithConfig<T>,

fn into_with_cfg(self, cfg: &<F as PrimeField>::Config) -> F

impl<T> ManuallyDropMut for T

type Ret = ManuallyDrop<T>

fn manually_drop_mut<'>(&' mut self) -> &'__ mut ManuallyDrop<T>

impl<T> Pointable for T

const ALIGN: usize

The alignment of pointer.

type Init = T

The type for initializers.

unsafe fn init(init: <T as Pointable>::Init) -> usize

Initializes a with the given initializer. Read more

unsafe fn deref<'a>(ptr: usize) -> &'a T

Dereferences the given pointer. Read more

unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T

Mutably dereferences the given pointer. Read more

unsafe fn drop(ptr: usize)

Drops the object pointed to by the given pointer. Read more

impl<T> Same for T

type Output = T

Should always be Self

impl<T> ToString for T
where T: Display + ?Sized,

fn to_string(&self) -> String

Converts the given value to a String. Read more

impl<T, U> TryFrom<U> for T
where 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>

Performs the conversion.

impl<T, U> TryInto<U> for T
where 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>

Performs the conversion.

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

fn vzip(self) -> V