Multi_Party_Computation.Semi_Honest_Def