A Full Proof of the BGW Protocol for Perfectly Secure Multiparty Computation
Reaching Agreement in the Presence of Faults