Crate tacet_core 

Core statistical analysis for timing side-channel detection.

This crate provides the fundamental statistical algorithms for timing oracle, designed to work in no_std environments (embedded, WASM, SGX) with only an allocator.

Features

• std (default): Enable standard library support for convenience
• parallel: Enable parallel bootstrap using rayon (requires std)
• ansi: Enable ANSI colors in Display/Debug output (no_std compatible)

Usage

This crate is typically used through the main tacet crate, which provides measurement collection, orchestration, and output formatting. However, it can be used directly for embedded or no_std scenarios.

use tacet_core::{
    analysis::{compute_bayes_gibbs, estimate_mde},
    statistics::{bootstrap_covariance_matrix, compute_deciles},
    types::{Matrix9, Vector9, Class, TimingSample},
};

Re-exports

pub use ffi_summary::CalibrationSummary;

pub use ffi_summary::DiagnosticsSummary;

pub use ffi_summary::EffectSummary;

pub use ffi_summary::InconclusiveReasonKind;

pub use ffi_summary::OutcomeSummary;

pub use ffi_summary::OutcomeType;

pub use ffi_summary::PosteriorSummary;

pub use result::EffectEstimate;

pub use result::Exploitability;

pub use result::MeasurementQuality;

pub use result::MinDetectableEffect;

pub use result::Outcome;

pub use result::ResearchOutcome;

pub use result::ResearchStatus;

pub use result::TopQuantile;

pub use result::UnreliablePolicy;

pub use types::AttackerModel;

pub use types::Class;

pub use types::Matrix9;

pub use types::TimingSample;

pub use types::Vector9;

Modules

adaptive

Adaptive sampling logic for tacet (no_std compatible).

analysis

Statistical analysis layers for timing leak detection.

colors

Terminal color support for formatting output.

constants

Mathematical constants used throughout the crate.

ffi_summary

FFI-friendly summary types for tacet bindings.

formatting

Formatting helpers for Outcome display.

math

Math functions for no_std compatibility.

orchestration

Orchestration helpers for timing measurements.

preflight

Preflight checks to validate measurement setup before analysis.

result

Result types for adaptive Bayesian timing analysis.

statistics

Statistical methods for timing analysis.

timer

Platform timer frequency detection.

types

Type aliases and common types.