pub fn verify_refresh_preserves_aggregate(
party_zero_contributions: &[RefreshContribution],
) -> boolExpand description
Verify that a refresh round preserves the aggregate secret.
For correct refresh polynomials: sum_i f_i(0) == 0 for all parties. This check validates that invariant.