Skip to main content

Module reconstructor

Module reconstructor 

Source

ModulesΒ§

utils πŸ”’

StructsΒ§

DeferredAcks πŸ”’
Deferred acknowledgements for one cycle, drained in one shot when its part builders install.
RegisteredCommitment πŸ”’
A commitment registration paired with the Session retirement state that governs it.
RegisteredCycle πŸ”’
A published cycle paired with the same retirement state as its commitment registration.
RetirementFrontier πŸ”’
Compact retirement state for one Session.
SsaCommitmentGuard
Ownership of an Exit SSA commitment, released when dropped.
SsaReconstructor
Allows server-side reconstruction of SSAs.
SsaReconstructorConfig
Configuration for the SSA reconstructor.
SsaRetirementScope
Owns one Session’s retirement-frontier registration in an SsaReconstructor.

EnumsΒ§

Deferral πŸ”’
What became of an acknowledgement handed to defer_ack.
ProcessedAckResult πŸ”’
Result of processing a single verified acknowledgement in the SSA reconstructor.

ConstantsΒ§

AWAITING_ACK_ENTRY_BYTES
Live heap one entry in the awaiting-acknowledgement buffer costs, in bytes.
MAX_DEFERRED_ACKS_PER_CYCLE
Cap on deferred acknowledgements held across all polynomials of one cycle.
MAX_DEFERRED_ACKS_PER_POLYNOMIAL
Cap on deferred acknowledgements held for a single polynomial.
PART_BUILDER_OVERHEAD_BYTES
Per-polynomial live heap a cycle holds that size_of cannot account for, in bytes.

FunctionsΒ§

peak_cycle_bytes
Worst-case live heap one Exit-side SSA cycle can hold, in bytes.
peak_share_buffer_bytes
The per-polynomial share buffer peak_cycle_bytes models, in bytes.
push_unique πŸ”’
Appends a resolution unless an equal one is already present.
record_fault πŸ”’
Merges a fault observation into the batch’s pending set, keeping the highest total per SSA.
record_progress πŸ”’
Merges a snapshot into the batch’s pending set, keeping the furthest-along one per SSA.
validate_early_recovery_threshold πŸ”’
Rejects an early-recovery fraction that is not a finite value in 0.0..=1.0.

Type AliasesΒ§

DeferredAck πŸ”’
An acknowledgement that arrived before its polynomial’s verifier was installed.
DeferredAckBucket πŸ”’
EncryptedShareCache πŸ”’
FaultObservation πŸ”’
One SSA’s fault observation, with the relayer that carried the offending share.
GuardedExitCommitment πŸ”’
A registered Exit commitment, paired with ownership of its lifetime.
OwnedCommitment πŸ”’
What an SsaCommitmentGuard needs to release its SSA: where it is registered, which one, and the Session frontier that must outlive a concurrent commitment worker.
ReadyResolutionNotifier πŸ”’
RegisteredExitCommitment πŸ”’
SharedRetirementFrontier πŸ”’