Skip to content

sketch: ShareConfig abstraction for node/threshold parameter invariants - #996

Draft
jonas-lj wants to merge 6 commits into
mainfrom
jonas/share-config-sketch
Draft

sketch: ShareConfig abstraction for node/threshold parameter invariants#996
jonas-lj wants to merge 6 commits into
mainfrom
jonas/share-config-sketch

Conversation

@jonas-lj

Copy link
Copy Markdown
Contributor

No description provided.

jonas-lj added 6 commits July 30, 2026 10:45
Replace the separate (nodes, params) fields on the Dealer/Receiver structs
with a single validated ShareConfig, and route the scattered derived-quantity
computations through its getters:
- ShareConfig is now Arc-backed and hands the shared node set to Avid via
  nodes_arc(), preserving the single-allocation sharing.
- batch_avss_avid's t+f vote quorum now uses config.certificate_quorum().
- sharing_degree() (t-1) replaces the hand-rolled polynomial-degree arithmetic
  in avss (sampling and the feldman-commitment degree check).
- has_reconstruction_threshold(ids) folds the 'total weight of a subset >= t'
  check used by both avss::Receiver::recover and batch_avss_avid; callers keep
  their own error type.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant