Common use of Correctness Clause in Contracts

Correctness. If the dealer is honest and inputs secret m in AVSS-Sh, then: If all honest parties are activated to run AVSS-Sh on ID, all honest parties would output in the AVSS-Sh instance; The value m∗ reconstructed by any honest party in the corresponding AVSS-Rec instance must be equal to m, for all ID.

Correctness. If the dealer is honest and inputs secret m in AVSS-Sh, then: If all honest parties are activated to run AVSS-Sh on ID, all honest parties would output in the AVSS-Sh instance; The value m∗ reconstructed by If any honest party reconstructs some value m∗ in the corresponding AVSS-Rec instance must be equal to minstance, for all ID.m∗ =