qssm-le 1.0.0

QSSM-LE lattice engine facade (reference stub — not LaBRADOR).
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

use thiserror::Error;

#[derive(Debug, Error)]
#[non_exhaustive]
pub enum LeError {
    #[error("R1CS or witness input exceeds allowed size")]
    OversizedInput,
    #[error("shortness / rejection sampling bound violated")]
    RejectedSample,
    /// Reserved for future proving backends where ring multiplication may fail.
    #[allow(dead_code)]
    #[error("ring multiplication failed")]
    RingMul,
    #[error("prover rejected too many times (Lyubashevsky aborts)")]
    ProverAborted,
    #[error("verifier rejected proof: infinity norm exceeded bound")]
    InvalidNorm,
    #[error("verifier rejected proof: transcript domain/challenge mismatch")]
    DomainMismatch,
}