Enum StmCircuitError 

pub enum StmCircuitError {
    InvalidCircuitParameters {
        quorum: u32,
        num_lotteries: u32,
    },
    WitnessLengthMismatch {
        expected_quorum: u32,
        actual: u32,
    },
    LotteryIndexTooLarge {
        index: u64,
        max_supported: u64,
    },
    LotteryIndexOutOfBounds {
        index: u64,
        num_lotteries: u32,
    },
    MerkleSiblingLengthMismatch {
        expected_depth: u32,
        actual: u32,
    },
    MerklePositionLengthMismatch {
        expected_depth: u32,
        actual: u32,
    },
    FieldModulusParseFailed,
    FieldElementConversionFailed,
    InvalidBitDecompositionRange {
        num_bits: u32,
        field_bits: u32,
    },
    InvalidMerkleTreeDepth {
        depth: u32,
    },
    InvalidSelectedLeafIndex {
        index: u32,
        num_leaves: u32,
    },
    EmptyIndices,
    WitnessTooShort {
        actual: u32,
    },
    NoDistinctWitnessEntries,
    EmptySignerLeaves,
    InvalidSignerFixtureIndex {
        index: u32,
        num_signers: u32,
    },
    InvalidChallengeBytes,
    ChallengeEndiannessMismatch,
    InvalidMerkleRootDigestLength {
        actual: u32,
    },
    NonCanonicalMerkleRootDigest,
    MerklePathVerificationFailed,
    ParamsAssetsDirCreate,
    CircuitKeysCacheLockPoisoned {
        operation: &'static str,
    },
    SignatureGenerationFailed,
    SignatureVerificationFailed,
    VerificationRejected,
}

Circuit-scoped errors for Halo2 STM validation and execution.

Variants

InvalidCircuitParameters

Invalid relation parameters: quorum must be strictly lower than number of lotteries.

Fields

quorum: u32

num_lotteries: u32

WitnessLengthMismatch

Witness vector length does not match the configured quorum.

Fields

expected_quorum: u32

actual: u32

LotteryIndexTooLarge

Witness lottery index does not fit in the circuit’s 32-bit constraint representation.

Fields

index: u64

max_supported: u64

LotteryIndexOutOfBounds

Witness lottery index is not a valid in-circuit lottery slot.

Fields

index: u64

num_lotteries: u32

MerkleSiblingLengthMismatch

Merkle sibling path length does not match the configured Merkle depth.

Fields

expected_depth: u32

actual: u32

MerklePositionLengthMismatch

Merkle position path length does not match the configured Merkle depth.

Fields

expected_depth: u32

actual: u32

FieldModulusParseFailed

Failed to parse the prime field modulus while splitting field limbs.

FieldElementConversionFailed

Failed to convert a reduced integer into a prime field element.

InvalidBitDecompositionRange

Bit decomposition range is invalid for the selected prime field.

Fields

num_bits: u32

field_bits: u32

InvalidMerkleTreeDepth

Merkle tree depth does not fit fixture sizing constraints.

Fields

depth: u32

InvalidSelectedLeafIndex

Selected leaf index is out of bounds for the current tree.

Fields

index: u32

num_leaves: u32

EmptyIndices

Empty lottery indices were provided where at least one is required.

WitnessTooShort

Witness must contain at least two entries.

Fields

actual: u32

NoDistinctWitnessEntries

No distinct witness entries were found.

EmptySignerLeaves

Tried to build a witness from an empty signer set.

InvalidSignerFixtureIndex

Signer leaf index is out of bounds.

Fields

index: u32

num_signers: u32

InvalidChallengeBytes

Failed to decode challenge bytes into a base field element.

ChallengeEndiannessMismatch

Challenge bytes decode but do not match native challenge value.

InvalidMerkleRootDigestLength

Merkle root digest has an invalid byte length.

Fields

actual: u32

NonCanonicalMerkleRootDigest

Merkle root digest is not a canonical base field element encoding.

MerklePathVerificationFailed

STM Merkle-path verification failed for selected leaf.

ParamsAssetsDirCreate

Failed to create the local assets directory for persisted circuit params.

CircuitKeysCacheLockPoisoned

In-memory circuit key cache lock is poisoned.

Fields

operation: &'static str

SignatureGenerationFailed

Signature generation failed while preparing witness.

SignatureVerificationFailed

Signature verification failed while preparing witness.

VerificationRejected

Proof was generated but rejected by the verifier.

Trait Implementations

impl Clone for StmCircuitError

fn clone(&self) -> StmCircuitError

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for StmCircuitError

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

Formats the value using the given formatter.

impl Display for StmCircuitError

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

Formats the value using the given formatter.

impl Error for StmCircuitError

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 PartialEq for StmCircuitError

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for StmCircuitError

impl StructuralPartialEq for StmCircuitError