Module reconstructor 

Modules

utils 🔒

Structs

DeferredAcks 🔒

Deferred acknowledgements for one cycle, drained in one shot when its part builders install.

SsaCommitmentGuard

Ownership of an Exit SSA commitment, released when dropped.

SsaReconstructor

Allows server-side reconstruction of SSAs.

SsaReconstructorConfig

Configuration for the SSA reconstructor.

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.

Functions

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.

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, and which one.