Enum TranscriptFailure 

#[non_exhaustive]
pub enum TranscriptFailure<F> {
    FinalCodewordLength {
        expected: usize,
        got: usize,
    },
    PowWitness {
        bits: usize,
    },
    NonCanonicalPowWitness {
        actual: F,
    },
}

A transcript step the proof failed to satisfy.

Variants (Non-exhaustive)

Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.

FinalCodewordLength

The final codeword carries a symbol count the run never described.

Fields

expected: usize

Symbol count the run was described with.

got: usize

Symbol count the proof carries.

PowWitness

A grinding witness did not meet the difficulty its step requires.

Fields

bits: usize

Difficulty the site requires, in bits.

NonCanonicalPowWitness

A grinding witness is not the value a zero difficulty admits.

At zero bits the site reads no witness, so nothing else binds the field.

Zero is the only value an honest prover emits, so zero is the only one accepted.

Fields

actual: F

The witness the proof carries.

Trait Implementations

impl<F: Clone> Clone for TranscriptFailure<F>

fn clone(&self) -> Self

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<F: Copy> Copy for TranscriptFailure<F>

impl<F: Debug> Debug for TranscriptFailure<F>

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

Formats the value using the given formatter.

impl<F> Display for TranscriptFailure<F>

where F: Display,

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

Formats the value using the given formatter.

impl<F: Eq> Eq for TranscriptFailure<F>

impl<F> Error for TranscriptFailure<F>

where Self: Debug + Display,

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<F: Debug, E: Debug> From<TranscriptFailure<F>> for BinaryPcsError<F, E>

fn from(failure: TranscriptFailure<F>) -> Self

Converts to this type from the input type.

impl<F: PartialEq> PartialEq for TranscriptFailure<F>

fn eq(&self, other: &Self) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl<F: PartialEq> StructuralPartialEq for TranscriptFailure<F>