blob: c9affc51953abd2d0b6c84ec955a01717d43c640 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
|
//! Error types local to the `v1` protocol implementation
/// Protocol-specific ways a solution can fail verification
#[derive(Clone, Debug, thiserror::Error)]
#[non_exhaustive]
pub enum SolutionError {
/// Mismatch between [`super::SeedHead`] and [`super::Instance`]
#[error("Solution has an unrecognized Seed value")]
Seed,
/// The effort constraint `H(challenge | proof) * effort` failed.
#[error("Failed to verify solution effort")]
Effort,
/// The Equi-X proof is not well-formed, it failed at least one order test.
#[error("Failed to verify order of Equi-X proof")]
Order,
/// The Equi-X proof does not apply to this particular challenge.
#[error("Failed to verify hash sums for Equi-X proof")]
HashSum,
/// Couldn't construct the HashX function
///
/// A working solver should have rejected this [`super::Nonce`] value.
#[error("Solution requires a challenge string that fails HashX constraints")]
ChallengeConstraints,
}
/// Protocol-specific runtime errors
#[derive(Clone, Debug, thiserror::Error)]
#[non_exhaustive]
pub enum RuntimeError {
/// Unexpected error or runtime compiler error from the Equi-X layer
#[error("Equi-X error, {0}")]
EquiX(#[from] equix::Error),
}
|
