Module abort 

Identifiable abort — pinpoint which signer submitted a bad share.

When threshold aggregation fails, this module identifies the offending signer by testing each one individually. The approach:

1. Try aggregating all T shares.
2. If that fails, try aggregating each (T-1)-subset (leaving one out).
3. If leaving out signer X succeeds, X is the culprit.

This is O(T) aggregation attempts — acceptable for small T.

Structs

BlameReport

Result of blame attribution.

LabeledShare

A share associated with its signer identity.

Functions

identify_bad_signer

Identify the bad signer(s) by elimination. Given T shares and a threshold signer, tries removing each signer one at a time.