ppad-censor: Anytime-valid sequential constant-time testing.

A pure Haskell framework for sequential constant-time testing via anytime-valid e-processes.

Declare a constant-time hypothesis (an IO action plus two input samplers); the driver times the action on paired inputs from the two classes, in random order, and tests them with a hedged mixture of ppad-eproc e-processes, halting as soon as the evidence suffices.

Provides dudect-style fix-vs-random hypotheses, A/A and B/B negative controls, wall-clock and Linux hardware-counter meters, foreign targets via FFI or a dlopen CLI, and anytime-valid p-values and effect-size intervals.

Modules

[Index] [Quick Jump]

Flags

Manual Flags

Name	Description	Default
llvm	Use GHC's LLVM backend.	Disabled
validate	Build the censor-validate executable, which runs the empirical calibration battery (synthetic-meter false- positive sweep + power table) and the host power-gain probe.	Disabled
run	Build the censor executable, a dlopen-based runner that drives a constant-time hypothesis against a foreign target resolved from a shared library.	Disabled
integration	Build the censor-integration test suite, which drives a compiled C shim through Censor.Runner.DL end-to-end. Requires a working C compiler on PATH; not available on Windows.	Disabled

Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info

Downloads

• ppad-censor-0.5.2.tar.gz [browse] (Cabal source package)
• Package description (as included in the package)

Maintainer's Corner

Package maintainers

• JaredTobin

For package maintainers and hackage trustees

• edit package information

Candidates

• No Candidates