Struct CommitmentProgress 

pub struct CommitmentProgress<S: PixSpec> {
    pub full_commitment: Option<PixGroup<S>>,
    pub ssa_builder: Option<SsaBuilder<S>>,
    pub new_verifiers: Vec<SsaPartBuilder<S>>,
    pub fully_committed: bool,
}

Incremental outcome of feeding coefficient commitments into an SsaCommitmentBuilder.

Everything happens on one call: the constant-term set completing is simultaneously the moment the SSA commitment becomes known and the moment every polynomial becomes reconstructible, since a polynomial’s whole commitment is its constant term. The fields stay separate because the caller must publish them in a specific order — see insert_coefficient_commitments.

Fields

full_commitment: Option<PixGroup<S>>

Full SSA commitment (Client + Exit), once every constant term has arrived.

ssa_builder: Option<SsaBuilder<S>>

The SSA part accumulator, yielded exactly once — on the call that completes the constant-term set. The caller must publish it before any share can be reconstructed.

new_verifiers: Vec<SsaPartBuilder<S>>

Per-polynomial part builders, all yielded together on that same call.

fully_committed: bool

true on the call that hands the part builders out.

Implementations

impl<S: PixSpec> CommitmentProgress<S>

fn empty() -> Self