Sigil documentation
ReferenceRust referencesigil-zk

sigil-zk · error

Source declarations, signatures and documentation for error.

Source: sigil/node/sigil-zk/src/error.rs. SHA-256: 94d15c0200b50323ed8fec9f72bd8e923402a8bb7c40ea6d591b44eb590502b2.

This reference follows declared source modules, retains conditional attributes, and includes public declarations and implementation methods. Private-module re-exports and trait resolution require the compiler; this is a source reference, not a claim that every listed item is a root import. Function bodies and constant values are omitted.

error::ZkError

ZK proof pipeline error types. Errors that can occur in the ZK proof pipeline.

#[derive(Debug, Clone, thiserror::Error)]
pub enum ZkError {
    /// Proof generation failed.
    #[error("proof generation failed: {0}")]
    ProofGenerationFailed(String),

    /// Proof verification failed.
    #[error("verification failed: {0}")]
    VerificationFailed(String),

    /// The proof data is invalid or malformed.
    #[error("invalid proof: {0}")]
    InvalidProof(String),

    /// The proving system is not supported by this verifier.
    #[error("unsupported proving system: {0}")]
    UnsupportedProvingSystem(String),

    /// The proof pipeline is already processing a job.
    #[error("pipeline is busy")]
    PipelineBusy,

    /// No job found with the given ID.
    #[error("job not found: {0}")]
    JobNotFound(String),

    /// The public inputs are invalid or inconsistent.
    #[error("invalid public inputs: {0}")]
    InvalidPublicInputs(String),

    /// Execution trace collection from the WASM runtime failed.
    #[error("trace collection failed: {0}")]
    TraceCollectionFailed(String),

    /// Translation of WASM trace to RISC-V (for Jolt) failed.
    #[error("trace translation failed: {0}")]
    TraceTranslationFailed(String),

    /// Serialization or deserialization error.
    #[error("serialization error: {0}")]
    SerializationError(String),
}

Source line: 5.

error::ZkError::is_busy

Returns true if this error indicates the pipeline is busy.

pub fn is_busy(&self) -> bool;

Source line: 49.

error::ZkError::is_verification_failure

Returns true if this error is a verification failure.

pub fn is_verification_failure(&self) -> bool;

Source line: 54.

On this page