Enum ergotree_interpreter::sigma_protocol::prover::ProverError[][src]

pub enum ProverError {
    ErgoTreeError(ErgoTreeParsingError),
    EvalError(EvalError),
    ReducedToFalse,
    TreeRootIsNotReal,
    SimulatedLeafWithoutChallenge,
    RealUnprovenTreeWithoutChallenge,
    SecretNotFound,
}

Prover errors

Variants

ErgoTreeError(ErgoTreeParsingError)

Failed to parse ErgoTree

EvalError(EvalError)

Failed to evaluate ErgoTree

ReducedToFalse

Script reduced to false

TreeRootIsNotReal

Failed on step2(prover does not have enough witnesses to perform the proof)

SimulatedLeafWithoutChallenge

Simulated leaf does not have challenge

RealUnprovenTreeWithoutChallenge

Lacking challenge on step 9 for “real” unproven tree

SecretNotFound

Cannot find a secret for “real” unproven leaf

Trait Implementations

impl Clone for ProverError[src]

impl Debug for ProverError[src]

impl Display for ProverError[src]

impl Eq for ProverError[src]

impl Error for ProverError[src]

impl From<ErgoTreeParsingError> for ProverError[src]

impl PartialEq<ProverError> for ProverError[src]

impl StructuralEq for ProverError[src]

impl StructuralPartialEq for ProverError[src]

Auto Trait Implementations

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<Q, K> Equivalent<K> for Q where
    K: Borrow<Q> + ?Sized,
    Q: Eq + ?Sized
[src]

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

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

impl<T> Same<T> for T

type Output = T

Should always be Self

impl<T> ToOwned for T where
    T: Clone
[src]

type Owned = T

The resulting type after obtaining ownership.

impl<T> ToString for T where
    T: Display + ?Sized
[src]

impl<F> TryExtractInto<F> for F[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>,