Skip to main content

Module program

vole_document::dra

Module program

Expand description

Reconstruction program, coverage certificate, and bounded evaluation.

Structs§

CoverageMap: A coverage certificate: the map from output intervals to authorities.
Program: A bounded, ordered list of reconstruction instructions.
Span: One output interval and its authority.

Enums§

Authority: Who is the reconstruction authority for an output interval.

Constants§

DRA_VERSION: DRA version carried in the graph record.
MAX_OFFSET_SLOTS: Number of positional-offset slots addressable by Op::MarkOffset and Op::EmitOffset. Slot indices must be strictly below this bound.
REPLAY_OUTPUT_RATIO_PERCENT: VOLE replay-profile admission ratio, as a percentage of the plaintext length.
REPLAY_OUTPUT_SLACK: Additive slack in the VOLE replay-profile admission limit.