qssm-local-prover 2.0.0

Layer 4 — deterministic prove pipeline for QSSM ZK proofs.
Documentation 
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
34
35
36
37
38

//! SDK error types.

/// Errors from the SDK prove/verify calls.
#[derive(Debug, thiserror::Error)]
#[non_exhaustive]
pub enum ZkError {
    #[error("template predicate check failed: {0}")]
    PredicateFailed(#[from] qssm_templates::PredicateError),

    #[error("MS commit failed: {0}")]
    MsCommit(#[source] qssm_ms::MsError),

    #[error("MS prove failed (value={value}, target={target})")]
    MsProve {
        #[source]
        source: qssm_ms::MsError,
        value: u64,
        target: u64,
    },

    #[error("MS verification failed")]
    MsVerifyFailed,

    #[error("LE prove failed: {0}")]
    LeProve(#[source] qssm_le::LeError),

    #[error("LE verification failed: {0}")]
    LeVerify(#[source] qssm_le::LeError),

    #[error("LE verification returned false")]
    LeVerifyFailed,

    #[error("truth witness validation failed")]
    TruthWitnessInvalid,

    #[error("cross-engine binding failed: verifier-recomputed digest coefficients do not match LE public instance")]
    RebindingMismatch,
}