Enum ergotree_interpreter::sigma_protocol::prover::ProverError

pub enum ProverError {
    ErgoTreeError(ErgoTreeError),
    EvalError(EvalError),
    Gf2_192Error(Gf2_192Error),
    ReducedToFalse,
    TreeRootIsNotReal,
    SimulatedLeafWithoutChallenge,
    RealUnprovenTreeWithoutChallenge,
    SecretNotFound,
    Unexpected(&'static str),
    FiatShamirTreeSerializationError(FiatShamirTreeSerializationError),
}

Prover errors

Variants

ErgoTreeError(ErgoTreeError)

Failed to parse ErgoTree

EvalError(EvalError)

Failed to evaluate ErgoTree

Gf2_192Error(Gf2_192Error)

gf2_192 error

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

Unexpected(&'static str)

Unexpected value encountered

FiatShamirTreeSerializationError(FiatShamirTreeSerializationError)

Error while tree serialization for Fiat-Shamir hash

Trait Implementations

impl Debug for ProverError

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

Formats the value using the given formatter.

impl Display for ProverError

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

Formats the value using the given formatter.

impl Error for ProverError

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

The lower-level source of this error, if any.

fn description(&self) -> &str

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

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

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

fn provide<'a>(&'a self, demand: &mut Demand<'a>)

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

Provides type based access to context intended for error reports.

impl From<ErgoTreeError> for ProverError

fn from(e: ErgoTreeError) -> Self

Converts to this type from the input type.

impl From<Gf2_192Error> for ProverError

fn from(e: Gf2_192Error) -> Self

Converts to this type from the input type.

impl From<Gf2_192PolyError> for ProverError

fn from(e: Gf2_192PolyError) -> Self

Converts to this type from the input type.