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.