pub enum AHPError {
ConstraintSystemError(SynthesisError),
FiatShamirError(FiatShamirError),
InstanceDoesNotMatchIndex,
InvalidPublicInputLength,
MissingEval(String),
NonSquareMatrix,
}
Expand description
Describes the failure modes of the AHP scheme.
Variants
ConstraintSystemError(SynthesisError)
An error occurred during constraint generation.
FiatShamirError(FiatShamirError)
An error occurred during Fiat-Shamir.
InstanceDoesNotMatchIndex
The instance generated during proving does not match that in the index.
InvalidPublicInputLength
The number of public inputs is incorrect.
MissingEval(String)
During verification, a required evaluation is missing
NonSquareMatrix
Currently we only support square constraint matrices.
Trait Implementations
sourceimpl From<AHPError> for MarlinError
impl From<AHPError> for MarlinError
sourceimpl From<FiatShamirError> for AHPError
impl From<FiatShamirError> for AHPError
sourcefn from(other: FiatShamirError) -> Self
fn from(other: FiatShamirError) -> Self
Performs the conversion.
sourceimpl From<SynthesisError> for AHPError
impl From<SynthesisError> for AHPError
sourcefn from(other: SynthesisError) -> Self
fn from(other: SynthesisError) -> Self
Performs the conversion.
Auto Trait Implementations
impl !RefUnwindSafe for AHPError
impl Send for AHPError
impl Sync for AHPError
impl Unpin for AHPError
impl !UnwindSafe for AHPError
Blanket Implementations
sourceimpl<T> BorrowMut<T> for T where
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
const: unstable · sourcepub fn borrow_mut(&mut self) -> &mut T
pub fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more