pub enum SumCheckError<F> {
EvaluationError(ArithErrors),
SumCheckFailed(usize, Box<F>, Box<F>),
MaxDegreeExceeded,
InvalidProofLength {
expected: usize,
got: usize,
},
UnivariateEvaluationError(EvaluationError),
}Variants§
EvaluationError(ArithErrors)
SumCheckFailed(usize, Box<F>, Box<F>)
MaxDegreeExceeded
InvalidProofLength
UnivariateEvaluationError(EvaluationError)
Trait Implementations§
Source§impl<F: Debug> Debug for SumCheckError<F>
impl<F: Debug> Debug for SumCheckError<F>
Source§impl<F> Display for SumCheckError<F>
impl<F> Display for SumCheckError<F>
Source§impl<F> Error for SumCheckError<F>
impl<F> Error for SumCheckError<F>
1.30.0 · Source§fn source(&self) -> Option<&(dyn Error + 'static)>
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
fn description(&self) -> &str
👎Deprecated since 1.42.0: use the Display impl or to_string()
Source§impl<F> From<ArithErrors> for SumCheckError<F>
impl<F> From<ArithErrors> for SumCheckError<F>
Source§fn from(arith_error: ArithErrors) -> Self
fn from(arith_error: ArithErrors) -> Self
Converts to this type from the input type.
Source§impl<F> From<EvaluationError> for SumCheckError<F>
impl<F> From<EvaluationError> for SumCheckError<F>
Source§fn from(error: EvaluationError) -> Self
fn from(error: EvaluationError) -> Self
Converts to this type from the input type.
Source§impl<F: PrimeField> From<SumCheckError<F>> for CombinedPolyResolverError<F>
impl<F: PrimeField> From<SumCheckError<F>> for CombinedPolyResolverError<F>
Source§fn from(sumcheck_error: SumCheckError<F>) -> Self
fn from(sumcheck_error: SumCheckError<F>) -> Self
Converts to this type from the input type.
Source§impl<F: PrimeField> From<SumCheckError<F>> for MultipointEvalError<F>
impl<F: PrimeField> From<SumCheckError<F>> for MultipointEvalError<F>
Source§fn from(source: SumCheckError<F>) -> Self
fn from(source: SumCheckError<F>) -> Self
Converts to this type from the input type.
Source§impl<F: PrimeField> From<SumCheckError<F>> for RFSumcheckError<F>
impl<F: PrimeField> From<SumCheckError<F>> for RFSumcheckError<F>
Source§fn from(value: SumCheckError<F>) -> Self
fn from(value: SumCheckError<F>) -> Self
Converts to this type from the input type.
Auto Trait Implementations§
impl<F> Freeze for SumCheckError<F>
impl<F> RefUnwindSafe for SumCheckError<F>where
F: RefUnwindSafe,
impl<F> Send for SumCheckError<F>where
F: Send,
impl<F> Sync for SumCheckError<F>where
F: Sync,
impl<F> Unpin for SumCheckError<F>
impl<F> UnsafeUnpin for SumCheckError<F>
impl<F> UnwindSafe for SumCheckError<F>where
F: UnwindSafe,
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
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 moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
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