Expand description
Reconstruction program, coverage certificate, and bounded evaluation.
Structs§
- Coverage
Map - 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.