arcanum-verify 0.1.2

Formal verification and timing analysis tools for the Arcanum cryptographic engine
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

//! Error types for verification operations.

use thiserror::Error;

/// Errors that can occur during verification.
#[derive(Debug, Error)]
#[allow(missing_docs)] // Error variant fields are self-documenting
pub enum VerifyError {
    /// Timing leak detected.
    #[error("Timing leak detected: t-value {t_value:.2} exceeds threshold {threshold:.2}")]
    TimingLeakDetected { t_value: f64, threshold: f64 },

    /// Insufficient samples for statistical analysis.
    #[error("Need at least {required} samples, got {provided}")]
    InsufficientSamples { required: usize, provided: usize },

    /// Test execution failed.
    #[error("Test execution failed: {reason}")]
    ExecutionFailed { reason: String },

    /// Memory not properly zeroized.
    #[error("Memory at offset {offset} not zeroized: expected 0x00, got 0x{actual:02X}")]
    MemoryNotZeroized { offset: usize, actual: u8 },

    /// Model checking property violation.
    #[error("Property violation: {property}")]
    PropertyViolation { property: String },

    /// Report generation failed.
    #[error("Report generation failed: {reason}")]
    ReportGenerationFailed { reason: String },
}

/// Result type for verification operations.
pub type VerifyResult<T> = Result<T, VerifyError>;