Enum VerifyError 

pub enum VerifyError {
    Io(Error),
    InvalidLine {
        line: usize,
        reason: String,
    },
    BrokenChain {
        line: usize,
        expected: String,
        actual: String,
    },
    Empty,
    SeedMissing,
    DuplicateSeed,
    UnknownDerivation(String),
    MalformedEntropy(String),
    DrawMismatch {
        path: String,
    },
    DrawTooLong {
        path: String,
        len: usize,
        max: usize,
    },
    PathMismatch {
        path: String,
        expected_prefix: String,
    },
    EpochMismatch {
        step: String,
        recorded: u32,
        expected: u32,
    },
    DuplicateDrawPath {
        path: String,
    },
}

Verification failure modes.

Variants

Io(Error)

Underlying I/O error reading the transcript.

InvalidLine

A line did not parse as a [ChainedFact].

Fields

line: usize

1-indexed line number.

reason: String

Parse error.

BrokenChain

The chain is broken: a line’s prev_hash did not match the expected value computed from the previous line.

Fields

line: usize

1-indexed line number where the break was detected.

expected: String

The expected prev_hash (= hash of the previous line).

actual: String

The prev_hash actually recorded on the line.

Empty

The transcript file has zero lines.

SeedMissing

A value was drawn (or a contribution folded) before any EntropySeeded fact established the source.

DuplicateSeed

A second EntropySeeded fact appeared. The source is seeded exactly once at ceremony start; accepting a re-seed would let a crafted transcript swap the seed mid-stream and have later draws “verify” against a seed of the forger’s choosing.

UnknownDerivation(String)

The seed fact declares a derivation scheme the verifier does not recognise. Never trust an unknown scheme (the JWT-alg lesson).

MalformedEntropy(String)

A recorded hex value (the seed m or a drawn value) did not decode.

DrawMismatch

A drawn value does not match what re-derivation from the recorded seed and path produces: the source was tampered with.

Fields

path: String

Derivation path of the mismatched draw.

DrawTooLong

A recorded draw is longer than HKDF-Expand can produce (MAX_DRAW_LEN bytes), so it cannot have come from the real source. Rejected up front: attempting the re-derivation would abort the verifier instead of failing the check.

Fields

path: String

Derivation path of the oversized draw.

len: usize

Recorded value length in bytes.

max: usize

The HKDF-Expand output limit.

PathMismatch

A draw’s recorded path does not start with the <epoch>/<step>/ prefix the verifier rebuilds from its own fold count and the step named on the fact, so the draw is attributed to the wrong epoch or step.

Fields

path: String

Recorded derivation path.

expected_prefix: String

The <epoch>/<step>/ prefix the verifier expected.

EpochMismatch

A contribution’s recorded epoch does not match its position in the fold sequence (first contribution is epoch 1, and so on).

Fields

step: String

Step that recorded the contribution.

recorded: u32

Epoch index recorded on the fact.

expected: u32

Epoch index implied by the fold count.

DuplicateDrawPath

The same derivation path was drawn twice. The runtime never reuses a path, so a duplicate means the record was edited or replayed.

Fields

path: String

The repeated derivation path.

Trait Implementations

impl Debug for VerifyError

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

Formats the value using the given formatter.

impl Display for VerifyError

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

Formats the value using the given formatter.

impl Error for VerifyError

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

Returns 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, 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.

impl From<Error> for VerifyError

fn from(source: Error) -> Self

Converts to this type from the input type.